Text

Forskningsprojektarkiv

Avslutade forskningsprojekt för forskningsområdet Programmeringsspråk (13)

Forskningsprojekt

Projektansvarig vid MDH: Björn Lisper


Forskningsområde: Programmeringsspråk


Huvudfinansiering: Seventh Framework Programme


The end goal is WCET analysis with computation models that are both relational and bit-precise. We expect that this will increase the safety, precision, and level of automation of the analysis, and lead to WCET analysis tools that are easier to apply.

Forskningsprojekt

Projektansvarig vid MDH: Björn Lisper


Forskningsområde: Programmeringsspråk


Huvudfinansiering: ITEA 2


ASSUME provides a seamless engineering methodology for delivering trustworthy new mobility assistance functions on multi and many core architectures.

Forskningsprojekt

Projektansvarig vid MDH: Björn Lisper


Forskningsområde: Programmeringsspråk


The central objective for the ArtistDesign European Network of Excellence on Embedded Systems Design is to build on existing structures and links forged in the FP6 Artist2 NoE, to become a virtual Center of Excellence in Embedded Systems Design.

Forskningsprojekt

Projektansvarig vid MDH: Björn Lisper


Forskningsområde: Programmeringsspråk


The long-term goal of this project is to develop adequate languages for the specification, modelling, and programming of hard real-time systems, in particular in embedded systems.

Forskningsprojekt

Projektansvarig vid MDH: Federico Ciccozzi


Forskningsområde: Modellbaserad utveckling av inbyggda system , Automatiserade mjukvaruspråkutveckling och mjukvaruteknik, Industriell programvaruteknik, Programmeringsspråk


Huvudfinansiering: KK-stiftelsen


In MOMENTUM we provide methods to analyse and optimise industrial models, defined in the Unified Modeling Language (UML), in order to make them directly compilable to optimised executables without intermediate translations to conventional programming languages.

Forskningsprojekt

Projektansvarig vid MDH: Björn Lisper


Forskningsområde: Programmeringsspråk


The goal of this project is to develop theory and methods for timing analysis, especially WCET analysis, of component-based systems.

Forskningsprojekt

Projektansvarig vid MDH: Ivica Crnkovic


Forskningsområde: Medicinsk teknik, Industriell programvaruteknik, Modellbaserad utveckling av inbyggda system , Programmeringsspråk, Robotik


The overall goal of Ralf 3 is to formulate and implement an appropriate component model for computation-intensive embedded real-time systems with very high data rates, and to provide a support for distribution of software to the heterogeneous platform to achieve optimal results in performance, system response, and other important requirements for embedded systems.

Forskningsprojekt

Projektansvarig vid MDH: Hans A Hansson


Forskningsområde: Komplexa inbyggda system i realtid, Tillförlitlig programvaruteknik, Industriell programvaruteknik, Programmeringsspråk, Design av realtidssystem, Säkerhetskritisk teknik, Programvarutestlaboratorium


Huvudfinansiering: Stiftelsen för strategisk forskning


SYNOPSIS is targeting increased efficiency and reduced time-to-market by composable safety certification of safety-relevant embedded systems.

Forskningsprojekt

Projektansvarig vid MDH: Björn Lisper


Forskningsområde: Programmeringsspråk


Huvudfinansiering: KK-stiftelsen


In this project we will target static program analysis for complex embedded systems, such as large embedded systems for telecom or automation.

Forskningsprojekt

Projektansvarig vid MDH: Björn Lisper


Forskningsområde: Programvarutestlaboratorium, Programmeringsspråk


Huvudfinansiering: Vinnova, Itea3


The TESTOMAT project will support software teams to strike the right balance by increasing the development speed without sacrificing quality.

Forskningsprojekt

Projektansvarig vid MDH: Björn Lisper


Forskningsområde: Programmeringsspråk


TIMMO-2-USE aims at increasing the efficiency and accuracy in handling timing-related issues in the complex development of automotive real-time embedded systems.

Forskningsprojekt

Projektansvarig vid MDH: Björn Lisper


Forskningsområde: Programmeringsspråk


Huvudfinansiering: European Research Council


The goal of this COST Action is to gather forces in order to develop industrial-strength code-level timing analysis techniques for future-generation embedded systems.

Forskningsprojekt

Projektansvarig vid MDH: Björn Lisper


Forskningsområde: Programmeringsspråk


This project targets WCET analysis of parallel systems. Compared to WCET analysis of sequential processors, research in WCET analysis for parallel systems is almost non-existent. I

1