Text

Artificiell intelligens och intelligenta system

Automatiserade mjukvaruspråkutveckling och mjukvaruteknik

Certifierbara bevis och justifieringsteknik

Cyber-fysisk systemanalys

Datakommunikation

Digitalisering

Formell modellering och analys av inbyggda system

Förnybar energi

Industriell programvaruteknik

Komplexa inbyggda system i realtid

Lärande och optimering

Medicinsk teknik

Modellbaserad konstruktion av inbäddade system

Programmeringsspråk

Programvarutestlaboratorium

Resurseffektivisering

Säkerhetskritisk teknik

Teknisk matematik

Heterogena system

CHESS

CHESS develops model-driven solutions, integrates them in component-based execution frameworks, assesses their applicability from the perspective of multiple domains (such as space, railways, telecommunications and automotive), and verifies their performance through the elaboration of industrial use cases.

Avslutat

Start

2009-01-01

Avslut

2011-12-31

Huvudfinansiering

Samarbetspartners

Forskningsinriktning

Projektansvarig vid MDH

No partial template found

Description of the project

CHESS seeks industrial-quality research solutions to problems of property-preserving component assembly in real-time and dependable embedded systems, and supports the description, verification, and preservation of non-functional properties of software components at the abstract level of component design as well as at the execution level.

CHESS develops model-driven solutions, integrates them in component-based execution frameworks, assesses their applicability from the perspective of multiple domains (such as space, railways, telecommunications and automotive), and verifies their performance through the elaboration of industrial use cases.

Till toppen