Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Informatik-Kolloquium Rheinisch-Westflische Technische Hochschule Aachen
 

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

  

Source: Ábrahám, Erika - Fachgruppe Informatik, Rheinisch Westfälische Technische Hochschule Aachen (RWTH)

 

Collections: Computer Technologies and Information Sciences