Timing Analysis and Code Generation of Vehicle Control Software using Taxys
Open Access
- 31 October 2001
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 55 (2) , 277-286
- https://doi.org/10.1016/s1571-0661(04)00257-9
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Towards validated real-time softwarePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems?Published by Springer Nature ,2001
- Efficient compilation of ESTEREL for real-time embedded systemsPublished by Association for Computing Machinery (ACM) ,2000
- The tool KronosPublished by Springer Nature ,1996
- Smart cars on smart roads: problems of controlIEEE Transactions on Automatic Control, 1993
- The Esterel synchronous programming language: design, semantics, implementationScience of Computer Programming, 1992