AADL User Day 2019
• Collection
Publisher
Software Engineering Institute
Subjects
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 Items
Welcome to AADL User Day
• Presentation
By Anita Carleton
Address delivered by Anita Carleton at AADL User Day 2019
Learn More
AADL Overview and Perspectives
• Presentation
By Peter H. Feiler
Slides from a presentation delivered by Peter Feiler at AADL User Day 2019.
Learn More
The Open Source AADL Tool Environment (OSATE)
• Presentation
By Jerome Hugues
Overview of OSATE presented by the OSATE development team at AADL User Day 2019
Learn More
AADL is an Integration Focal Point
• Presentation
By Software Engineering Institute
Adventium Labs builds tools that bring stakeholders together by leveraging AADL.
Learn More
Model-Based System and Software Analysis and Development Tools
• Presentation
By Software Engineering Institute
Slides from a presentation delivered by Gui Goretkin and Thierry Le Sergent of ANSYS at AADL User Day 2019.
Learn More
The use of ACVIP Containment of the Accumulation of Program Technical Debt using AADL implemented on Dassault Systèmes’ 3DEXPERIENCE Platform
• Presentation
By Software Engineering Institute
This presentation was delivered by Ron Baghai, Dr. Garrett Thurston, Dr. Franck Corbier, and Maxime Monier of Dassault Systèmes at AADL User Day 2019.
Learn More
Avionics Compositional System of Systems Simulation and Modeling Tool Chain ASSIST
• Presentation
By Software Engineering Institute
Presentation delivered by Physical Optics Corporation at AADL User Day 2019
Learn More
Applying AADL with the EDICT Tool Suite
• Presentation
By Software Engineering Institute
Presentation by WW Technology Group presented at AADL User Day 2019
Learn More
Formal Behavior Verification Made for Engineers
• Presentation
By Software Engineering Institute
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
Ellidiss AADL Tools
• Presentation
By Software Engineering Institute
Presentation delivered by Ellidiss Technologies at AADL User Day 2019
Learn More
Pioneering Disruptive, Real-Time, Software/System Engineering Capability for Army Aviation
• Presentation
By Software Engineering Institute
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.
Learn More
TELECOM Paris AADL Tools Portfolio for Real-Time Systems Virtual Integration
• Presentation
By Software Engineering Institute
Slides from a presentation delivered by Dr. Etienne Borde at Telecom Paris at AADL User Day 2019.
Learn More
AADL for DoD Systems
• Presentation
By Software Engineering Institute
The near future will see an overhaul of the processes used to engineer complex systems.
Learn More
High Assurance Modeling and Rapid Engineering (HAMR) for Embedded Systems
• Presentation
By Software Engineering Institute
HAMR is a flexible simulation and code generation framework for AADL capable of supporting multiple languages and platforms.
Learn More
Architecture-Driven Assurance
• Presentation
By Software Engineering Institute
Slides from a presentation Dr. Jennifer Davis of Collins Aerospace delivered at AADL User Day 2019.
Learn More