Nov 2009 User Day

From AadlWiki

Jump to: navigation, search

Presentations in SAE AeroTech conference tracks

Proof based engineering of Real-Time Applications in RTEdge by Serban Gherghe of Edgewater Computer Systems

AADL for Quantitative Reliability and Availability Modeling by Myron Hecht of Aerospace Corp

Model-based Engineering for the Development of ARINC653 Architectures by Julien Delange of Telecom ParisTech

Architecture-Driven Development for Cyber-Physical Systems by Gopal Raghav of Emmeskay

Challenges in Validating Safety-Critical Systems by Peter Feiler of SEI


Talks at the AADL standards meeting

AADL News and Issues Nov 2009 by Bruce Lewis

A Behavior Annex Case Study by Oleg Sokolsky: mapping between UPPAAL TA and AADL Behavior Annex

Modeling Body Area Networks in AADL by Tribid Mukherjee of Arizona State University

ARINC653 Annex for AADL: Overview by Julien Delange of Telecom ParisTech

ARINC653 toolset: Ocarina, Cheddar, and POK by Julien Delange of Telecom ParisTech

ARINC653 Annex: Examples‎ by Julien Delange of Telecom ParisTech

Update on Ocarina Toolset by Julien Delange of Telecom ParisTech: Model validation through constraint language REAL; Code generation targeting embedded platforms; Petri-net generation

What's new in MARTE 1.0 by Laurent Rioux of Thales

Tutorial: MARTE - also a UML profile for AADL by Madeleine Faugere: How to model AADL concepts using MARTE profile subset

Designing ARINC653 Applications with MARTE by Laurent Rioux of Thales

AADL Tools by EllisDiss by Pierre Dissaux of ElliDiss

Extraction of Simulink Architecture into AADL by Gopal Raghav of Emmeskay

The System Verification Manager by Peter Feiler of SEI: a tool to automate the validation of requirements through verification activities on Simulink & Dymola models

Mini Juno Case Study by Peter Feiler

Personal tools