Login | Register

Parameterized events for designing real-time reactive systems


Parameterized events for designing real-time reactive systems

Haydar, May (2001) Parameterized events for designing real-time reactive systems. Masters thesis, Concordia University.



The goal of the thesis is the introduction of parameterized events in TROM methodology, an object-oriented formalism for the development of real-time reactive systems. Without parameterization, a large number of events representing similar stimuli or responses are required for modeling large systems, especially in telephony and protocol application domains. The syntax and semantics for parameterized events are conservative extensions of the syntax and semantics of events in TROM formalism. The thesis addresses the impact of parameterization on existing tools of TROMLAB, a framework for practicing TROM formalism, and discusses the reengineering of some of the tools in TROMLAB. The expressive power of the extended formalism is illustrated using the ATM-ABR protocol. The ATM model is validated in SDL, by mapping its TROM model into SDL and executing the SDL model.

Divisions:Concordia University > Faculty of Engineering and Computer Science > Computer Science and Software Engineering
Item Type:Thesis (Masters)
Authors:Haydar, May
Pagination:xii, 141 leaves : ill. ; 29 cm.
Institution:Concordia University
Degree Name:Theses (M.Comp.Sc.)
Program:Computer Science and Software Engineering
Thesis Supervisor(s):Alagar, V. S.
ID Code:1293
Deposited By: Concordia University Libraries
Deposited On:27 Aug 2009 17:18
Last Modified:08 Dec 2010 15:19
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

Back to top Back to top