Breadcrumb

 
 

Parameterized events for designing real-time reactive systems

Title:

Parameterized events for designing real-time reactive systems

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

[img]
Preview
PDF
5Mb

Abstract

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
Date:2001
Thesis Supervisor(s):Alagar, V. S.
ID Code:1293
Deposited By:Concordia University Libraries
Deposited On:27 Aug 2009 13:18
Last Modified:08 Dec 2010 10: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

Document Downloads

More statistics for this item...

Concordia University - Footer