Introducing OpenCert: Evolutionary Assurance and Certification for Safety-Critical Systems
OpenCert is an assurance and certification tool framework for safety-critical embedded systems that spans different vertical markets for railway, avionics and automotive industries. OpenCert supports: standards & regulations information management (e.g. DO178C, ISO26262, EN 50128/50126/50129, etc.), in a form that can be stored, retrieved, categorized, associated, searched and browsed. OpenCert also supports guidance and re-use of assurance artefacts, including automation of the most labor-intensive activities (e.g., traceability, compliance checking, assurance process planning, and metrics management, among others), as well as providing facilities to integrate the engineering activities with the certification activities from early stages. OpenCert tools include web-based compliance management to help 'engineers' assess where they are with respect to their duties to conform to safety practices and standards, and still to motivate them to see the effective progress of the work and level of compliance. Last but not least, it supports modular and incremental certification to enable cost-effective reuse of pre-qualified building blocks in different contexts (e.g., systems, configurations, upgrades).
In this talk, we show the OpenCert use in the automotive domain, to develop SEooC (Safety Element Out Of Context) system components. In the SafeAdapt project we pursuit to define a Generic Adaptation Mechanism (GAM) which will provide a fail-operational functionality developing an adaptive generic mechanism. One of the main challenges in the component development is to carry it out in such a way that it can be reused between different platforms. To do so, a SEooC approach which is defined in ISO 26262-10, has been pursued and a general error handling defined. The next challenge was that ISO 26262 does not provide recommendations when applied it on adaptive systems. In order to share the same understanding of the standard both the SEooC development team and the item development team need to be aligned. The talk demonstrates how OpenCert is used to model SEooC components and its integration, assumptions validation, safety case specification, compliance management, and work products management.
Speaker(s): Huascar Espinoza [TECNALIA], Alejandra Ruiz [TECNALIA]