Breadcrumb

 
 

Reasoning system for real time reactive systems

Title:

Reasoning system for real time reactive systems

Haidar, Ghayath (1999) Reasoning system for real time reactive systems. Masters thesis, Concordia University.

[img]
Preview
PDF
4Mb

Abstract

Real time reactive systems are complex systems that react with their environment through stimulus response behaviour. TROMLAB development environment is a formal system being developed at Concordia University. It is the basis of the real time reactive system that will be described in this thesis. One of the main uses of the simulation tool is debugging. The Reasoning System is a very good complement of the simulation tool. The scope of this thesis is the study of a Reasoning System that can be used along with the simulation tool to help debug the design and verify system properties during the development phase in TROMLAB environment.

Divisions:Concordia University > Faculty of Engineering and Computer Science > Computer Science and Software Engineering
Item Type:Thesis (Masters)
Authors:Haidar, Ghayath
Pagination:xi, 129 leaves : ill. ; 29 cm.
Institution:Concordia University
Degree Name:Theses (M.Comp.Sc.)
Program:Computer Science and Software Engineering
Date:1999
Thesis Supervisor(s):Alagar, V. S.
ID Code:945
Deposited By:Concordia University Libraries
Deposited On:27 Aug 2009 13:15
Last Modified:08 Dec 2010 10:17
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