“Fault Detection in Time- and Space-Partitioned Systems”
in Communication at the 5th Simpósio de Informática (INFORUM), Évora, Portugal, Sept. 2013, pp. 179–186.
Abstract: The next generation of space vehicles will integrate different mission functions on a shared computing platform using the advanced principle of Time and Space Partitioning (TSP). Improving the survivability of space vehicles requires reacting promptly on fault events, which implies timely fault detection.
This paper addresses the definition and design of fault-detection mechanisms for TSP hypervisors, covering both time and space domains. In spite of our focus in aerospace applications, the safety attributes and cost-effectiveness of TSP systems have a wider potential scope of applicability to other safety-critical environments, namely those involving autonomous vehicles in automotive, airborne and underwater applications.
Research line(s): Timeliness and Adaptation in Dependable Systems (TADS)