An Eclipse Epsilon-Based Safety Engineering Tool Framework for the Creation, Integration and Validation of Digital Dependability Identities

摘要

Creating and maintaining a safety case with all its supporting modeling artifacts such as architecture, failure logic or safety requirements is a tedious task, particularly when multi-tier supply chains must be bridged, and different safety engineering tools are used. Digital Dependability Identities (DDI) are model-based abstractions of the safety properties of a component, system or system of systems. DDIs conform to the Open Dependability Exchange (ODE) Metamodel, which formally integrates the OMGs Structured Assurance Case Metamodel (SACM) with evidence metamodels capturing the essence and relation between mentioned safety aspects. In this tool demonstration, we present a safety engineering tool framework that a) enables the creation, integration and validation of DDIs from different tools, b) supports automation for DDI analysis and c) facilitates common multi-tier supply chain problems such as intellectual property hiding or semi-automated integration safety analysis. The tool framework, developed in the H2020 DEIS Project, technically uses the Eclipse Modeling Framework to express metamodels and leverages from Eclipse Epsilon for model manipulation, transformation, and analysis.