Jun 14, 2011: Bart Postma: Modeling and Analysis of Dependable Space Systems

June 14, 2011Modeling and Analysis of Dependable Space Systems
Room: Zi 5126Bart Postma

Achievement of mission objectives and its success relies on the dependability and safety of space systems. This has led to an increasing prominence of on-board systems that deal with the Detection, Isolation and Recovery of hardware and software faults, i.e. FDIR systems. The FDIR system monitors, acts and responds actively to all space systems functionalities and increases system-level operational endurance and effectiveness beyond nominal conditions. In current industrial practices, FDIR systems are however verified and validated with aged labor-intensive analyses that lack mathematical rigor needed to ensure thoroughness. Meanwhile FDIR requirements are becoming increasingly strict, especially those for deep-space missions requiring autonomous system operation.

The COMPASS project was initiated in february 2008 to tackle this problem by focussing on a coherent set of specification and analysis techniques for evaluation of system-level correctness, safety, dependability and performability of on-board computer-based aerospace systems. The COMPASS project resulted in the delivery of the COMPASS toolset.

As part of the COMPASS project, a case study was conducted with the objective to find improvements for space system engineering by 1) evaluate the COMPASS toolset, 2) investigate the integration of state-of-the-art formal methods into the space system engineering process. This Case Study was conducted at the European Space Research and Technology Center (ESA-ESTEC) located in Noordwijk.

project description