SACM ACEditor

An OMG standard compliant model-based tool that supports the specification of Assurance Cases for Safety-Critical Systems.

About

This tool comprises a graphical editor that supports the specification of assurance case in compliance with OMG Structured Assurance Case Metamodel (SACM) version 2.2.

Installation

The Eclipse update site for the latest version of the SACM ACEditor including the GSN constraints extensions and MBAC Instantiation can be found here. For the instalation due to dependencies issues we recomend the Eclipse Epsilon.

Step by Step

Help > Install new Software
Add a name and the update site url
Select the features
Verify if all features can be installed
Confirm licence agreements
Install our third part plugins
Restart Eclipse

Example

We have built an eclipse workspace containing few examples built using these tools.

Video

We have made a short video here showing few examples and usage.