Name
Abstract | ||
|---|---|---|
Embedded systems in safety-critical environments demand safety guarantees while providing many useful services that are too complex to formally verify or fully test. Existing application-level fault-tolerance methods, even if formally verified, leave the system vulnerable to errors in the real-time operating system (RTOS), middleware, and microprocessor. We introduce the System-Level Simplex Architecture, which uses hardware/software co-design to provide fail-operational guarantees for both logical application-level faults, as well as faults in previously dependent layers including the RTOS and microprocessor. We also provide an end-to-end design process for the System-Level Simplex Architecture where the AADL architecture description is automatically constructed and checked and the VHDL hardware code is generated.To show the efficacy of System-Level Simplex design, we apply the approach to both a classic inverted pendulum and a cardiac pacemaker. We perform fault-injection tests on the inverted pendulum design which demonstrate robustness in spite of software controller and operating system faults. For the pacemaker, we contrast the provided safety guarantees with those of a previous-generation pacemaker. |
Year | DOI | Venue |
|---|---|---|
2009 | 10.1109/RTAS.2009.20 | IEEE Real-Time and Embedded Technology and Applications Symposium |
Keywords | Field | DocType |
system fault,system-level simplex architecture,system safety,cardiac pacemaker,system-level simplex design,improved real-time,vhdl hardware code,end-to-end design process,inverted pendulum design,real-time operating system,previous-generation pacemaker,application-level fault-tolerance method,real time operating system,middleware,design process,hardware,operating system,real time systems,embedded systems,embedded system,computer architecture,inverted pendulum,system testing,fault tolerant,software architecture,operating systems,formal verification,simplex | Middleware,Inverted pendulum,Control theory,Computer science,System testing,Software architecture description,Real-time computing,Real-time operating system,Software architecture,VHDL,Embedded system | Conference |
ISSN | ISBN | Citations |
1545-3421 | 978-0-7695-3636-1 | 18 |
PageRank | References | Authors |
1.01 | 7 | 6 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Stanley Bak | 1 | 310 | 16.78 |
| Deepti K. Chivukula | 2 | 18 | 1.01 |
| Olugbemiga Adekunle | 3 | 18 | 1.01 |
| Mu Sun | 4 | 114 | 8.10 |
| Marco Caccamo | 5 | 425 | 31.84 |
| L. Sha | 6 | 7376 | 1006.47 |