Breadcrumb

 
 

Deriving new measurements for real-time reactive systems

Title:

Deriving new measurements for real-time reactive systems

Ormandjieva, Olga (2002) Deriving new measurements for real-time reactive systems. PhD thesis, Concordia University.

[img]
Preview
PDF
5Mb

Abstract

Real-time reactive systems are largely event-driven, interact intensively and continuously with the environment through stimulus-response behavior, and are regulated by strict timing constraints. Examples of such systems include alarm systems, air traffic control systems, nuclear reactor control systems and telecommunication systems; applications involving real-time reactive software play a mission-critical role in the defense industry. Real-time reactive systems are inherently complex. The complexity pervades through the different phases of software development, deployment, and maintenance. Applying formal methods in the development process is an effective way for dealing with the complexity, and for quality assurance. One of the goals is to assess the quality of such systems starting from the earlier phases of their life cycle. The integration of the quality measurement into the development framework provides feedback to the system developers in order to effectively control the development processes and to obtain high reliability of a final product. Thus, quality control is a must when safety-critical real-time reactive systems are developed. The quality assessment must be regarded as a support for controlling the process of software development in order to guarantee the final quality. The aim of the thesis is to correctly apply the measurement theory to formal description of real-time software upon which we can base models of object-oriented software measurement. In order to create the framework for the present work, we are surveying the theoretical approaches to software measurement. The novelties of the quality measurement methodology are in the theoretical basis and a practical automated measurement data generation process for real-time reactive systems. The proposed approach is applicable to real-time reactive systems modeled as timed labeled transition systems.

Divisions:Concordia University > Faculty of Engineering and Computer Science > Computer Science and Software Engineering
Item Type:Thesis (PhD)
Authors:Ormandjieva, Olga
Pagination:xi, 148 leaves : ill. ; 29 cm.
Institution:Concordia University
Degree Name:Theses (Ph.D.)
Program:Computer Science and Software Engineering
Date:2002
ID Code:1576
Deposited By:Concordia University Libraries
Deposited On:27 Aug 2009 13:20
Last Modified:08 Dec 2010 10:21
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