Text

Datakommunikation

Digitalisering

Formell modellering och analys av inbyggda system

Förnybar energi

Heterogena system

Industriell programvaruteknik

Artificiell intelligens och intelligenta system

Automatiserade mjukvaruspråkutveckling och mjukvaruteknik

Certifierbara bevis och justifieringsteknik

Cyber-fysisk systemanalys

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

CARTCOM - Monitoring and Probabilistic Analysis of Component-Based Embedded Control Systems

In this project we will study theories and methods for probabilistic modelling, analysis, and prediction of control-system software executing in resource-constrained embedded systems.

Avslutat

Start

2006-11-01

Avslut

2007-05-01

Huvudfinansiering

Samarbetspartners

Forskningsinriktning

Projektansvarig vid MDH

No partial template found

Description of the project

We will adopt a component-based approach to control-system development. Using components as the fundamental unit of reuse, we will employ run-time monitoring techniques to extract probabilistic models of the component behaviour. Combining the behavior models and the architectural model of a component assembly we will derive stochastic properties, such as reliability, expected delays, and resource consumption.

We will extend and combine methods from disparate disciplines, such as probabilistic reliability predictions, stochastic scheduling analysis and software component technologies. It is our thesis that software components are a suitable vehicle to introduce advanced analysis techniques in a software-engineering context for embedded control-systems; a feat that has yet to be accomplished.

Till toppen