Computer Science Graduate Seminar: Model-Based Reliability Analysis of Aerospace Systems

 

Thursday, September 27, 2018, 10:30am

Location: E1, Room 5053.2, Ahornstr. 55

Speaker: Harold Bruintjes, M.Sc.

Abstract:

In order to provide reliable and safe systems in the aerospace domain, despite increased complexity and stronger demands on capabilities, new model-based system and software engineering approaches have to be developed. The COMPASS project, an international research project involving RWTH, ESA, FBK and various industrial partners, delivers a toolset for precisely this purpose.

In this talk, the approach taken by the COMPASS toolset is discussed, in particular with regard to its most recent advancements. After an introduction, the talk will focus on new results in requirements formalization, the use of statistical model checking, the capabilities of the toolset itself and its application to a case study.

COMPASS offers a multitude of analyses pertaining to correctness, safety, reliability and fault management, backed by a single modeling formalism derived from AADL. More information about COMPASS can be found on the COMPASS website

The computer science lecturers invite interested people to join.