Login | Register

Static analyzer : a design tool for TROM


Static analyzer : a design tool for TROM

Tao, Hongjing (1996) Static analyzer : a design tool for TROM. Masters thesis, Concordia University.

[thumbnail of MQ44886.pdf]
Text (application/pdf)


Real-Time Reactive Systems are large complex systems. Many researchers have been studying this field and have developed specification methods to reason about the behavior and attributes of real time reactive systems from different perspectives. This thesis contributes to the development of one part of a tool that will provide an environment to specify, design, debug and simulate real-time reactive systems built on TROM s, Timed Reactive Object Models. The tool consists of three major parts: Editor, Interpreter (including Axiom Generator) and Simulator. The Interpreter which is fundamental to the tool is the subject of study in this thesis. The Interpreter will do syntax and semantic analysis for user specification and generate internal data representation to perform the simulation. The Axiom Generator will generate axioms for each particular TROM to be used by formal verification during system simulation.

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