search menu icon-carat-right cmu-wordmark

AADL User Day 2019

Collection
This collection includes all presentations delivered at AADL User Day 2019
Publisher

Software Engineering Institute

Abstract

The AADL User Day is a one-day forum to present the current state of AADL standard and associated tools through a half-day briefing session on current project, and a half-day tool vendor exhibition.

The Architecture Analysis and Design Language, or AADL, is an SAE International standard for describing both the software architecture and the execution platform architectures of performance-critical, embedded, real-time systems. AADL is being used for the engineering of safety-critical systems.

Browse videos of the presentations.

Collection Items

presentation-thumbnail-1

Formal Behavior Verification Made for Engineers

Presentation
By

Behavior Language for Embedded Systems with Software (BLESS), and its verification tool, was specifically designed to verify cyber-physical system behavior conforms to its specification, by practicing engineers.

Learn More
presentation-thumbnail-1

Ellidiss AADL Tools

Presentation
By

Presentation delivered by Ellidiss Technologies at AADL User Day 2019

Learn More