Article
Version 1
Preserved in Portico This version is not peer-reviewed
Method of Safety-Related Software Development and Its Verification & Validation for Small Digital Devices
Version 1
: Received: 14 June 2024 / Approved: 14 June 2024 / Online: 19 June 2024 (10:51:51 CEST)
How to cite: Kim, J. Method of Safety-Related Software Development and Its Verification & Validation for Small Digital Devices. Preprints 2024, 2024061038. https://doi.org/10.20944/preprints202406.1038.v1 Kim, J. Method of Safety-Related Software Development and Its Verification & Validation for Small Digital Devices. Preprints 2024, 2024061038. https://doi.org/10.20944/preprints202406.1038.v1
Abstract
This paper proposes a methodology for the development and its Verification and Validation(V&V) of safety-rated software. The development methodology is based on the structured analysis and structured design methodology, which has been proven in the field of safety software development during long period. The suggested the development and the V&V methodology additionally focuses on the quality attributes 3C+T (completeness, Correctness, Consistency and traceability), which are important criteria in IEC international standards. The software development life cycle is compiled from IEC international standardization, which are of the requirements analysis phase, design phase, implementation phase, testing phase, installation/commissioning phase, and operation & maintenance phases. The activities of the development process method were defined from requirements analysis to implementation, and the activities of the verification and validation were defined to include the scope of the developer's activities and then to include the test phase, installation/commissioning phase, and operation phases additionally. In other words, testing phase performed by the developer was defined as informal testing, and testing performed by the verifier according to test criteria, test plans, and test procedures was defined as formal testing. According to proposed methodology, the requirements phase defines the sequence of Entity Relationship Diagram (ERD)-Context Diagram-Data Flow Diagram (DFD), functional decomposition process and defines operational scenario. In the design phase, module design such as task analysis and task allocation were defined. In the implementation phase, we listed the coding guidelines that must be followed for safety-related system. The test phase defined the test criteria, test plan, test procedure, and test result report activities. In the installation/commissioning and operation phases, recommendations for improving reliability, quality, and safety were proposed for deliverables such as user documentation and technical documentation.
Keywords
development; methodology; software configuration management; software safety analysis; software qualification; software quality assurance; safety-related; verification and validation
Subject
Computer Science and Mathematics, Software
Copyright: This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
Comments (0)
We encourage comments and feedback from a broad range of readers. See criteria for comments and our Diversity statement.
Leave a public commentSend a private comment to the author(s)
* All users must log in before leaving a comment