Breadcrumb

 
 

Simulated validation of real-time reactive system with parameterized events

Title:

Simulated validation of real-time reactive system with parameterized events

Liu, Shi Hui (2003) Simulated validation of real-time reactive system with parameterized events. Masters thesis, Concordia University.

[img]
Preview
PDF
13Mb

Abstract

This thesis addresses the problems encountered during the simulated validation of real-time reactive systems at the design phase before the implementation. We assume that such systems are modeled as timed labeled transition systems, following the TROM methodology with parameterized events. In the previous work on the simulation, the simulator's algorithm had problems simulating some real-time reactive systems, such as the Train-Gate-Controller and Robotics system. This thesis aims to correct the flaws related to time conflicts in previous models, separate the Data Model module from the Validation tool, and add support for parameterized events in the simulator. As a system grows larger, assessing the performance of mission-critical applications become more important. This thesis proposes an assessment of a system's performance in terms of functionality, based on a Simulation, and illustrates its approach using the Robotics case study.

Divisions:Concordia University > Faculty of Engineering and Computer Science > Computer Science and Software Engineering
Item Type:Thesis (Masters)
Authors:Liu, Shi Hui
Pagination:xii, 138 leaves : ill., tables ; 29 cm.
Institution:Concordia University
Degree Name:Theses (M.Comp.Sc.)
Program:Computer Science and Software Engineering
Date:2003
Thesis Supervisor(s):Ormandjieva, Olga
ID Code:2334
Deposited By:Concordia University Libraries
Deposited On:27 Aug 2009 13:27
Last Modified:08 Dec 2010 10:26
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