Chapter

Assurances for Self-Adaptive Systems

Volume 7740 of the series Lecture Notes in Computer Science pp 297-310

Emerging Techniques for the Engineering of Self-Adaptive High-Integrity Software

  • Radu CalinescuAffiliated withDepartment of Computer Science, University of York

* Final gross prices may vary according to local VAT.

Get Access

Abstract

The demand for cost effectiveness and increased flexibility has driven the fast-paced adoption of software systems in areas where requirement violations may lead to financial loss or loss of life. Many of these software systems need to deliver not only high integrity but also self adaptation to the continual changes that characterise such application areas. A challenge long solved by control theory for continuous-behaviour systems was thus reopened in the realm of software systems. Software engineering needs to embark on a quest for self-adaptive high-integrity software. This paper explains the growing need for software capable of both self-adaptation and high integrity, and explores the starting point for the quest to make it a reality. We overview emerging techniques for the engineering of self-adaptive high-integrity software, propose a service-based architecture that aims to integrate these techniques, and discuss opportunities for future research.