TY  -  JOUR 
TI  - Using Models at Runtime to Address Assurance for Self-Adaptive Systems
PB  - Springer Verlag
PY  - 2014
issn 0302-9743
AB  - A self-adaptive software system modifies its behavior at runtime in response to changes within the system or in its execution environment. The fulfillment of the system requirements needs to be guaranteed even in the presence of adverse conditions and adaptations. Thus, a key challenge for self-adaptive software systems is assurance. Traditionally, confidence in the correctness of a system is gained through a variety of activities and processes performed at development time, such as design analysis and testing. In the presence of self-adaptation, however, some of the assurance tasks may need to be performed at runtime. This need calls for the development of techniques that enable continuous assurance throughout the software life cycle. Fundamental to the development of runtime assurance techniques is research into the use of models at runtime (M@RT).
KW  - Software
KW  - Computador
KW  - Sistema de software
KW  - Automatización y sistemas de control
KW  - Command and control system
UR  - http://repository.icesi.edu.co/biblioteca_digital/handle/10906/82391
ER  -