국내 최대 기계 및 로봇 연구정보

기술보고서

기술보고서 게시판 내용
타이틀	Error Propagation Analysis in the SAE Architecture Analysis and Design Language (AADL) and the EDICT Tool Framework
저자	LaValley, Brian W.;; Little, Phillip D.;; Walter, Chris J.
Keyword	ARCHITECTURE (COMPUTERS); DESIGN ANALYSIS;; ERROR ANALYSIS;; ERRORS;; FAULT TOLERANCE;; RELIABILITY
URL	http://hdl.handle.net/2060/20110011615
보고서번호	NASA/CR-2011-217149
발행년도	2011
출처	NTRS (NASA Technical Report Server)
ABSTRACT	This report documents the capabilities of the EDICT tools for error modeling and error propagation analysis when operating with models defined in the Architecture Analysis & Design Language (AADL). We discuss our experience using the EDICT error analysis capabilities on a model of the Scalable Processor-Independent Design for Enhanced Reliability (SPIDER) architecture that uses the Reliable Optical Bus (ROBUS). Based on these experiences we draw some initial conclusions about model based design techniques for error modeling and analysis of highly reliable computing architectures.