Automated Generation of Failure Modes and Effects Analyses from AADL Architectural and Error Models
2010
26 pages
Report
Keine Angabe
Englisch
Computers, Control & Information Theory , Automation , Failure , Qualitative analysis , Quantitative analysis , Reliability , Risk , Safety , Standardization , Systems engineering , Aadl(Architecture analysis and design language) , Criticality analyses , Error models , Expected behavior , Fmea(Failure modes and effects analyses) , Hardware failures , Recovery behavior , Software failures , Stochastic analysis , System architecure , System effects
British Library Conference Proceedings | 2008
|SW Architectural Modeling and Assurance with AADL
NTRS | 2012
|Using AADL to Assess Architectural Concerns for Cyber Security
SAE Technical Papers | 2023
|NTIS | 2021
|Execution-based Verification of AADL Models
NTIS | 2019
|