Platform-Based Embedded Software Design for Multi-vehicle Multi-modal Systems

This publication has 11 references indexed in Scilit:

• TAXYS=Esterel+Kronos. A tool for verifying real-time properties of embedded systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Platform-based embedded software design and system integration for autonomous vehicles
  Proceedings of the IEEE, 2003
• Hierarchical Approach for Design of Multi-vehicle Multi-modal Embedded Software
  Published by Springer Nature ,2001
• Giotto: A Time-Triggered Language for Embedded Programming
  Published by Springer Nature ,2001
• Embedded Control Systems Development with Giotto
  Published by Association for Computing Machinery (ACM) ,2001
• An open platform for reconfigurable control
  IEEE Control Systems, 2001
• The deferrable server algorithm for enhanced aperiodic responsiveness in hard real-time environments
  IEEE Transactions on Computers, 1995
• TTP-a protocol for fault-tolerant real-time systems
  Computer, 1994
• The synchronous data flow programming language LUSTRE
  Proceedings of the IEEE, 1991
• Aperiodic task scheduling for Hard-Real-Time systems
  Real-Time Systems, 1989