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.

References

  1. IBM Corporation, 2006. An architectural blueprint for autonomic computing, White Paper, 4th Edition.
  2. Vassev, E., Paquet, J., 2007. ASSL - Autonomic System Specification Language, In Proceedings of the 31st Annual IEEE/NASA Software Engineering Workshop (SEW-31), Baltimore, MD, USA.
  3. Vassev, E., Paquet, J., 2007. Towards an Autonomic Element Architecture for ASSL, In Proceedings of the 29th International Conference on Software Engineering / Software Engineering for Adaptive and Self-managing Systems (ICSE 2007 SEAMS), Minneapolis, MN, USA.
  4. Goseva-Popstojanova, K., Kamavaram, S., 2004. Software Reliability Estimation under Uncertainty: Generalization of the Method of Moments, In Proceedings of the 8th IEEE International Symposium on High Assurance Systems Engineering (HASE'04), pp. 209-218, Tampa, FL, USA.
  5. Dai, Y., 2005. Autonomic Computing and Reliability Improvement, In Proceedings of the 8th IEEE International Symposium on Object-Oriented RealTime Distributed Computing (ISORC'05), pp. 204-206, Seattle, WA, USA.
  6. Zhang, T., Nakamura, M., 2005. Reliability-based Optimal Maintenance Scheduling by Considering Maintenance Effect to Reduce Cost, Quality and Reliability Engineering, International, 21:203-220.
  7. Vassev, E., Kuang, H., Ormandjieva, O., Paquet, J., 2006. Reactive, Distributed and Autonomic Computing Aspects of AS-TRM, In Proceedings of the 1st International Conference on Software and Data Technologies - ICSOFT'06, pp. 196-202, Setubal, Portugal.
  8. Ormandjieva, O., Kuang, H., Vassev, E., 2006, Reliability Self-Assessment in Reactive Autonomic Systems: Autonomic System-Time Reactive Model Approach, International Transactions on Systems Science and Applications, Volume 2 (1), pp.99-104.
  9. IBM Tivoli, 2005. Policy Management for Autonomic Computing - Version 1.2, Tutorial, IBM Corp.
  10. Tesauro, G., Chess, D., Walsh, W., Das, R., Whalley, I., Kephart, J., White, S., 2004. A multi-agent systems approach to autonomic computing, In Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS'04), New-York, NY, USA.
  11. Ormandjieva, O., 2002. Deriving New Measurements for Real-Time Reactive Systems. Ph.D. Thesis. Computer Science Department, Concordia University, Montreal, Canada.
Download


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