Scheduling Periodic Jobs that Allow Imprecise Results
IEEE Transactions on Computers
Modeling and Verification of Time Dependent Systems Using Time Petri Nets
IEEE Transactions on Software Engineering
Static Analysis and Dynamic Steering of Time-Dependent Systems
IEEE Transactions on Software Engineering
Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications
Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications
Integrating Schedulability Analysis and Design Techniques in SDL
Real-Time Systems
Automata For Modeling Real-Time Systems
ICALP '90 Proceedings of the 17th International Colloquium on Automata, Languages and Programming
LCTES '98 Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems
SDL '01 Proceedings of the 10th International SDL Forum Copenhagen on Meeting UML
Predicting Timeliness of Reactive Systems under Flexible Scheduling
ISADS '03 Proceedings of the The Sixth International Symposium on Autonomous Decentralized Systems (ISADS'03)
Expression of time and duration constraints in SDL
SAM'02 Proceedings of the 3rd international conference on Telecommunications and beyond: the broader applicability of SDL and MSC
Specification and Timing Analysis of Real-Time Systems
Real-Time Systems
Iterative automatic test generation method for telecommunication protocols
Computer Standards & Interfaces
An automatic code generation tool for JADE agents
MMACTEE'06 Proceedings of the 8th WSEAS international conference on Mathematical methods and computational techniques in electrical engineering
Automatic test case generation with region-related coverage annotations for real-time systems
ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
| Hi-index | 0.00 |
The Specification and Description Language (SDL) and its supporting CASE tools have a major potential for the development of real-time systems. Unfortunately, SDL does not capture either duration properties of computations or policies of pre-emptive scheduling which are commonly employed to coordinate the execution of multiple concurrent tasks. We propose an extension of SDL expressivity which can capture both the aspects through annotations in the body of comments of a standard SDL model. The annotated model, that we call modeling view can be automatically translated into a simulation view, still expressed in standard SDL, which can be composed with an SDL model of the real-time microkernel that is supposed to be employed in the target environment. Simulation of the composed model through any SDL tool reproduces a behavior which is compliant with timing and resource constraints expressed in the comments of the initial modeling view. This permits specification, documentation, and simulation of real time systems to be kept within the limits of standardized SDL capabilities.