Open Access Open Access  Restricted Access Subscription or Fee Access

Dependability Model for Decomposition and Allocation of System Safety Integrity Levels of Software Quality


(*) Corresponding author


Authors' affiliations


DOI: https://doi.org/10.15866/irecos.v10i11.7925

Abstract


The aim of this paper is to propose a consensual model of software safety requirements for decomposition and allocation of system safety integrity levels of quality. For this purpose, a procedural method is used for describing and evaluating the proposed model of software safety requirements; using a strategy that is based neither on our own views nor on individual researchers view of such type of requirements, but that is based on a consensus perspectives documented in international standards of software safety as quality requirements. This work contributes to the research knowledge by proposing a model that guides in practice both system and software engineers for early identification and specification of the software safety non functional requirements and their detailed allocation as specific safety functions.
Copyright © 2015 Praise Worthy Prize - All rights reserved.

Keywords


Software Engineering; Safety Requirements; International Standards; Safety Measurement; Non Functional Requirements (NFR)

Full Text:

PDF


References


Khalid T. Al-Sarayreh, "A Quality Requirements Safety Model for Embedded and Real Time Software Product Quality", 14th International Conference on Applied Computer and Applied Computational, 22-24 April, Kuala lampore, WSEAS, 2015.

Cheng-Yu Liu, Development and verification of software component level fault injection for safety-critical automotive Ethernet control system, Proceedings of the 9th WSEAS International Conference on Computer Engineering & Applications. Dubai, United Arab Emirates, February 2015 pp. 366-375.

J. Börcsök, P. Holub, Consideration of Common Cause Failures in Safety Systems, Proceedings of the 7th WSEAS International Conference on Applied Computer and Applied Computational Science. Stevens Point, Wisconsin, USA, 2008, pp. 228-235.

Abran, A., K. T. Al-Sarayreh, and J. J. Cuadrado-Gallego, "A Standards-based Reference Framework for System Portability Requirements", Computer Standards and Interface, Elsevier, 2013.
http://dx.doi.org/10.1016/j.csi.2012.11.003

Al-Sarayreh, K. T., A. Abran and and J. J. Cuadrado-Gallego, " A Standards-based model of system maintainability requirements", Journal of Software: Evolution and Process, John Wiley & Sons, Ltd, 2013.
http://dx.doi.org/10.1002/smr.1553

Meridji, Kenza, Khalid T. Al-Sarayreh, and Ahmad Al-Khasawneh. "A generic model for the specification of software reliability requirements and measurement of their functional size." International Journal of Information Quality 3, no. 2 (2013): 139-163.
http://dx.doi.org/10.1504/ijiq.2013.054279

Al-Sarayreh, Khalid T., Ibrahim Al-Oqily, and Kenza Meridji. "A standard-based reference framework for system operations requirements." International Journal of Computer Applications in Technology 47, no. 4 (2013): 351-363.
http://dx.doi.org/10.1504/ijcat.2013.055328

Al-Sarayreh, Khalid T., Ibrahim Al-Oqily, and Kenza Meridji. "A standard based reference framework for system adaptation and installation requirements." In Next Generation Mobile Applications, Services and Technologies (NGMAST), 2012 6th International Conference on, pp. 7-12. IEEE, 2012.
http://dx.doi.org/10.1109/ngmast.2012.19

Al-Sarayreh, Khalid T., Kenza Meridji, Ebaa Fayyoumi, and Sahar Idwan. "A Novel Approach to Build a Generic Model of Photovoltaic Solar System Using Sound Biometric Techniques." International Journal of Information Technology and Web Engineering (IJITWE) 9, no. 1 (2014): 31-44.
http://dx.doi.org/10.4018/ijitwe.2014010103

ECSS-E-40-Part-2B, Space Engineering: Software-part 2 Document Requirements Definitions, European Cooperation for Space Standardization, The Netherlands, 2005.

ECSS-ESA, Tailoring of ECSS, Software Engineering Standards for Ground Segments, Part C: Document Templates, ESA Board of Standardization and Control (BSSC), 2005.

ECSS-E-ST-10C, Space engineering: System engineering general requirements, Requirements & Standards Division Noordwijk, The Netherlands, 2009.

ECSS-Q-ST-80C, Space Product Assurance: Software Product Assurance, Requirements & Standards Division Noordwijk, The Netherlands, 2009.

ISO/DIS 26262-1, "Road vehicles — Functional safety — Part 1 Glossary", International Organization for Standardization,Geneva (Switzerland), 2011.

ISO/IEC-19761, "Software Engineering - COSMIC v 3.1 - A Functional Size Measurement Method", International Organization for Standardization, Geneva (Switzerland), 2011.

ISO/IEC-25010, Software Engineering -- Product Quality -- Part 1: Quality Model 25010, International Organization for Standardization, Geneva (Switzerland), 2012.
http://dx.doi.org/10.5220/0005097303630368

Xue Wu; Chao Liu; Qingxin Xia, "Safety requirements modeling based on RUCM," Computing, Communications and IT Applications Conference (ComComAp), 2014 IEEE , vol., no., pp.217,222, 20-22 Oct. 2014
http://dx.doi.org/10.1109/comcomap.2014.7017199

Kumari, S.; Kondeti, G.; Pakki, S.; Chandrasekhar, T.L.V.; Balu, S., "Method of safety critical requirements flow in product life cycle processes," Integrated Communications, Navigation and Surveilance Conference (ICNS), 2011 , vol., no., pp.N2-1,N2-4, 10-12 May 2011
http://dx.doi.org/10.1109/icnsurv.2011.5935349

