Timing analysis and code generation of vehicle control software using Taxys

Electronic Notes in Theoretical Computer Science

Volumn 55, Issue 2, 2001, Pages 277-286

  Tripakis, Stavros ^a   Yovine, Sergio ^a  

^a VERIMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

C (PROGRAMMING LANGUAGE); CODES (SYMBOLS); COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING LANGUAGES; DATA COMMUNICATION SYSTEMS; DATA REDUCTION; PERSONAL COMPUTERS; PROGRAM COMPILERS; PROJECT MANAGEMENT; VEHICLES;

CODE GENERATION; EXECUTION TIME; TIMING ANALYSIS; VEHICLE CONTROL SOFTWARE;

COMPUTER SOFTWARE;

EID: 0008378603     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)00257-9     Document Type: Conference Paper

References (7)

1. Berry G., Gonthier G. The Esterel synchronous programming language: design, semantics and implementation. Science of computer programming. 19:(2):1992;87-152
2. V. Bertin, M. Poize, J. Pulou, and J. Sifakis. Towards validated real-time software. In Proc. 12th Euromicro Conference on Real-Time Systems, pp 157-164. Stockholm, Sweden, 19-21 June, 2000.
3. C. Daws, A. Olivero, S. Tripakis, and S. Yovine. The tool Kronos. In Hybrid Systems III, Verification and Control, Lecture Notes in Computer Science 1066, Springer-Verlag, 1996.
4. S. Tripakis. Software Architecture of PATH's Automated Vehicle Control. Technical report UCB/ERL M01/6, 2001.
5. Varaiya P. Smart Cars on Smart Roads: Problems of Control. IEEE Transactions on Automatic Control. 38:(2):February 1993;195-207
6. D. Weil, V. Bertin, E. Closse, M. Poize, P. Venier, and J. Pulou. Efficient compilation of Esterel for real-time embedded systems. In Proc. CASES'2000. San Jose, CA, November 17-19, 2000.
7. E. Closse, M. Poize, J. Pulou, J. Sifakis, P. Venier, D. Weil, and S. Yovine. TAXYS: a tool for the development and verification of real-time embedded systems. In Proc. CAV'01, Paris, France, July 2001.