| | |
Summary: Informatik-Kolloquium
Rheinisch-Westfälische Technische Hochschule Aachen
Lehrstuhl für Informatik 2
E I N L A D U N G
Zeit: Mittwoch, 25. Januar 2012, 15:00 Uhr
Ort: Hörsaal AH 3, Ahornstr. 55
Referent: Thomas Noll
RWTH Aachen
Thema: Correctness, Safety and Fault Tolerance in
Aerospace Systems: The ESA COMPASS
Project
Building modern aerospace systems is highly demanding. They
should be extremely dependable, offering service without failures
for a very long time typically years or decades. The need for an
integrated system-software co-engineering framework to support
the design of such systems is therefore pressing. However, cur-
rent tools and formalisms tend to be tailored to specific analysis
techniques and do not sufficiently cover the full spectrum of re-
quired system aspects such as safety, dependability and performa-
bility. Additionally, they cannot properly handle the intertwining
|
