ASSL SPECIFICATION OF RELIABILITY SELF-ASSESSMENT IN THE AS-TRM

Emil Vassev, Olga Ormandjieva, Joey Paquet

2007

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 specified with ASSL.

Paper Citation

in Harvard Style

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

in Bibtex Style

@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 2: ICSOFT,},
year={2007},
pages={198-206},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001328601980206},
isbn={978-989-8111-06-7},
}

in EndNote Style

TY - CONF
JO - Proceedings of the Second International Conference on Software and Data Technologies - Volume 2: 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