A Tool Set for Integrated Software and Hardware Dependability Analysis Using the Architecture Analysis and Design Language (AADL) and Error Model Annex.

Myron Hecht, Alexander Lam, Chris Vogl

Browse the full ICECCS paper archive.