Building Safe and Secure Systems with AADL Open PDF Document Details Document Type Technical Report Publication Date Feb 15, 2015 Accession Number ADA617268 Entities People Julien Delange Organizations Carnegie Mellon University Tags Communities of Interest Energy and Power Technologies DTIC Thesaurus Topics Aircraft Industry Demographic Cohorts Demonstrations Department Of Defense Engineering Errors Failure Mode And Effect Analysis Language Materials Models Safety Security Software Development Specifications Standards Universities Validation