Safety and Behavior Specification Using the Architecture Analysis and Design Language

Delange explains two AADL extensions - the behavior annex and the error-model annex - and how they support safety analysis.