This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
Automatic Detection of Incomplete and Inconsistent Safety Requirements
Technical Paper
2015-01-0268
ISSN: 0148-7191, e-ISSN: 2688-3627
Annotation ability available
Sector:
Language:
English
Abstract
Evidence has shown that the lack of traceability between safety requirements and both architecture and failure propagation models is a key reason for the incompleteness and inconsistency of safety requirements, and, consequently, a root cause of safety incidents. In this regard, this paper presents checks for the automatic detection of incompleteness and inconsistency of safety requirements with respect to failure propagation models and architecture. First, the notion of safety requirements completeness and consistency was decomposed into small manageable pieces called Safety Requirement Completeness and Consistency Criteria. Breaking the complex notions of completeness and consistency into finer grains was important to allow systematic and precise elaboration of the completeness and consistency checks. Next, each Safety Requirement Completeness and Consistency Criteria was formalized using Set Theory notation, which, despite being a lightweight formalism, is sufficiently accurate to represent problem-specific knowledge, and can be used as a solid basis for automation using different technology platforms. Last, in order to concretize the checks formalized with Set Theory notation, they were realized with OCL, chosen because its expressions do not have the ambiguity of natural languages and are not difficult to use in real development environments, unlike more formal specification languages such as Z. It has been observed that these checks are solid and practical enough to support safety engineers in detecting incomplete and inconsistent safety requirements, and, consequently, for improving the detection of incompleteness and inconsistency of safety requirements with respect to architecture and failure propagation models.
Authors
Topic
Citation
Antonino, P., Trapp, M., and Venugopal, A., "Automatic Detection of Incomplete and Inconsistent Safety Requirements," SAE Technical Paper 2015-01-0268, 2015, https://doi.org/10.4271/2015-01-0268.Also In
References
- Hatcliff J. , Wassyng A. , Kelly T. , Comar C. and Jones P. Certifiably safe software-dependent systems: challenges and directions Future of Software Engineering (FOSE 2014) Hyderabad, India 2014
- Adler , R. Introducing Quality Attributes for a Safety Concept SAE Technical Paper 2013-01-0194 2013 10.4271/2013-01-0194
- Maeder P. , Jones P. L. , Zhang Y. and Cleland-Huang J. Strategic Traceability for Safety-Critical Projects IEEE Software 30 3 58 68 2013
- Cleland-Huang J. , Goetel O. , Hayes J. Huffman , Maeder P. and Zisman A. Software traceability: trends and future directions Future of Software Engineering - FOSE 2014 Hyderabad, India 2014
- Cleland-Huang J. , Mats H. , Hayes J. Huffman , Lutz R. and Maeder P. Trace queries for safety requirements in high assurance systems 18th International conference on Requirements Engineering: foundation for software quality - REFSQ'12 Essen, Germany 2012
- Antonino P. O. , Keuler T. , Germann N. and Cronauer B. A Non-Invasive Approach to Trace Architecture Design, Requirements Specification, and Agile Artifacts 23rd Australian Software Engineering Conference (ASWEC) Sydney, Australia 2014
- Heimdahl M. P. E. and Leveson N. G. Completeness and Consistency in Hierarchical State-Based Requirements IEEE Transactions on Software Engineering 22 6 1996
- Halmos P. R. Naive Set Theory New York, NY, USA Springer-Verlag 1960
- Guo B. , Shen Y. and Zhang C. The Hardware-Software Co-design and Co-verification of SoC for an Embedded Home Gateway Fifth IEEE International Symposium on Embedded Computing 2008 2008
- Wang X. , He F. and Liu L. Application of Rough Set Theory to Intrusion Detection System IEEE International Conference on Granular Computing Fremont, CA 2007
- Muehlhauser L. Transparency in Safety-Critical Systems Machine Intelligence Research Institute 25 08 2013 http://intelligence.org/2013/08/25/transparency-in-safety-critical-systems/ Oct. 6 2014
- Object Management Group - OMG Object Constraint Language OMG 2014
- Hillenbrand M. , Heinz M. , Müller-Glaser K. D. , Adlery N. , Matheisz J. , Reichman C. An approach for rapidly adapting the demands of ISO/DIS 26262 to electric/electronic architecture modelling 21st IEEE International Symposium on Rapid System Prototyping Fairfax, VA, USA 2010
- Zowghi D. and Gervasi V. On the Interplay between Consistency, Completeness, and Correctness in Requirements Evolution Journal of Information and Software Technology 46 11 763 779 2004
- Leveson N. G. Safeware: System Safety and Computers New York, NY, USA Addison-Wesley 1995
- Glinz M. and Wieringa R. RE@21 spotlight: Most influential papers from the requirements engineering conference 21st IEEE International Requirements Engineering Conference (RE) Rio de Janeiro, Brazil 2013
- Easterbrook S. and Nuseibeh B. Managing inconsistencies in an evolving specification Second IEEE International Symposium on Requirements Engineering 1995
- Antonino P. O. and Trapp M. Improving Consistency Checks between Safety Concepts and View Based. Architecture Design PSAM12 - Probabilistic Safety Assessment and Management Conference Honolulu, Hawaii, USA 2014
- Stirewalt K. and Rugaber S. Automated Invariant Maintenance Via OCL Compilation Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems - MoDELS'05 Montego Bay, Jamaica 2005
- Pap Zs. , Majzik1 I. , Pataricza A. and Szegi A. Proc. IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop (DDECS'2001)
- Pap , Zsigmond and Majzik , István and Pataricza , András Checking General Safety Criteria on UML Statecharts Lecture Notes in Computer Science. Computer Safety, Reliability and Security Springer Berlin Heidelberg 2001
- Pap Zsigmond Dániel Varró: Static Safety Analysis of UML Action Semantics for Critical Systems Development Jahrestagung der Gesellschaft für Informatik e.V. (GI) Ulm 2004
- Heitmeyer Constance L. , Jeffords Ralph D. , and Labaw Bruce G. Automated consistency checking of requirements specifications ACM Trans. Softw. Eng. Methodol. 5 3 July 1996
- Scilingo G. , Novaira M.M , Degiovanni R. , Aguirre N. Analyzing formal requirements specifications using an off-the-shelf model checker CLEI 2013 1 9 7-11 Oct. 2013
- Van Der Straeten Ragnhild , Simmonds Jocelyn , and Mens Tom Detecting Inconsistencies between UML Models Using Description Logic Int'l Workshop on Description Logics DL 2003