Planning for Safety Standards Compliance: A Model-Based Tool-Supported Approach (original) (raw)

Certification : Methods and Tools 1 Executive Summary

2013

With the pervasive deployment of software in dependable systems used in everyday life, society is increasingly demanding that software used in critical systems must meet minimum safety, security and reliability standards. Certification is the procedure by which an authorized person or agency assesses and verifies characteristics of a system or product in accordance with established requirements, standards, or regulations. For software, it encompasses traditional notions of verification, but also includes the evidence, tools, methods, and personnel qualifications that are needed to convince the certification authority that the system or product conforms to the relevant standard. Manufacturers of these systems need consistent and effective guidelines as to what constitutes acceptable evidence of software quality, and how to achieve it. Compared to process-oriented certification procedures, recent approaches provide evidence for dependability by the thorough evaluation of the product i...

Documentation and Proof-of-Compliance

2018

What This Chapter Is About We discuss issues related to process and necessary documentation. What is needed by the manufacturer and the assessors, and why. We discuss the level of trust between the assessor and the manufacturer. Reuse of information and documentation. Use of templates. Which information can be available as part of tools and which documentation should be documented in, for example, named documents. An overview of relevant proof of compliance documents. Which documents are developed by the SafeScrum ® team and which documents are developed by the alongside engineering team.

Facilitating Automated Compliance Checking in the Safety-critical Context

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2018

In some safety-critical domains, the applicable safety standards prescribe a safety lifecycle and process-related requirements. Process plans in accordance with the prescribed requirements are essential pieces of evidence for compliance assessment with such standards. However, providing this evidence is time-consuming and prone-to-error since safety standards are large, natural language-based documents with hundreds of requirements. Besides, a company may have many safety-critical-related processes to be checked. In this paper, we propose a novel approach that combines process modeling and compliance checking capabilities to provide the analysis required to conclude whether a process model corresponds to the model with compliant states. Hitherto, our proposed methodology has been evaluated with academic examples that show the potential benefits of its use.

Design and development of certification compliance tool for airborne systems

2017 International Conference on Advances in Computing, Communications and Informatics (ICACCI), 2017

Certification compliance check for airborne software is very critical as it aids in the certification of the software. Since this compliance check is performed manually which is time-consuming and erroneous, an in-house developed Certification Compliance Tool (CCT) helps in checking the compliance as per RTCA DO-178B/C and generate artifacts depicting the magnitude of compliance. In order to generate the magnitude of compliance for the artifacts with respect to the Civil Aerospace Certification standard, RTCA DO-178B/C, an effective parsing technique is required to be incorporated to parse the artifact/s and generate compliance metric for the artifact/s. In this paper we propose a novel approach used in the design and development of an effective and efficient parsing technique incorporated in the indigenous software tool CCT used for compliance check. The tool checks the ratio of compliance of the artifacts generated across various phases of Software Development Life Cycle (SDLC) pr...