Non-intrusive system-level fault tolerance for an electronic throttle controller

Proceedings of the International Conference on Networking, International Conference on Systems and International Conference on Mobile Communications and Learning Technologies,ICN/ICONS/MCL'06

Volumn 2006, Issue , 2006, Pages 192-199

  Boussemart, Yves ^a   Gorelov, Sébastien ^a   Ouimet, Martin ^a   Lundqvist, Kristina ^a  

^a Massachusetts Institute of Technology   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; CONTROL EQUIPMENT; ERROR DETECTION; JITTER;

ELECTRONIC THROTTLE CONTROLLERS; HYBRID MODELS; SYSTEM LEVEL FAULT TOLERANCE; TIMING ERROR DETECTION;

FAULT TOLERANT COMPUTER SYSTEMS;

EID: 33750951045     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICNICONSMCL.2006.156     Document Type: Conference Paper

References (25)

1. Xilinx Virtex II Pro Product WebPage www.xilinx.com/publications/ prod_mktg/v2prolit.htm.
2. R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138(1):3-34, 1995.
3. L. Asplund and K. Lundqvist. The Gurkh project: a framework for verification and execution of mission critical applications. In Digital Avionics Systems Conference, volume 22. IEEE, October 2003.
4. N. Audsley, I. J. Bate, and A. Burns. Putting fixed priority scheduling theory into engineering practice for safety critical applications. Second IEEE Real-Time Technology and Applications Symposium (RTAS'96), 1996.
5. T. P. Baker and A. C. Shaw. The Cyclic Executive Model and Ada. Real-Time Systems, 1(1):7-25, 1989.
6. S. Baruah, G. Buttazzo, S. Gorinsky, and G. Lipari. Scheduling periodic task systems to minimize output jitter. In Proceedings of the International Conference on Real-Time Computing Systems and Applications, pages 62-69, Dec. 1999.
7. J. Bengtsson, K. Larsen, F. Larsson, P. Pettersson, W. Yi, and C. Weise. New generation of uppaal, 1998.
8. J. Bengtsson, K. G. Larsen, F. Larsson, P. Pettersson, and W. Yi. UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems. Proceedings of the 4th DIMACS Workshop on Verification and Control of Hybrid Systems, 1995.
9. Gizmag. Citroen shows drive-by-wire C5 http://www.gizmag.com/go/4195/.
10. S. Gorelov. A Non-Intrusive Fault Tolerant Framework For Mission Critical Real-Time Systems. Master's thesis, Massachusetts Institute of Technology, 2005.
11. P. Griffiths. Embedded software control design for an electronic throttle body. Master's thesis, University of California Berkeley, 2002.
12. T. A. Henzinger, P. W. Kopke, A. Puri, and P. Varaiya. What's decidable about hybrid automata? In STOC '95: Proceedings of the twenty-seventh annual ACM symposium on Theory of computing, pages 373-382, New York, NY, USA, 1995. ACM Press.
13. K. Lundqvist and L. Asplund. A Ravenscar-Compliant Runtime Kernel for Safety-Critical Systems. In Real-Time Systems, volume 24, pages 29-54. Kluwer Academic Publishers, 2003.
14. Mathworks. Simulink and Stateflow Product Webpage. http://www.mathworks. com/products/simulink/.
15. W. Milam and A. Chutinan. Model composition and analysis challenge problems. Smart Vehicle Challenge Problems, 2001.
16. K. S. Miller. Lecture notes on floating point arithmetic. www.cs.wisc.edu/~smoler/x86text/lect.notes/arith.flpt.html.
17. G. Naeser. Transforming timing skeletons to timed automata. Technical report, Mälardalen Real-Time Research Centre, 2005. MRTC report ISSN 1404-3041ISRN MDH-MRTC-187/2005-1-SE.
18. G. Naeser, L. Asplund, and J. Furunäs. SafetyChip: A Time Monitoring and Policing Device. In Proceedings of the 2005 ACM SIGAda Annual International Conference (SIGAda 2005). ACM Press, 2005.
19. C. Nehme. The VAT Tool, Automatic Transformation of VHDL to Timed Automata. Master's thesis, Massachusetts Institute of Technology, 2004.
20. F. M. Proctor and W. P. Shackleford. Timing studies of real-time linux for control. In Proceedings of DETC01 ASME 2001 Design Engineering Technical Conferences and Information in Engineering Conference, September 2001.
21. A. Silbovitz. The Ravenscar-compliant hardware run-time (Ravenhart) kernel. Master's thesis, Massachusetts Institute of Technology, 2004.
22. P. Smith, S. Patel, W. Sun, R. Ramanan, H. Donald, S. Toeppe, S. Ranville, D. Bostic, and K. Butts. CACSD in Production Development: An Engine Control Case Study. Technical report, Ford Motor Company, 2000.
23. A. Tiwari. Formal semantics and analysis methods for Simulink Stateflow models. Technical report, SRI International, 2002. http://www.csl.sri.com/ ~tiwari/stateflow.html.
24. E. Touloupis, J. A. Flint, and D. D. Ward. Safety-critical architectures for automotive applications. Technical report, Department of Electronic and Electrical Engineering, Loughborough University, 2003.
25. T. Vardanega. Development of on-board embedded real-time systems: An engineering approach. Technical report, European Space Agency, 1999.