HRT-HOOD: a structured design method for hard real-time systems
Real-Time Systems
Modechart: A Specification Language for Real-Time Systems
IEEE Transactions on Software Engineering
Early detection of timing constraint violation at runtime
RTSS '97 Proceedings of the 18th IEEE Real-Time Systems Symposium
RTSS '97 Proceedings of the 18th IEEE Real-Time Systems Symposium
Integrated Design Tools for Hard Real-Time Systems
RTSS '98 Proceedings of the IEEE Real-Time Systems Symposium
MAST Real-Time View: A Graphic UML Tool for Modeling Object-Oriented Real-Time Systems
RTSS '01 Proceedings of the 22nd IEEE Real-Time Systems Symposium
Automatic Generation of Simulation Monitors from Quantitative Constraint Formula
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Aspect-oriented design in systemC: implementation and applications
SBCCI '06 Proceedings of the 19th annual symposium on Integrated circuits and systems design
A Computational Logic Application Framework for Service Discovery and Contracting
International Journal of Web Services Research
| Hi-index | 0.00 |
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are speci.ed using a language similar to Linear Temporal Logic which allows one to reason about time and sequencing. They consist of assertions which must hold for a design, given some assumptions on its environment. They can be checked both during simulation and, at least for a subset, even on the target. The key contribution of the paper is the extension to the embedded software domain of assertion-based verification, and the automated generation of property-checking code in multiple target languages, from simulation, to prototyping, to final production.