A codesign approach for safety-critical automotive applications

IEEE Micro

Volumn 18, Issue 5, 1998, Pages 66-79

  Von Hanxleden, Reinhard ^a,b,c,d   Botorabi, Ali ^a,e   Kupczyk, Slawomir ^a,e,f  

^a DAIMLER AG   (Germany)

^b UNIVERSITY OF KIEL   (Germany)

^c PENNSYLVANIA STATE UNIVERSITY   (United States)

^d RICE UNIVERSITY   (United States)

^e TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

^f WROCLAW UNIVERSITY OF TECHNOLOGY   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION SPECIFIC INTEGRATED CIRCUITS; AUTOMOBILE AIR BAGS; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; EMBEDDED SYSTEMS; FIELD PROGRAMMABLE GATE ARRAYS; IGNITION SYSTEMS; INTERFACES (COMPUTER); MICROCONTROLLERS;

BUS BASED AIR BAG SYSTEM; COMMERCIAL OFF THE SHELF TOOLS;

FAULT TOLERANT COMPUTER SYSTEMS;

EID: 0032154769     PISSN: 02721732     EISSN: None     Source Type: Journal    
DOI: 10.1109/40.735945     Document Type: Article

References (14)

1. A. Wohnhaas, "Rechnergestützte Steuergeräte-Softwareentwicklung" [Computer-Aided Controller Software Design], ATZ Automobiltechnische Zeitschrift, Vol. 99, June 1997, pp. 744-754.
2. M. Bischoff, G. Fendt, and D. Zechmair, "Different Approaches for Air Bag Triggering Units Using a Firing Bus," Tech. Report 971049, Soc. Automotive Engineers, Inc., Warrendale, Penn., 1997.
3. D. Harel et al., "STATEMATE: A Working Environment for the Development of Complex Reactive Systems," IEEE Trans Software Engineering, Vol. 16, No. 4, Apr. 1990, pp. 403-414.
4. D. Harel and A. Naamad, "The STATEMATE Semantics of Statecharts, " ACM Trans. Software Engineering and Methodology, Vol. 5, No. 4, Oct. 1996, pp. 293-333.
5. L. Hatton, Safer C: Developing Software for High-Integrity and Safety-Critical Systems, McGraw-Hill, London, 1995.
6. M.S. Jaffe et al., "Software Requirements Analysis for Real-Time Process-Control Systems, " IEEE Trans. Software Engineering, Vol. 17, No. 3, Mar. 1991, pp. 241-258.
7. C. Heitmeyer, R. Jeffords, and B. Labaw, "Automated Consistency Checking of Requirements Specifications," ACM Trans. Software Engineering and Methodology, Vol. 5, No. 3, July 1996, pp. 231-261.
8. D.Y.W. Park et al., "Checking Properties of Safety-Critical Specifications Using Efficient Decision Procedures," Proc. Second Workshop on Formal Methods in Software Practice, M. Ardis, ed., ACM Press, New York, Mar. 1998, pp. 34-43.
9. J. Rushby, "Formal Methods and the Certification of Critical Systems, " Tech. Report SRI-CSL-93-7, Computer Science Laboratory, SRI International, Menlo Park, Calif., Dec. 1993.
10. L. Peters, "Software Design: Current Methods and Techniques," Infotech State of the Art Report on Structured Software Development, Infotech International, Maidenhead, England, 1979, pp. 239-262.
11. H. Kopetz, Real-Time Systems-Design Principles for Distributed Embedded Appli-cations, Kluwer Academic Publisher, Dordrect, The Netherlands, 1997, p. 267.
12. R.R. Lutz, "Analyzing Software Requirements Errors in Safety-Critical, Embedded Systems, Proc. IEEE Int'l Symp. Requirements Engineering, IEEE, Piscataway, N.J., Jan. 1993, pp. 126-133.
13. R. von Hanxleden et al., "Hardware/Software Codesign of a Fault-Tolerant Communication Protocol," Digest of Abstracts IEEE Int'l Workshop Embedded Fault-Tolerant Systems, IEEE, Sept. 1996. Also available on ftp://ic.eecs.berkeley.edu/pub/HWSW/IEEE. EFTS96.ps.gz.
14. N.G. Leveson et al., "Requirements Specification for Process-Control Systems, " IEEE Trans. Software Engineering, Vol. 20, No. 9, Sept. 1994, pp. 684-707.