Group Communication in Real-Time Computing Systems: Issues and Directions
FTDCS '99 Proceedings of the 7th IEEE Workshop on Future Trends of Distributed Computing Systems
Object-Oriented Real Time Systems Modeling and Verification
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
ISORC '98 Proceedings of the The 1st IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
An Approach to Distributed Component-Based Real-Time Application Software Development
ISORC '98 Proceedings of the The 1st IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
A Soft Real-Time TMO Platform - WTMOS - and its Implementation Techniques
ISORC '98 Proceedings of the The 1st IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
ISORC '99 Proceedings of the 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
Modeling of Real-Time Embedded Systems in an Object-Oriented Design Environment with UML
ISORC '00 Proceedings of the Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
Structural and Behavioral Decomposition in Object Oriented Models
ISORC '00 Proceedings of the Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
Real-Time Simulation Techniques Based on the RTO.k Object Modeling
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
Recent additions on the application programming interface of the TMO support middleware
Proceedings of the 13th Monterey conference on Composition of embedded systems: scientific and industrial issues
UIC'06 Proceedings of the Third international conference on Ubiquitous Intelligence and Computing
| Hi-index | 0.00 |
The time-triggered message-triggered object (TMO) has been devised as the basic component model for high-level distributed real-time programming as well as real-time application system/subsystem design and modeling. One of the strengths of the TMO is its facilitation of multi-phased top-down modeling of real-time distributed computing application systems. TMO-structured models are capable of representing both a real-time control system and its controlled facilities (composed of sensors, actuators, and monitored infrastructure) in a uniform fashion. Also, TMO-structured real-time simulation models can be generated in attractively simple forms and they can be executed to enable examination of not only the logical accuracy of a real-time control system being developed but also the correctness of its timing behavior. A case study of such simulation modeling has been conducted in the context of constructing a real-time simulator of a real-time control system called the safety injection system (SIS), which is a subsystem of a nuclear power plant. In the course of this case study, some tools that support efficient real-time simulation have been developed. The refined modeling steps, the support tools developed, and the cost-effectiveness confirmed in the course of this case study are the main subjects discussed in this paper.