A Study of Quality Assurance and Unit Verification Methods in Safety Critical Environment
Authors: Miklos Taliga
In the present case study we examined the development and testing methods of systems that contain safety-critical elements in different industrial fields. Consequentially, we observed the classical object-oriented development and testing environment, as both medical technology and automobile industry approaches the development of safety critical elements that way. Subsequently, we examined model-based development. We introduce the quality parameters that define development and testing. While taking modern agile methodology (scrum) into consideration, we examined whether and to what extent the methodologies we found fit into this environment.
Keywords: Safety-critical elements, quality management, unit verification, model base testing, agile methods, scrum, metamodel, object-oriented programming, field specific modelling, sprint, user story, UML Standard.
Digital Object Identifier (DOI): doi.org/10.5281/zenodo.1129143Procedia APA BibTeX Chicago EndNote Harvard JSON MLA RIS XML ISO 690 PDF Downloads 669
 MATLAB – Simulink http://www.mathworks.com/products/simulink/
 ISO/IEC 12207:2008. Systems and software engineering -- Software life cycle processes.
 IEC 62304:2006. Medical device software -- Software life cycle processes.
 IEC 60601-1 Medical Electrical Equipment Package, 2009.
 IEC 61508-3 Functional Safety of Electrical/Electronic/Programmable Electronic Safety-related Systems.
 ISO 14971:2007. Medical devices -- Application of risk management to medical devices. ISO13485:2003: Medical devices -- Quality management systems -- Requirements for regulatory purposes.
 Model-based test generation - http://www.cis.upenn.edu/~rtg/testgen/
 Paul E. Ammann, Paul E. Black, and William Majurski, Using Model Checking to Generate Tests from Specifications, Proceedings of ICFEM'98, Brisbane, Australia (December 1998)
 B. Legeard et al : BZ-Testing-Tools: A Tool-Set for Test Generation from Z and B using Constraint Logic Programming, In proc. of FATES'02, Formal Approaches to Testing of Software, 2002
 UML 2.x component diagram (an Agile introduction) - http://agilemodeling.com/artifacts/componentDiagram.htm
 Medical device software standard IEC 62304 et al: http://www.chemgineering.com/en/Scientific%20Articles/$/Medical-device-software-standard-IEC-62304-et-al./22