Text

Certifierbara bevis och justifieringsteknik

Cyber-fysisk systemanalys

Digitalisering av framtidens energi

Formell modellering och analys av inbyggda system

Förnybar energi

Heterogena system

Industriella AI-system

Industriell programvaruteknik

Komplexa inbyggda system i realtid

Lärande och optimering

Modellbaserad konstruktion av inbäddade system

Programmeringsspråk

Programvarutestlaboratorium

Resurseffektivisering

Statsvetenskap

Säkerhetskritisk teknik

Teknisk matematik

Artificiell intelligens och intelligenta system

Automatiserade mjukvaruspråkutveckling och mjukvaruteknik

CONTESSE - Contract-Based Components for Embedded Software

The aim of the project is to advance state of the art in component- and model-based software development for embedded systems by improving prerequisites for efficient reuse of components.

Avslutat

Start

2011-01-01

Avslut

2014-12-31

Huvudfinansiering

Forskningsområde

Forskningsinriktning

Projektansvarig vid MDU

No partial template found

Description of the project

Embedded systems make the vast majority of computer systems today. The complexity of software in these systems is growing exponentially. Sound approaches to manage complexity is to use component-based and model-based approach.

The aim of the project is to advance state of the art in component- and model-based software development for embedded systems by improving prerequisites for efficient reuse of components. This will be done by introduction of component contracts that define the conditions required by components and provided output. In the existing approaches component contracts specify functional pre- and postconditions of components. Contesse will mange contracts that also include non-functional properties. This will be done through providing formal specification of components contracts, mechanisms for instantiation and verification of the contracts in differentcontexts, then developing a reasoning framework for contract compositions, providing input to the contract specification from components code analysis, and system level analysis based on contracts that ensure system characteristics required.

The work will be based on the previous results of the project members: formal analysis and verification, priced timed automata and modelling embedded resources, component models developed, execution time and other resources estimation based on static analysis, compositions of non-functional properties, and building run-time mechanisms to ensure the system quality.