LEADER 01792nam 2200469Ia 450 001 9910700818003321 005 20111024130815.0 035 $a(CKB)5470000002412840 035 $a(OCoLC)758381649 035 $a(EXLCZ)995470000002412840 100 $a20111024d2011 ua 0 101 0 $aeng 135 $aurcn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aError propagation analysis in the SAE Architecture Analysis and Design Language (AADL) and the EDICT tool framework$b[electronic resource] /$fBrian W. LaValley, Philip D. Little, and Chris J. Walter 210 1$aHampton, Va. :$cNational Aeronautics and Space Administration, Langley Research Center,$d[2011] 215 $a1 online resource (29 pages) $ccolor illustrations 225 1 $aNASA/CR ;$v2011-217149 300 $aTitle from title screen (viewed on Oct. 24, 2011). 300 $a"May 2011." 320 $aIncludes bibliographical references (page 29). 517 $aError propagation analysis in the SAE Architecture Analysis and Design Language 606 $aDesign analysis$2nasat 606 $aError analysis$2nasat 606 $aFault tolerance$2nasat 606 $aReliability$2nasat 615 7$aDesign analysis. 615 7$aError analysis. 615 7$aFault tolerance. 615 7$aReliability. 700 $aLaValley$b Brian W$01388126 701 $aLittle$b Philip D$01388127 701 $aWalter$b C. J$g(Chris J.)$01388128 712 02$aLangley Research Center. 801 0$bGPO 801 1$bGPO 906 $aBOOK 912 $a9910700818003321 996 $aError propagation analysis in the SAE Architecture Analysis and Design Language (AADL) and the EDICT tool framework$93438531 997 $aUNINA