Login | Register

Automatic code generation for real-time reactive systems in TROMLAB environment

Title:

Automatic code generation for real-time reactive systems in TROMLAB environment

Zhang, Da Qing (2001) Automatic code generation for real-time reactive systems in TROMLAB environment. Masters thesis, Concordia University.

[thumbnail of MQ59345.pdf]
Preview
Text (application/pdf)
MQ59345.pdf
2MB

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:
All items in Spectrum are protected by copyright, with all rights reserved. The use of items is governed by Spectrum's terms of access.

Repository Staff Only: item control page

Downloads per month over past year

Research related to the current document (at the CORE website)
- Research related to the current document (at the CORE website)
Back to top Back to top