A non-intrusive fault tolerant framework for mission critical real-time systems
Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 2005.
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | eng |
| Published: |
Massachusetts Institute of Technology
2006
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1721.1/32447 |
| _version_ | 1811091881364291584 |
|---|---|
| author | Gorelov, Sébastien |
| author2 | I. Kristina Lundqvist. |
| author_facet | I. Kristina Lundqvist. Gorelov, Sébastien |
| author_sort | Gorelov, Sébastien |
| collection | MIT |
| description | Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 2005. |
| first_indexed | 2024-09-23T15:09:29Z |
| format | Thesis |
| id | mit-1721.1/32447 |
| institution | Massachusetts Institute of Technology |
| language | eng |
| last_indexed | 2024-09-23T15:09:29Z |
| publishDate | 2006 |
| publisher | Massachusetts Institute of Technology |
| record_format | dspace |
| spelling | mit-1721.1/324472019-04-12T13:37:15Z A non-intrusive fault tolerant framework for mission critical real-time systems Gorelov, Sébastien I. Kristina Lundqvist. Massachusetts Institute of Technology. Dept. of Aeronautics and Astronautics. Massachusetts Institute of Technology. Dept. of Aeronautics and Astronautics. Aeronautics and Astronautics. Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 2005. Includes bibliographical references (p. 85-87). The need for dependable real-time systems for embedded application is growing, and, at the same time, so does the amount of functionality required from these systems. As testing can only show the presence of errors, not their absence, higher levels of system dependability may be provided by the implementation of mechanisms that can protect the system from faults. We present a framework for the development of fault tolerant mission critical real-time systems that provides a structure for flexible, efficient and deterministic design. The framework leverages three key knowledge domains: firstly, a software concurrency model, the Ada Ravenscar Profile, which guarantees deterministic behavior; secondly, the design of a hardware scheduler, the RavenHaRT kernel, which further provides deadlock free inter-task communication management; and finally, the design of a hardware execution time monitor, the Monitoring Chip, which provides non-intrusive error detection. To increase service dependability, we propose a fault tolerance strategy that uses multiple operating modes to provide system-level handling of timing errors. The hierarchical set of operating modes offers different gracefully degraded levels of guaranteed service. This approach relies on the elements of the framework discussed above and is illustrated through a sample case study of a generic navigation system. by Sébastien Gorelov. S.M. 2006-03-29T18:45:19Z 2006-03-29T18:45:19Z 2005 2005 Thesis http://hdl.handle.net/1721.1/32447 61719851 eng M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission. http://dspace.mit.edu/handle/1721.1/7582 92 p. 5678798 bytes 5683372 bytes application/pdf application/pdf application/pdf Massachusetts Institute of Technology |
| spellingShingle | Aeronautics and Astronautics. Gorelov, Sébastien A non-intrusive fault tolerant framework for mission critical real-time systems |
| title | A non-intrusive fault tolerant framework for mission critical real-time systems |
| title_full | A non-intrusive fault tolerant framework for mission critical real-time systems |
| title_fullStr | A non-intrusive fault tolerant framework for mission critical real-time systems |
| title_full_unstemmed | A non-intrusive fault tolerant framework for mission critical real-time systems |
| title_short | A non-intrusive fault tolerant framework for mission critical real-time systems |
| title_sort | non intrusive fault tolerant framework for mission critical real time systems |
| topic | Aeronautics and Astronautics. |
| url | http://hdl.handle.net/1721.1/32447 |
| work_keys_str_mv | AT gorelovsebastien anonintrusivefaulttolerantframeworkformissioncriticalrealtimesystems AT gorelovsebastien nonintrusivefaulttolerantframeworkformissioncriticalrealtimesystems |