Sept 2013 User Day

From AadlWiki

Jump to: navigation, search

Meeting Agenda by Bruce Lewis

AADL News and Issues by Bruce Lewis

Next meetings are

  • Winter 2014 - at ERTS Toulouse France, Feb 5-7, AADL meeting Feb 3-5, 2014.
  • Spring 2014 - Santa Barbara CA, April 14 - 17, 2014
  • Summer 2014 - Orlando FL July 7-10.
  • Fall 2014 - at MODELS conference, Sept 28- Oct 3, 2014, Valencia Spain

Safety Analysis with AADL and EMV2 Julien Delange of SEI. SAVI/Safety Analysis Tool Demonstration using AADL and EMV2. It illustrates support of the SAE ARP4761 practice on a aircraft wheel braking system example. Webex Streaming Video of demo and presentation or MP4 Streaming Version.

OSATE Updates and Discussion Julien Delange of SEI. Summary of recent additions to OSATE V2, development statistics that include community contributions.

ElliDiss AADL Tool Strategy Pierre Dissaux of ElliDiss. Summary of tool strategy centered around AADL Inspector. Streaming Video.

AADL Inspector and Cheddar Pierre Dissaux of ElliDiss. Update on the latest AADL Inspector release and Cheddar, including ARINC653 Support.

AADL Projects and Tool Chains Pierre Dissaux of ElliDiss. Thoughts on improving AADL Project Management and Tool Interoperability. Streaming Video.

AADL Constraint Annex Serban Gheorghe of EdgeWater. Discussion of the latest draft of the Constraint Annex for AADL. It draws on PSL and other constraint notations adapted to AADL.

New Thoughts on Constraint Annex Alexey Khoroshilov of ISPRAS. On experience with Python as a basis for a constraint language implementation.

Subset Annex Update Vincent Gaudel of UBS. Discussion of subset concept to formally specify minimum subset requirements for models (e.g., for analysis), and maximum subset requirements (e.g., constraint to periodic tasks only).

AADL Requirements Definition and Analysis Language (RDAL) Annex Status Dominique Blouin of UBS. Discussion of the latest draft of the Requirements Annex for AADL. Video of presentation of RDAL Concepts.

Goal-driven Requirements Transformations Eitenne Borde of Telecom ParisTech. On Model-Driven Requirements Engineering for Embedded Systems Development with focus on non-functional goals and requirements. In collaboration with Emilio Insfran and Dominique Blouin. Streaming Video.

BLESS Update Brian Larson of Multitude.

Model Synchronization and Graphical Editor Dominique Blouin of UBS. Status and demo of project to automate model synchronization between tools and its implementation in the integration of the Adele graphical editor. Streaming Video.

Error Model V2 Annex Peter Feiler of SEI. Discussion of latest changes, their implementation status, and remaining issues.

Synchronous System Timing Annex Jean-Pierre Talpin of INRIA. Discussion of example uses. White paper on the Timing Annex in support of synchronous systems.

Measurement Units Annex Alexey Khoroshilov of ISPRAS. Proposal for an Annex of measurement unit definitions aligned with industry standards. The draft document can be found at Draft Unit Relations Annex.

Refinement and Types in AADL Experience Report Jerome Hugues of ISEA. Discussion of experiences and issues with refinement and typing in AADL models.

State and Future of Ocarina Jerome Hugues of ISEA. Summary of state and future of the Ocarina code generation capability for AADL models.

AADL V2.1 Errata Peter Feiler of SEI. Discussion of errata to AADL V2.1. See also discussion on Array indices in connections and nested feature groups and connections. They can also be found at SAE AADL AS5506B Errata.

MASIW Tutorial Alexey Khoroshilov of ISPRAS. This is a tutorial on the Modular Avionics System Integrator Workplace being built by ISPRAS for the Russian avionics industry. Video recording on the SAE Webex site: MASIW Hands-on Tutorial.

MASIW Framework is available under the Eclipse Public License.

See MASIW for details and installation instructions.

Personal tools