Zhensheng Guo; Zeckzer, D.; Liggesmeyer, P.; Mackel, O., "Identification of Security-Safety Requirements for the Outdoor Robot RAVON Using Safety Analysis Techniques," Software Engineering Advances (ICSEA), 2010 Fifth International Conference on , vol., no., pp.508,513, 22-27 Aug. 2010
http://dx.doi.org/10.1109/icsea.2010.86

Chang Wei; Bao Xiaohong; Li Xuefei, "A Study on Airborne Software Safety Requirements Patterns," Software Security and Reliability-Companion (SERE-C), 2013 IEEE 7th International Conference on , vol., no., pp.131,136, 18-20 June 2013
http://dx.doi.org/10.1109/sere-c.2013.44

Sunindyo, W.; Melik-Merkumians, M.; Moser, T.; Biffl, S., "Enforcing safety requirements for industrial automation systems at runtime position paper," Requirements@Run.Time (RE@RunTime), 2011 2nd International Workshop on , vol., no., pp.37,42, 30-30 Aug. 2011
http://dx.doi.org/10.1109/reruntime.2011.6046246

Katta, V.; Raspotnig, C.; KARPATI, P.; Stalhane, T., "Requirements Management in a Combined Process for Safety and Security Assessments," Availability, Reliability and Security (ARES), 2013 Eighth International Conference on , vol., no., pp.780,786, 2-6 Sept. 2013
http://dx.doi.org/10.1109/ares.2013.104

da Silva Azevedo, L.; Parker, D.; Walker, M.; Papadopoulos, Y.; Esteves Araujo, R., "Assisted Assignment of Automotive Safety Requirements," Software, IEEE , vol.31, no.1, pp.62,68, Jan.-Feb. 2014
http://dx.doi.org/10.1109/ms.2013.118

Vyas, P.; Mittal, R.K., "Eliciting additional safety requirements from use cases using SFTA," Recent Advances in Information Technology (RAIT), 2012 1st International Conference on , vol., no., pp.163,169, 15-17 March 2012
http://dx.doi.org/10.1109/rait.2012.6194499

Forsberg, K.; Isaksson, E.M.; Gallina, B.; Lundqvist, K.; Penna, A., "Elaboration of safety requirements," Digital Avionics Systems Conference (DASC), 2013 IEEE/AIAA 32nd , vol., no., pp.7C2-1,7C2-9, 5-10 Oct. 2013
http://dx.doi.org/10.1109/dasc.2013.6719721

Menon, C.; Kelly, T., "Managing safety requirements across supply chains," System Safety 2010, 5th IET International Conference on , vol., no., pp.1,6, 18-20 Oct. 2010
http://dx.doi.org/10.1049/cp.2010.0826

Trenkle, A.; Seibold, Z.; Stoll, T., "Safety requirements and safety functions for decentralized controlled autonomous systems," Information, Communication and Automation Technologies (ICAT), 2013 XXIV International Symposium on , vol., no., pp.1,6, Oct. 30 2013-Nov. 1 2013
http://dx.doi.org/10.1109/icat.2013.6684063

Vicentini, Federico; Pedrocchi, Nicola; Giussani, Matteo; Molinari Tosatti, Lorenzo, "Dynamic safety in collaborative robot workspaces through a network of devices fulfilling functional safety requirements," ISR/Robotik 2014; 41st International Symposium on Robotics; Proceedings of , vol., no., pp.1,7, 2-3 June 2014

Galvao Martins, L.E.; de Oliveira, T., "A case study using a protocol to derive safety functional requirements from Fault Tree Analysis," Requirements Engineering Conference (RE), 2014 IEEE 22nd International , vol., no., pp.412,419, 25-29 Aug. 2014
http://dx.doi.org/10.1109/re.2014.6912292

Shahrokni, A.; Feldt, R., "Industrial Challenges with Quality Requirements in Safety Critical Software Systems," Software Engineering and Advanced Applications (SEAA), 2013 39th EUROMICRO Conference on , vol., no., pp.78,81, 4-6 Sept. 2013.
http://dx.doi.org/10.1109/seaa.2013.57

IEEE-Std-830, "IEEE Recommended Practice for Software Requirements Specifications", IEEE, 1998.
http://dx.doi.org/10.1109/ieeestd.1994.121431

IEEE-1220,"IEEE Standard for Application and Management of the Systems Engineering Process", IEEE Computer Society, First edition, 2007.

IEEE-1228," IEEE Standard for Software Safety Plans", IEEE, 1994.
http://dx.doi.org/10.1109/ieeestd.1994.122165

L. Chung and J. do Prado Leite, "On Non-Functional Requirements in Software Engineering," in Conceptual Modeling: Foundations and Applications, Lecture Notes in Computer Science, Springer Berlin / Heidelberg, vol. 5600, pp. 363-379, 2009.
http://dx.doi.org/10.1007/978-3-642-02463-4_19

W. Ma, L. Chung, and K. Cooper, "Assessing Component’s Behavioral Interoperability Concerning Goals," in On the Move to Meaningful Internet Systems: OTM 2008 Workshops, Lecture Notes in Computer Science, Springer Berlin / Heidelberg, pp. 452-462, 2008.
http://dx.doi.org/10.1007/978-3-540-88875-8_67

IEEE, Guide to the Software Engineering Body of Knowledge, IEEE Computer Society Press, 2014.

Texas Instruments Incorporated, http://www.ti.com/lit/ds/symlink/tms570ls0232.pdf, 2014.


Refbacks

  • There are currently no refbacks.


Please send any question about this web site to info@praiseworthyprize.com
Copyright © 2005-2024 Praise Worthy Prize