Login | Register

Implementing real-time reactive systems from object-oriented design specifications

Title:

Implementing real-time reactive systems from object-oriented design specifications

Zhang, Lizhong (2000) Implementing real-time reactive systems from object-oriented design specifications. Masters thesis, Concordia University.

[thumbnail of MQ54340.pdf]
Preview
Text (application/pdf)
MQ54340.pdf
3MB

Abstract

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.

Divisions:Concordia University > Gina Cody School of Engineering and Computer Science > Computer Science and Software Engineering
Item Type:Thesis (Masters)
Authors:Zhang, Lizhong
Pagination:x, 100 leaves : ill. ; 29 cm.
Institution:Concordia University
Degree Name:M. Comp. Sc.
Program:Computer Science and Software Engineering
Date:2000
Thesis Supervisor(s):Alagar, V. S.
Identification Number:QA 76.54 Z43 2000
ID Code:1209
Deposited By: Concordia University Library
Deposited On:27 Aug 2009 17:17
Last Modified:13 Jul 2020 19:48
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