of feedback leads the developer back to the decomposition and design phase. ... and verification process the necessary fault tree analyses are done through an interface to the Astra-based FTA Astra [Contini et al. 1999] is an acronym for Advanced Software Tool Set for Reliability Analyses. ... There are both quantitative and qualitative safety requirements for a ComputerAided Braking ( CAB) system.
|Title||:||Reliable Software Technologies Ada-Europe 2000|
|Author||:||Hubertus B. Keller, Erhard Plödereder|
|Publisher||:||Springer - 2006-12-30|