A component model for hard real-time systems: CCM with ARINC-653
- 15 June 2011
- journal article
- research article
- Published by Wiley in Software: Practice and Experience
- Vol. 41 (12), 1517-1550
- https://doi.org/10.1002/spe.1083
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- CAmkES: A component model for secure microkernel-based embedded systemsJournal of Systems and Software, 2007
- The design and performance of component middleware for QoS-enabled deployment and configuration of DRE systemsJournal of Systems and Software, 2007
- MICO: an open source CORBA implementationIEEE Software, 2004
- Composing domain-specific design environmentsComputer, 2001
- Real-time CORBAIEEE Transactions on Parallel and Distributed Systems, 2000
- The Koala component model for consumer electronics softwareComputer, 2000
- Design by contract: the lessons of ArianeComputer, 1997
- Object structures for real-time systems and simulatorsComputer, 1997
- The ControlShell component-based real-time programming system, and its application to the Marsokhod Martian RoverACM SIGPLAN Notices, 1995
- A theory of timed automataTheoretical Computer Science, 1994