kirancodes.me
To Proof Maintenance & Beyond!

Computational alignment of goals and scenarios for complex systems

Dalal Alrajeh, Alessandra Russo, James Lockerbie, Neil A. M. Maiden, Alistair Mavin, Mark Novak

Abstract

The purpose of requirements validation is to determine whether a large requirements set will lead to the achievement of system-related goals under different conditions — a task that needs automation if it is to be performed quickly and accurately. One reason for the current lack of software tools to undertake such validation is the absence of the computational mechanisms needed to associate scenario, system specification and goal analysis tools. Therefore, in this paper, we report first research experiments in developing these new capabilities, and demonstrate them with a non-trivial example associated with a Rolls Royce aircraft engine software component.

BibTeX
@inproceedings{Alrajeh-al:ICSE13,
  author    = {Dalal Alrajeh and
               Alessandra Russo and
               James Lockerbie and
               Neil A. M. Maiden and
               Alistair Mavin and
               Mark Novak},
  title     = {Computational alignment of goals and scenarios for complex systems},
  booktitle = {ICSE},
  pages     = {1249--1252},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
}

Related papers