“Fault Detection in Time- and Space-Partitioned Systems”
From Navigators
(Difference between revisions)
(Created page with "{{Publication |type=inproceedings |document=Document for Publication-Almeida2013Inforum.pdf |title=Fault Detection in Time- and Space-Partitioned Systems |author=Kleomar Almeida,...") |
m |
||
| Line 3: | Line 3: | ||
|document=Document for Publication-Almeida2013Inforum.pdf | |document=Document for Publication-Almeida2013Inforum.pdf | ||
|title=Fault Detection in Time- and Space-Partitioned Systems | |title=Fault Detection in Time- and Space-Partitioned Systems | ||
| - | |author=Kleomar Almeida, Ricardo Correia Pinto, José Rufino, | + | |author=Kleomar Almeida, Ricardo Correia Pinto, José Rufino, |
| - | |Project=Project:READAPT, | + | |Project=Project:READAPT, |
|ResearchLine=Timeliness and Adaptation in Dependable Systems (TADS) | |ResearchLine=Timeliness and Adaptation in Dependable Systems (TADS) | ||
|month=sep | |month=sep | ||
|year=2013 | |year=2013 | ||
| - | |abstract=The next generation of space vehicles will integrate different | + | |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. |
| - | mission functions on a shared computing platform using the advanced | + | |
| - | principle of Time and Space Partitioning (TSP). Improving the | + | |
| - | + | ||
| - | implies timely fault detection. | + | |
| - | This paper addresses the definition and design of fault-detection | + | <br> |
| - | + | ||
| - | spite of our focus in aerospace applications, the safety attributes and | + | 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. |
| - | cost-effectiveness of TSP systems have a wider potential scope of | + | |
| - | + | ||
| - | autonomous vehicles in automotive, airborne and underwater | + | |
| - | + | ||
|address=Évora, Portugal | |address=Évora, Portugal | ||
|booktitle=5th Simpósio de Informática (INFORUM) | |booktitle=5th Simpósio de Informática (INFORUM) | ||
|intype=Communication in | |intype=Communication in | ||
| + | |pages=179--186 | ||
}} | }} | ||
Revision as of 17:02, 23 July 2014
Kleomar Almeida, Ricardo Correia Pinto, José Rufino
Communication in 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.
Download paper
Download Fault Detection in Time- and Space-Partitioned Systems
Export citation
Project(s): Project:READAPT
Research line(s): Timeliness and Adaptation in Dependable Systems (TADS)
