Login | Register

Automatic generation of behavioral specification in autonomic systems timed reactive model

Title:

Automatic generation of behavioral specification in autonomic systems timed reactive model

Quiroz, Javier (2007) Automatic generation of behavioral specification in autonomic systems timed reactive model. Masters thesis, Concordia University.

[img]
Preview
Text (application/pdf)
MR40951.pdf - Accepted Version
2MB

Abstract

The Autonomic Reactive System Timed Reactive Model (AS-TRM) is the merging of two fields: Real Time Reactive Systems and Autonomic Systems. Autonomic Systems is a new research area conceived to deal with the growing complexity of nowadays Information Technology infrastructures. Time Reactive Systems are complex systems that interact with their environment using a stimulus-response behavior under strict timing constraints. The AS-TRM approach consists in generating a new breed of systems provided with autonomic self-management capabilities. Timed Reactive Object Model (TROM) formalism developed at Concordia University has been extended to model the reactive behaviour in autonomic systems. This thesis work is aimed at assessing the control on the behavioral correctness of the Autonomic Reactive Component layer in AS-TRM. An algorithm for generating an exhaustive behavior of an autonomic reactive component is presented; the algorithm guarantees the correctness of the component's behavioural specification by building the correct behaviour, timing constraints and system policies into the generated output. The specification of such behaviour is applicable to a variety of self-monitoring purposes concerning the autonomic reactive system control. Additionally, a method for assessing the critical time performance (minimum and maximum time delay) from the behavioural specification is provided. The methodology is illustrated on a case study.

Divisions:Concordia University > Gina Cody School of Engineering and Computer Science > Computer Science and Software Engineering
Item Type:Thesis (Masters)
Authors:Quiroz, Javier
Pagination:ix, 75 leaves : ill. ; 29 cm.
Institution:Concordia University
Degree Name:M. Comp. Sc.
Program:Computer Science and Software Engineering
Date:2007
Thesis Supervisor(s):Ormandjieva, Olga
ID Code:975748
Deposited By: Concordia University Library
Deposited On:22 Jan 2013 16:14
Last Modified:18 Jan 2018 17:41
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