C. Doppler Laboratory Embedded Software Systems

wie im Projektplan des C. Doppler Labor Antrages dargelegt The reliability and quality of embedded systems suffers from the fact that the state-of-the-art in embedded software development is significantly behind modern programming in non-realtime domains. Thus, the overall objective of the C. Doppler Laboratory Embedded Software Systems is to deliver innovative software technologies for the construction of dependable, safety-critical embedded software-based automation and control systems. In particular, the C. Doppler Laboratory Embedded Software Systems aims at delivering cutting edge research by coming up with (1) a model-based development of the timing properties of embedded software and (2) an extensible component architecture for embedded software systems.