Authors:
Emil Vassev
;
Olga Ormandjieva
and
Joey Paquet
Affiliation:
Concordia University, Canada
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 spe
cified with ASSL.
(More)