Theoretical Computer Science
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
COSYN: hardware-software co-synthesis of embedded systems
DAC '97 Proceedings of the 34th annual Design Automation Conference
Time-based expressivity of timed Petri nets for system specification
Theoretical Computer Science
Introduction to the Theory of Computation
Introduction to the Theory of Computation
Software Engineering Economics
Software Engineering Economics
``Production Cell'': A Comparative Study in Formal Specification and Verification
KORSO - Methods, Languages, and Tools for the Construction of Correct Software
Task Graph Scheduling Using Timed Automata
IPDPS '03 Proceedings of the 17th International Symposium on Parallel and Distributed Processing
Software Design
Real-Time Systems: Scheduling, Analysis, and Verification
Real-Time Systems: Scheduling, Analysis, and Verification
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
Systems and Software Verification: Model-Checking Techniques and Tools
Systems and Software Verification: Model-Checking Techniques and Tools
| Hi-index | 0.00 |
In this paper, we present some of the issues encountered when trying to apply model-driven approaches to the engineering of real-time systems. In real-time systems, quantitative values of time, as reflected through the duration of actions, are central to the system's correctness. We review basic time concepts and explain how time is handled in different modeling languages. We expose the inherent paradox of incorporating quantitative time-dependent behavior in high-level models. High-level models are typically built before the system is implemented, which makes quantitative time metrics difficult to predict since these metrics depend heavily on implementation details. We provide some possible answers to this paradox and explain how the Timed Abstract State Machine (TASM) language helps address some of these issues.