AADL-Based safety analysis using formal methods applied to aircraft digital systems

Model-based engineering tools are increasingly being used for system-level development of safety-critical systems. Architectural and behavioral models provide important information that can be leveraged to improve the system safety analysis process. Model-based design artifacts produced in early sta...

Ausführliche Beschreibung