Mendonça, D.F., Nunes Rodrigues, G., Alves, V., Ali, R. and Baresi, L., 2016. GODA: A goal-oriented requirements engineering framework for runtime dependability analysis. Information and Software Technology, 80 (Dec), 245- 264.
Full text available as:
|
PDF
Danilo_Mendonca_et_al_IST_2016_GODA_A_Goal_Oriented_Requirements_Engineering_Framework_for_Runtime_Dependability_Analysis.pdf - Accepted Version Available under License Creative Commons Attribution Non-commercial No Derivatives. 10MB | |
Copyright to original material in this document is with the original owner(s). Access to this content through BURO is granted on condition that you use it only for research, scholarly or other non-commercial purposes. If you wish to use it for any other purposes, you must contact BU via BURO@bournemouth.ac.uk. Any third party copyright material in this document remains the property of its respective owner(s). BU grants no licence for further use of that third party material. |
DOI: 10.1016/j.infsof.2016.09.005
Abstract
Many modern software systems must deal with changes and uncertainty. Traditional dependability requirements engineering is not equipped for this since it assumes that the context in which a system operates be stable and deterministic, which often leads to failures and recurrent corrective maintenance. The Contextual Goal Model (CGM), a requirements model that proposes the idea of context-dependent goal fulfillment, mitigates the problem by relating alternative strategies for achieving goals to the space of context changes. Additionally, the Runtime Goal Model (RGM) adds behavioral constraints to the fulfillment of goals that may be checked against system execution traces. Objective: This paper proposes GODA (Goal-Oriented Dependability Analysis) and its supporting framework as concrete means for reasoning about the dependability requirements of systems that operate in dynamic contexts. Method: GODA blends the power of CGM, RGM and probabilistic model checking to provide a formal requirements specification and verification solution. At design time, it can help with design and implementation decisions; at runtime it helps the system self-adapt by analyzing the different alternatives and selecting the one with the highest probability for the system to be dependable. GODA is integrated into TAO4ME, a state-of-the-art tool for goal modeling and analysis. Results: GODA has been evaluated against feasibility and scalability on Mobee: a real-life software system that allows people to share live and updated information about public transportation via mobile devices, and on larger goal models. GODA can verify, at runtime, up to two thousand leaf-tasks in less than 35ms, and requires less than 240 KB of memory. Conclusion: Presented results show GODA's design-time and runtime verification capabilities, even under limited computational resources, and the scalability of the proposed solution.
Item Type: | Article |
---|---|
ISSN: | 0950-5849 |
Uncontrolled Keywords: | Goal modeling; Dependability; Probabilistic Model Checking; Runtime Analysis |
Group: | Faculty of Science & Technology |
ID Code: | 24830 |
Deposited By: | Symplectic RT2 |
Deposited On: | 07 Oct 2016 12:58 |
Last Modified: | 14 Mar 2022 13:59 |
Downloads
Downloads per month over past year
Repository Staff Only - |