Proceedings of the joint conference on Languages, compilers and tools for embedded systems: software and compilers for embedded systems
An approach to schedulability analysis of UML-based real-time systems design
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
Towards reusable real-time objects
Annals of Software Engineering
Automatic synthesis of a subclass of schedulers in timed systems
Theoretical Computer Science - Australasian computer science
RTAS '03 Proceedings of the The 9th IEEE Real-Time and Embedded Technology and Applications Symposium
Schedulability analysis with UML
UML for real
SoftContract: an Assertion-Based Software Development Process that Enables Design-by-Contract
Proceedings of the conference on Design, automation and test in Europe - Volume 1
Designing distributed software with RT-CORBA and SDL
Computer Standards & Interfaces
An evaluation of timed scenario notations
Journal of Systems and Software
Dual ceiling protocol for real-time synchronization under preemption threshold scheduling
Journal of Computer and System Sciences
Scalable real-time system design using preemption thresholds
RTSS'10 Proceedings of the 21st IEEE conference on Real-time systems symposium
Designing for schedulability: integrating schedulability analysis with object-oriented design
Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
SoftContract: model-based design of error-checking code and property monitors
UML'04 Proceedings of the 2004 international conference on UML Modeling Languages and Applications
SoftContract: model-based design of error-checking code and property monitors
UML Modeling Languages and Applications
Hi-index | 0.01 |
We present our experiences in applying real time scheduling theory to embedded control systems designed using ROOM (Real time Object Oriented Modeling) methodology. ROOM has originated from the telecommunications community and has been successfully applied to many commercial systems through the supporting case tool ObjecTime. It is particularly suitable for modeling reactive real time behavior. Furthermore, it provides many other advantages through the use of object orientation, and the use of executable models from which code may be generated quickly and efficiently. Since many real time embedded control systems have significant reactive, event driven behavior, it is attractive to use ROOM methodology to develop such systems. However, the ROOM methodology does not provide tools to specify and analyze the temporal behavior as is required for the hard real time components of embedded systems, and for which the real time scheduling theory provides an analytical basis. We show how real time scheduling theory may be applied to ROOM models using a cruise control example to illustrate. The biggest challenge comes from minimizing the adverse effects of priority inversions. Our results are very encouraging, and we show that not only is it possible to apply real time scheduling theory, but that it can be done very efficiently provided certain guidelines are followed in the design and implementation of the ROOM model.