This site is dedicated to Assurance Case Management Environment (ACME). ACME is a Model-Based System Assurance tool that allows the creation of model-based assurance cases using notations such as the Goal Structuring Notation (GSN) from the Assurance Case Working Group (ACWG), and the Structured Assurance Case Metamodel (SACM) from the Object Management Group (OMG).