loading
Papers

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Emil Vassev ; Olga Ormandjieva and Joey Paquet

Affiliation: Concordia University, Canada

ISBN: 978-989-8111-06-7

Keyword(s): Specification language, autonomic system, reactive system, reliability self-assessment.

Related Ontology Subjects/Areas/Topics: Embedded Communications Systems ; Enterprise Software Technologies ; Real-Time Software ; Reliable Software Technologies ; Software Architectures ; Software Engineering ; Telecommunications

Abstract: This article is an introduction to our research towards a formal framework for tackling reliability in reactive autonomic systems with self-monitoring functionality. The Autonomic System Specification Language (ASSL) is a framework for formally specifying and generating autonomic systems. With ASSL, we can specify high-level behavior policies, which shows that it is very appropriate language for specifying reliability models as part of overall system behavior. In this paper, we show how ASSL can be used to specify reliability self-assessment in the Autonomic System Timed Reactive Model (AS-TRM). The reliability self-assessment is performed at two levels: autonomic element (local) and system (global). It depends on the configuration of the system and is concerned with the uncertainty analysis of the AS-TRM as it evolves. An appropriate architecture for supporting reliability self-assessment, along with a communication mechanism to implement the reactive and autonomic behavior, are spec ified with ASSL. (More)

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 100.26.176.182

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Vassev E.; Ormandjieva O.; Paquet J. and (2007). ASSL SPECIFICATION OF RELIABILITY SELF-ASSESSMENT IN THE AS-TRM.In Proceedings of the Second International Conference on Software and Data Technologies - Volume 1: ICSOFT, ISBN 978-989-8111-06-7, pages 198-206. DOI: 10.5220/0001328601980206

@conference{icsoft07,
author={Emil Vassev and Olga Ormandjieva and Joey Paquet},
title={ASSL SPECIFICATION OF RELIABILITY SELF-ASSESSMENT IN THE AS-TRM},
booktitle={Proceedings of the Second International Conference on Software and Data Technologies - Volume 1: ICSOFT,},
year={2007},
pages={198-206},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001328601980206},
isbn={978-989-8111-06-7},
}

TY - CONF

JO - Proceedings of the Second International Conference on Software and Data Technologies - Volume 1: ICSOFT,
TI - ASSL SPECIFICATION OF RELIABILITY SELF-ASSESSMENT IN THE AS-TRM
SN - 978-989-8111-06-7
AU - Vassev, E.
AU - Ormandjieva, O.
AU - Paquet, J.
PY - 2007
SP - 198
EP - 206
DO - 10.5220/0001328601980206

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.