Instantiating the Error Model Version 2 (EMV2) Annex

The Error Model Version 2 (EMV2) Annex is a standardized sublanguage of the Architecture Analysis & Design Language (AADL) and is used to annotate AADL models with information about how components can fail, how those failures can be propagated to other components in the system, and how components can respond and possibly recover from these failures. In 2015, SAE International published the standard for the EMV2 language. The Software Engineering Institute (SEI) recently completed an effort to define an instance model and build an instantiator for EMV2 that compiles textual EMV2 into a format that is easily processed by analyses. The EMV2 Instance Model is included in the Open Source AADL Tool Environment (OSATE) and has been available since Version 2.13.0. This report (1) documents the structure of the instance model so that it can be effectively used by an analysis writer, (2) describes some of the challenges encountered when defining it, and (3) explains the rationale used when choosing its current structure.