April 2014 User Day

From AadlWiki

Jump to: navigation, search

AADL News and Issues by Bruce Lewis

UAV Safety Analysis with AADL by Jerome Hugues

ADIRU Accident Safety Analysis with AADL by Jerome Hugues

AFDX Modeling in AADL by Alexey Khoroshilov

MASIW Toolchain by Alexey Khoroshilov

AADL and VHDL/FPGA by Dominique Blouin

RDAL Status by Dominique Blouin

BLESS Status by Brian Larson

OSATE by Julien Delange

Synchronous Systems and AADL by Jean-Pierre Talpin

Synchronous Systems and AADL by Jean-Pierre Talpin

Integration of SCADE and Simulink with AADL by Julien Delange

Multi Model Traceability by Dominique Blouin

AADL Inspector Tutorial by Pierre Dissaux

AADL Inspector User Manual by Pierre Dissaux

Personal tools