Verifiable Embedded Real-Time Application Framework
- 13 November 2002
- conference paper
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Proceedings Seventh IEEE Real-Time Technology and Applications Symposium
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- VERTAF: an object-oriented application framework for embedded real-time systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Symbolic model checking for real-time systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Embedded software verification in hardware–software codesignJournal of Systems Architecture, 2000
- APIs for real-time distributed object programmingComputer, 2000
- Design of dynamically reconfigurable real-time software using port-based objectsIEEE Transactions on Software Engineering, 1997
- BASEMENT: A distributed real-time architecture for vehicle applicationsReal-Time Systems, 1996
- A theory of timed automataTheoretical Computer Science, 1994