A runtime framework for system safety

IEEE Intelligent Vehicles Symposium, Proceedings

Volumn , Issue , 2003, Pages 394-399

  Papp, Zoltán ^a   Zoutendijk, Allard ^a  

^a EMBEDDED SYSTEMS INSTITUTE   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

VEHICLES;

IN-VEHICLE SYSTEMS; MISSION CRITICAL; NOVEL METHODOLOGY; RUNTIME FRAMEWORKS; RUNTIME SUPPORT; SAFETY ARCHITECTURE; STATE TRANSITIONS; SYSTEM SAFETY;

SAFETY TESTING;

EID: 33845453721     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IVS.2003.1212943     Document Type: Conference Paper

References (4)

1. N. G. Leveson: System Safety in Computer-Controlled Automotive Systems Proc. of the SA Congress March 2000 (invited paper) (online: http://sunnyday. mit. eddpapers/sae. pdf
2. Sztipanovits J. Karsai G. : Model-Integrated Computing, lEE Computer, pp. 110-1 12 April 1997.
3. Dirk J. Verburg et al: VEHIL Developing and Testing Intelligent Vehicles,/'roc. of the I IVZ002 June 17-21, 2002 Versailles France
4. K. G. Wika IC. Knight: A Safety Kemel Architecture. Report of the Department of Computer Science University of Virginia Churlottesville Virginia USA. (ttp://ftp. cs. virginia. edu/pub/techreportdCS-Y4-04. ps. Z