Communicating sequential processes
Communicating sequential processes
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
The RAISE specification language
The RAISE specification language
Using Z: specification, refinement, and proof
Using Z: specification, refinement, and proof
Observations on industrial practice using formal methods
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering
The Vision of Autonomic Computing
Computer
Domain Engineering: A Software Engineering Discipline in Need of Research
SOFSEM '00 Proceedings of the 27th Conference on Current Trends in Theory and Practice of Informatics
An Architectural Approach to Autonomic Computing
ICAC '04 Proceedings of the First International Conference on Autonomic Computing
Software Engineering 3: Domains, Requirements, and Software Design (Texts in Theoretical Computer Science. An EATCS Series)
Autonomic Computing
A Survey of Autonomic Computing Systems
ICAS '07 Proceedings of the Third International Conference on Autonomic and Autonomous Systems
Hi-index | 0.01 |
To develop software in safety-critical systems, formal methods have been served in first phase of new software engineering. The increasing complexity, cost and heterogeneity of distributed computing systems have motivated researchers to investigate autonomic computing in order to cope with the management of their complexity. Autonomic Elements (AEs) are the basic building blocks of autonomic systems. Their interactions produce self-managing behaviour. This paper presents a formal model for increasing reliability in an AE using Rigorous Approach to Industrial Software Engineering (RAISE) Specification Language or RSL. The formal formula presented in this paper can be extended to other issues of autonomic computing systems.