AADL User Day 2019
This collection includes all presentations delivered at AADL User Day 2019
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.
Collection Contents
-
Welcome to AADL User Day
November 6, 2019 • Presentation
By Anita Carleton
Address delivered by Anita Carleton at AADL User Day 2019
read -
AADL Overview and Perspectives
November 6, 2019 • Presentation
By Peter H. Feiler
Talk given by Peter Feiler at AADL User Day 2019
read -
The Open Source AADL Tool Environment (OSATE)
November 6, 2019 • Presentation
By Jerome Hugues
Overview of OSATE presented by the OSATE development team at AADL User Day 2019
read -
AADL is an Integration Focal Point
November 6, 2019 • Presentation
Adventium Labs builds tools that bring stakeholders together by leveraging AADL.
read -
Model-Based System and Software Analysis and Development Tools
November 6, 2019 • Presentation
Presentation delivered at AADL User Day 2019
read -
The use of ACVIP Containment of the Accumulation of Program Technical Debt using AADL implemented on Dassault Systèmes’ 3DEXPERIENCE Platform
November 6, 2019 • Presentation
Presentation delivered at AADL User Day 2019
read -
Avionics Compositional System of Systems Simulation and Modeling Tool Chain ASSIST
November 6, 2019 • Presentation
Presentation delivered by Physical Optics Corporation at AADL User Day 2019
read -
Applying AADL with the EDICT Tool Suite
November 6, 2019 • Presentation
Presentation by WW Technology Group presented at AADL User Day 2019
read -
Formal Behavior Verification Made for Engineers
November 6, 2019 • Presentation
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.
read -
Ellidiss AADL Tools
November 6, 2019 • Presentation
Presentation delivered by Ellidiss Technologies at AADL User Day 2019
read -
Pioneering Disruptive, Real-Time, Software/System Engineering Capability for Army Aviation
November 6, 2019 • Presentation
Growth in complexity and late error discovery is the primary factor driving affordability in complex embedded systems. ACVIP and AADL provide an approach to resolving this issue.
read -
TELECOM Paris AADL tools portfolio for real-time systems virtual integration
November 6, 2019 • Presentation
Presentation delivered by Telecom Paris at AADL User Day 2019
read -
AADL for DoD Systems
November 6, 2019 • Presentation
The near future will see an overhaul of the processes used to engineer complex systems.
read -
High Assurance Modeling and Rapid Engineering (HAMR) for Embedded Systems
November 6, 2019 • Presentation
HAMR is a flexible simulation and code generation framework for AADL capable of supporting multiple languages and platforms.
read -
Architecture-Driven Assurance
November 6, 2019 • Presentation
This presentation by Collins Aerospace was delivered at AADL User Day 2019
read