GODA: A Goal-Oriented Requirements Engineering Framework for Runtime Dependability Analysis. Information and Software Technology

Danilo Filgueira Mendonca; Genaina Nunes Rodrigues; Vander Ramos Alves; Raian Ali; Luciano Baresi
Information and Software Technology
View details:  

Abstract

Context: 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 require- ments 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 high- est 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 kbytes 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.

BibTex references

@article{Mendonça2016245,
title = "GODA: A goal-oriented requirements engineering framework for runtime dependability analysis ",
journal = "Information and Software Technology ",
volume = "80",
number = "",
pages = "245 - 264",
year = "2016",
note = "",
issn = "0950-5849",
doi = "http://dx.doi.org/10.1016/j.infsof.2016.09.005",
url = "http://www.sciencedirect.com/science/article/pii/S0950584916301471",
author = "Danilo Filgueira Mendonça and Genaína Nunes Rodrigues and Raian Ali and Vander Alves and Luciano Baresi",
keywords = "Goal modeling",
keywords = "Dependability",
keywords = "Probabilistic model checking",
keywords = "Runtime analysis "
}

Other publications in the database