Component-based development and verification of safety critical software for a brake-by-wire system with synchronous software components

International Workshop on Software Engineering for Parallel and Distributed Systems, Proceedings

Volumn , Issue , 1999, Pages 134-145

  Gunzert, Michael ^a   Naegele, Andreas ^a  

^a UNIVERSITY OF STUTTGART   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

BRAKE BY WIRE SYSTEM; SOFTWARE PACKAGE ESTEREL; SYNCHRONOUS SOFTWARE COMPONENTS; TIME TRIGGERED COMMUNICATION ARCHITECTURE;

AUTOMOTIVE ENGINEERING; BRAKES; COMPUTER CONTROL SYSTEMS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE SELECTION AND EVALUATION; DISTRIBUTED COMPUTER SYSTEMS; FAULT TOLERANT COMPUTER SYSTEMS;

SOFTWARE ENGINEERING;

EID: 0032593048     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Article

References (18)

1. G. Berry and G. Gonthier: The ESTEREL Synchronous Programming Language: Design, Semantics, Implementation. Science of Comupter Programming, 19(2): 87-152, November 1992.
2. R. Belschner et al: Brake-by-Wire by Using a TTP/C Communication Network, 8. Internationale Fachtagung Elektronik im Kraftfahrzeug, Baden-Baden, 1998.
3. A. Bouali: XEVE: an Esterel Verification Environment, Technical Report, INRIA, 1997.
4. E.M. Clarke, E.A. Emerson, A.P. Sistla: Automatic Verification of finite state Concurrent Systems using Temporal Logic Specifications: A practical Approach, Department of Computer Science Report, Carnegie-Mellon University, 1983.
5. M. Gunzert: Building Safety Critical Real-Time Systems with Synchronous Software Components, submitted to IFAC Workshop on Real-Time Programming WRTP'99, Schloß Dagstuhl, Germany, 1999.
6. N. Halbwachs: Synchronous Programming of Reactive Systems, Kluwer Academic Publishers, 1993.
7. D. Harel, A. Pnueli: On the Development of Reactive Systems: Logic and Models of Concurrent Systems, Proc. NATO Advanced Study Institute on Logics and Models for Verification and Specification of Concurrent Systems, NATO ASI Series F, vol. 13, Springer-Verlag, pp. 477498, 1985.
8. D. Harel: Statecharts: A visual Approach to Complex Systems, Science of Computer Programming, Vol. 8-3, pp. 231-275, 1987.
9. B. Hedenetz, R. Belschner: Brake-by-Wire without Mechanical Backup by Using a TTP Communication Network, SAE International Congress 1998, SAE 981109.
10. L.J. Jagadeesan, C. Puchol, and J.E. von Olnhausen: A formal approach to reactive systems software: A telecommunications application in ESTEREL, In Proc. Workshop on Industrial-strength Foraml Specification Techniques, April 1995.
11. L.J. Jagadeesan, C. Puchol, and J.E. Von Olnhausen: Safety Property Verification of ESTEREL Programs and Applications to Telecommunications Software, In Proc. of the Seventh Conference on Computer-Aided Verification, July 1995.
12. H. Kopetz and G. Griinsteidl, TTP - A Protocol for Fault-Tolerant Real-Time Systems, IEEE Computer Vol 27, No. 1, January 1994.
13. H. Kopetz: Real-Time Systems - Design Principles for Distributed Embeddeed Applications, Kluwer Academic Publishers, 1997.
14. Z. Manna and A. Pnueli: Temporal Verification of Reactive Systems, Safety, Springer-Verlag, 1995.
15. T. Ringler, J. Steiner, R. Belschner, B. Hedenetz: Increasing System Safety for by-wire Applications in Vehicles by using a Time Triggered Architecture, Safecomp 1998, Heidelberg, 1998.
16. E.M. Sentovich et al: SIS: A system for sequential cirquit synthesis. Technical Report, U.C. Berkeley, May 1992.
17. E. Sentovic, H. Toma and G. Berry: Latch Optimization in Cirquits Generated from High-level Descriptions, In Proc. of ICCAD, November 1996.
18. F. Stappert, P. Altenbernd: Complete Worst-Case Execution Time Analysis of Straight-Line Hard RealTime Programs, C-Lab Report 27/97, C-Lab Paderborn, Germany, 1997.