Safety Standards demand that industrial applications demonstrate they have the required safety integrity and this starts with the initial requirements phase. This paper shows how the Problem Oriented Software Engineering (POSE) framework, in conjunction with the Alloy formal method, supports this task through its ability to elaborate, transform and analyse the project requirements and thus develop a solution for an avionics case study. In particular, this work reports on how the POSE/Alloy combination was used in conjunction with the POSE safety pattern to improve the requirements analysis capabilities of an existing, successful safety critical development process.
%0 Conference Paper
%1 mannering_08_safety
%A Mannering, Derek
%A Hall, Jon G.
%A Rapanotti, Lucia
%D 2008
%J Improvements in System Safety
%K 2008 _hardcopy alloy
%P 25--41
%R 10.1007/978-1-84800-100-8_3
%T Safety Process Improvement with POSE and Alloy
%U http://dx.doi.org/10.1007/978-1-84800-100-8_3
%X Safety Standards demand that industrial applications demonstrate they have the required safety integrity and this starts with the initial requirements phase. This paper shows how the Problem Oriented Software Engineering (POSE) framework, in conjunction with the Alloy formal method, supports this task through its ability to elaborate, transform and analyse the project requirements and thus develop a solution for an avionics case study. In particular, this work reports on how the POSE/Alloy combination was used in conjunction with the POSE safety pattern to improve the requirements analysis capabilities of an existing, successful safety critical development process.
@inproceedings{mannering_08_safety,
abstract = {Safety Standards demand that industrial applications demonstrate they have the required safety integrity and this starts with the initial requirements phase. This paper shows how the Problem Oriented Software Engineering (POSE) framework, in conjunction with the Alloy formal method, supports this task through its ability to elaborate, transform and analyse the project requirements and thus develop a solution for an avionics case study. In particular, this work reports on how the POSE/Alloy combination was used in conjunction with the POSE safety pattern to improve the requirements analysis capabilities of an existing, successful safety critical development process.},
added-at = {2009-02-12T12:06:36.000+0100},
author = {Mannering, Derek and Hall, Jon G. and Rapanotti, Lucia},
biburl = {https://www.bibsonomy.org/bibtex/236a8a44fdcf33b4fdc46ec10360f0a8e/leonardo},
citeulike-article-id = {3466551},
doi = {10.1007/978-1-84800-100-8_3},
interhash = {370c0a9aa30012f5a3428275732a8038},
intrahash = {36a8a44fdcf33b4fdc46ec10360f0a8e},
journal = {Improvements in System Safety},
keywords = {2008 _hardcopy alloy},
pages = {25--41},
posted-at = {2008-10-30 19:22:22},
priority = {2},
timestamp = {2009-02-12T12:06:36.000+0100},
title = {Safety Process Improvement with POSE and Alloy},
url = {http://dx.doi.org/10.1007/978-1-84800-100-8_3},
year = 2008
}