IEEE Transactions on Software Engineering
Software engineering for real-time: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Real-Time Constraints with the OCL
ISORC '02 Proceedings of the Fifth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
Consistent Design of Embedded Real-Time Systems with UML-RT
ISORC '01 Proceedings of the Fourth International Symposium on Object-Oriented Real-Time Distributed Computing
Modeling and Simulation of System-of-Systems Timing Constraints with UML-RT and OMNeT++
RSP '04 Proceedings of the 15th IEEE International Workshop on Rapid System Prototyping
VERTAF: An Application Framework for the Design and Verification of Embedded Real-Time Software
IEEE Transactions on Software Engineering
Hi-index | 0.00 |
In real-time software, not only computation errors but also timing errors can cause system failures, which eventually result in significant physical damages or threats to human life. To efficiently guarantee the timely execution of expected functions, it is necessary to clearly specify and formally verify timing requirements before performing detailed system design. This paper proposes a compositional approach to specifying and verifying timing requirements for real-time systems in a systematic manner. We specify both requirements and specification of a system using Modular TER nets, an extension of TER nets, to support timing analysis in a compositional way. By incrementally composing the requirement model and the specification model, we can check timing anomalies in requirements and the specification model.