Efficient development of embedded automotive software with IEC 61508 objectives using SCADE drive

VDI Berichte

Volumn , Issue 1907, 2005, Pages 237-247

  Dion, B ^a   Gartner, J ^a  

^a ANSYS Esterel Technologies   (France)

Author keywords

[No Author keywords available]

Indexed keywords

MODELING; SAFETY ASPECTS; SOFTWARE SYSTEMS; SYSTEMS ARCHITECTURES;

AUTOMOTIVE INDUSTRY; COMPUTER SOFTWARE; COST EFFECTIVENESS; ELECTRONIC EQUIPMENT; LIFE CYCLE; SAFETY FACTOR; SOFTWARE ENGINEERING; SYSTEMS ENGINEERING;

EMBEDDED SYSTEMS;

EID: 27744542715     PISSN: 00835560     EISSN: None     Source Type: Book Series    
DOI: None     Document Type: Article

References (8)

1. Halbwachs, N.: Synchronous Programming of Reactive Systems, Kluwer, 1993
2. Berry, G.: The Foundations of Esterel, In "Proofs, Languages, Essays in Honour of Robin Milner", MIT Press, 2000
3. IEC 61508 parts1 to 7 "Functional Safety of E/E/PE Safety-related Systems"
4. DO-178B "Software Considerations in Airborne Systems and Equipment Certification", RTCA/EUROCAE, 1992
5. Dion, B.: Correct-by-Construction Methods for the Development of Safety-critical Applications, SAE World Congress, Detroit, 2004
6. Bouali, A., Dion, B., Kosuke Konishi: Using Formal Verification in Real-Time Embedded Software Development, Japan SAE, Yokohama, 2005
7. MISRA Guidelines: SCADE Compliance Report, Esterel Technologies, 2005
8. Dion, B., Thierry Le Sergent, Martin, B., Griebel, H.: odel-based development for Time-triggered Architectures, DASC, Salt lake City, 2004