AADL-Based safety analysis using formal methods applied to aircraft digital systems
Danielle Stewart, Jing Liu, Darren Cofer, Mats P. E. Heimdahl, Michael W. Whalen, Michael R. Peterson
Topics & Concepts
Computer scienceUSableComponent (thermodynamics)Process (computing)Reliability engineeringSystem safetyFault tree analysisSystem lifecycleModeling languageLife-critical systemSystems engineeringEngineeringSoftwareProgramming languageApplication lifecycle managementThermodynamicsPhysicsWorld Wide WebSoftware Reliability and Analysis ResearchFormal Methods in VerificationSafety Systems Engineering in Autonomy