Accession Number N20130010381
Title Investigating System Dependability Modeling Using AADL.
Publication Date Feb 2013
Media Count 62p
Personal Author B. Hall G. Madl K. R. Driscoll
Abstract This report describes Architecture Analysis & Design Language (AADL) models for a diverse set of fault-tolerant, embedded data networks and describes the methods and tools used to created these models. It also includes error models per the AADL Error Annex. Some networks were modeled using Error Detection Isolation Containment Types (EDICT). This report gives a brief description for each of the networks, a description of its modeling, the model itself, and evaluations of the tools used for creating the models. The methodology includes a naming convention that supports a systematic way to enumerate all of the potential failure modes.
Keywords Containment
Detection
Embedding
Error analysis
Errors
Failure modes
Fault tolerance
Models


 
Source Agency National Aeronautics and Space Administration
NTIS Subject Category 62 - Computers, Control & Information Theory
Corporate Author National Aeronautics and Space Administration, Hampton, VA. Langley Research Center.
Document Type Technical report
Title Note N/A
NTIS Issue Number 1319
Contract Number NNL10AB32T

Science and Technology Highlights

See a sampling of the latest scientific, technical and engineering information from NTIS in the NTIS Technical Reports Newsletter

Acrobat Reader Mobile    Acrobat Reader