Implementing real-time reactive systems from object-oriented design specifications
Real-time reactive systems are among the most difficult systems to design and implement because of their size and complex functional and timing requirements. TROMLAB is a framework for a rigorous development of consistent design that satisfy an authoritative specification of requirements, validate t...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
2000
|
| Online Access: | http://spectrum.library.concordia.ca/1209/1/MQ54340.pdf Zhang, Lizhong <http://spectrum.library.concordia.ca/view/creators/Zhang=3ALizhong=3A=3A.html> (2000) Implementing real-time reactive systems from object-oriented design specifications. Masters thesis, Concordia University. |
| Summary: | Real-time reactive systems are among the most difficult systems to design and implement because of their size and complex functional and timing requirements. TROMLAB is a framework for a rigorous development of consistent design that satisfy an authoritative specification of requirements, validate the design through simulation, and verify the design for safety properties through a formal verifier. This thesis adds one more significant component to TROMLAB by providing a methodology for automatic generation of code in real-time Java for reactive systems designed in TROMLAB framework. The correctness and efficiency of the implementation are illustrated on the implementation of the design for a generalized rail-road crossing problem, a bench-mark case study in the real-time systems community. |
|---|