Public release of the DEIS tools for semi-automatic synthesis & evaluation of DDIs
The software tools found in this repository have been developed to enable a number of design-time operations on Cyber-Physical Systems using Digital Dependability Identities (DDIs). Initial development was performed as part of the Dependability Engineering Innovation for CPS (DEIS) European research project.
Features include:
- Model exchange across tools that support the provided common tool adapter
- Support for script-based creation of DDIs
- Support for script-based integration of DDIs
- Support for script-based validation of DDIs
- Support for script-based evaluation of DDIs
- Under 'Documentation', you can find appropriate guides and information for acquiring, deploying and using the provided tools
- Under 'Examples', you can find example models and scripts that use the provided tools
- Under 'ODE_Metamodel', you can find a working copy of the Open Dependability Exchange (ODE) metamodel; it is the DDI metamodel. A dedicated repository for the ODE's development can be found here
- Under 'ODE_ToolAdapter', you can find the common tool adapter; this tool enables (via Apache Thrift) the exchange of models across tools that support it
- Under 'Scripts', you can find various scripts (in one of the Epsilon languages), supporting part of the functionality described above
The work provided here uses the following open-source software:
- Apache Thrift under the Apache License 2.0
- Apache Log4j2 under the Apache License 2.0
- picocli under the Apache License 2.0
- slf4j under the MIT License
- cod under the MIT License - Used to generate the API documentation and is not part of the source code provided here
- MkDocs under the BSD License - Used to generate the API documentation and is not part of the source code provided here