search menu icon-carat-right cmu-wordmark

Error Model Version 2

June 2016 Software

The Error Model Annex, Version 2 (EMV2), notation for architecture fault modeling supports safety, reliability, and security analyses as part of the OSATE toolset.

Publisher:

GitHub

Abstract

The Error Model Annex, Version 2 (EMV2), notation for architecture fault modeling and analysis supports automated safety, reliability, and security analyses from an annotated architecture model to ensure consistency across analysis results. EMV2 augments architecture models expressed in the Architecture Analysis & Design Language with fault information to characterize anomalous conditions. In addition, EMV2 introduces the concept of error types to characterize exceptional conditions and their propagation. Finally, EMV2 allows users to specify which system components are expected to detect, report, and manage anomalous conditions and their propagation and to reflect the effects of recovery and repair actions as error behavior states.