Zhang, Da Qing (2001) Automatic code generation for real-time reactive systems in TROMLAB environment. Masters thesis, Concordia University.
Preview |
Text (application/pdf)
2MBMQ59345.pdf |
Abstract
Real-time reactive systems are among the most difficult systems to design and implement because of their complex functional and timing requirements. TROMLAB is a rigorous framework founded on TROM formalism for developing real-time reactive systems. The framework provides a number of tools that make formalism transparent to the application developer. The work presented in this thesis adds a new component to TROMLAB. The thesis gives a methodology for the implementation of a real-time reactive system designed and validated in TROMLAB. The methodology consists of defining a real-time execution model in C++ that fits the TROM formalism, automatically translating TROM specifications into Larch/C++, an interface specification language, and finally mechanically generating C++ code that conforms to the interface specification. The code generation methodology is illustrated for the Train-Gate-Controller problem, a bench-mark case study in real-time systems community.
Divisions: | Concordia University > Gina Cody School of Engineering and Computer Science > Computer Science and Software Engineering |
---|---|
Item Type: | Thesis (Masters) |
Authors: | Zhang, Da Qing |
Pagination: | ix, 85 leaves : ill. ; 29 cm. |
Institution: | Concordia University |
Degree Name: | M. Comp. Sc. |
Program: | Computer Science and Software Engineering |
Date: | 2001 |
Thesis Supervisor(s): | Alagar, V. S. |
Identification Number: | QA 76.54 Z42 2001 |
ID Code: | 1369 |
Deposited By: | Concordia University Library |
Deposited On: | 27 Aug 2009 17:18 |
Last Modified: | 13 Jul 2020 19:49 |
Related URLs: |
Repository Staff Only: item control page