SAE Architecture Analysis and Design Language. AS-2C ADL Subcommittee Meeting June 6-9, 2011 Paris, France

Transcription

1 SAE Architecture Analysis and Design Language AS-2C ADL Subcommittee Meeting June 6-9, 2011 Paris, France

2 Election of AS2 Chair Greg Newman elected Replaces Mike Pakucko Covers AS2C (AADL) AS2D (time triggered) in meetings with AS2. Planning of meetings locations, reporting events and notes from each session, writing for SAE magazine our progress. Could be a advocate for our committee

3 AS5506 AADL Standard Status SAE standard AS5506 Architecture Analysis & Design Language published. Nov, Jan, V2 Published w Graphics Annex SAE Annexes AS5506/1, June Includes Annexes for: Graphics, Ada & C Programming Guidelines, Error Modeling Ecore Meta Model, standard XML for declarative and instance models SAE Annexes AS5506/2, January Includes: Behavior Annex, Data Annex, ARINC 653 Annex

4 AADL WG Activities Code Generation V2 (90%) (Jerome) Draft for next meeting UML AADL profile in MARTE (20%) (Madeleine) MARTE document maps MARTE to AADL, MARTE2AADL by Open People, MARTE2AADL toolset by Ellidiss finished? Error Modeling Annex Update V2 (80%) (Peter) Experience related updates and extensions to V1 Metamodel Annex for V2 (90%) (Lutz) Requirements Annex ( 70% ) (Dominique, Skander, Eric) 2 nd draft provided for this meeting, tool demo? Constraints/Equation Annex working, will discuss in Paris Maude/PALS Annex Discussion this meeting Mini Annex for Properties for hardware flow? Mini Annex for Properties for safety and reliability analysis 4

5 Potential New Annexes MILS?. Reliability / Assurance Reliability Framework source Consistency Verification between Core and BA Kirstie suggested Time-Triggered Architecture? Style Guide for implementation SysML to AADL Presentation by Jerome, tool in Rhapsody An AADL SysML Profile for Architecture Level System Engineering

6 Status of AADL V2 Activities Meta-Model annex definition Done, being upgraded to X-path, error modeling annex developed that way. How much critical errata needs to to be resolved Errata. Level of progress? - differences in MetaModels OCARA, STOOD, OSATE V2 availability Alpha, but Beta in Progress, end of June targeted for release. New V2 Training Courses. Ready but waiting for graphics for V2. Are Adelle graphics now capable? What are the limitations currently and in future. AADL V2 book - from SEI, at Publisher (?) Toolset integrations of advaced analysis tools together, downloadable, Need someone to manage.

7 Industrial Support Starting tutorials, BLESS (Fort Lauderdale), STOOD (Orlando), Paris (ASIIST) Potential for future meetings: TASTE For ERTS Toulouse OSATE V2 Oct Toulouse Aerospace Dependability Compass STOOD Orlando- April 2011 SysML2 /AADL Fused Honeywell protocol demo with BLESS

8 Presentations/Tutorials Recent/Future Presentations, Demos, Reports - ERTS presentations need to collect Peter, Jerome, May 19-21, Army NASA Workshop Dave Gluch tutorial and presentations, May ASSIP AADL Class 5 days, 30 people, projects and tools May 24-28, AFRL S5 Seminar Peter, Dave Redman June AdaEurope SAVI /AADL Bruce June S18 Meeting Philly Oleg June TASTE Review, Bruce, Oct AADL Analysis Tool Developers Teleconference with Kirstie Bellman (US only) Oct Open Group joins AADL Webmeeting, Oct AADL tutorial at SIGAda Washington DC, Oct , Bruce - Cyber-Physical Systems Workshop, San Diego Nov 2010, Bruce - Layered Assurance Workshop, Austin Texas, Nov 2010, Bruce - Model-Based IV&V Workshop, Hawaii, Jan 4, 2011 Bruce (AADL host next year?) - AADL meeting co-located with S18, Ft. Lauderdale, Jan 24-27, AADL Meeting in Orlando - Berkeley Workshop May Jerome - IEEE Architecture Description Language Workshop June Peter - Aerotech Conference, Toulouse, Oct 2011 Many, 4or 5 SAVI, AADL? (P. Dissaux, Serban, Jerome) - Models 2011 Oct 16-18, New Zealand It s the same time as the AADL meeting. - Analytical Virtual Integration of Cyber-Physical Systems (AVICPS) Workshop, Dec 2011 (RTSS) Peter co-chair - Compositional Real-time Systems (CRTS) workshop Oleg S. at RTSS, Dec ERTS- Feb 2012 (submission deadline June 20, 2011)

9 Standards Coordination Open Group Real Time Embedded Systems need to attend again to assess their progress. They have tried several times to attend our meeting. OMG with AADL profile of MARTE and with SysML two/three MARTE to AADL transformers started. two SysML to AADL started. SAE Time Triggered Architectures under AS-2 very interested in the Honeywell work and the synchronous annex. May lead to some joint work. SAE S-18 Aircraft and Sys Dev and Safety Assessment Committee most interested in reliability, dependability analysis, should present or send demos.

10 Upcoming SAE/AADL Meetings Fall 2011 SAE meeting in Toulouse, France, Oct Centre de Congres Pierre Baudis & Toulouse Expo Winter 2012 ERTS is Feb 1-3 in Toulouse. AADL meeting in the same week (Jan 30 - Feb 1) location N7 Likely to be joint with Model-Based Engineering Workshop sponsored by JAXA, ESA, and NASA. So would need space for them. Spring April SAE Sponsored Minneapolis, April 16-19, 2012 The Hyatt Regency Minneapolis is located in downtown Minneapolis. The room rate is $ per room night single or double, plus taxes. Rate includes complimentary internet in the sleeping room. Government per diem rooms are available with government id. Ask for the SAE International ASD Committee Meeting. The cutoff date Monday, April 2, 2012.

11 Topics For Paris Planning for AADL Oct 2011 User s Day: OSATE V2 Jerome recommended. FIACRE update? Incremental Development Method? Compass -? TTA and AADL? Not yet Cheddar-? Behavior Annex Plug-in update Reliability Framework? OCARINA Update Behavior Annex / Bless / Maude Errata Toolset Training TASTE? For ERTS in Feb. Standardization: Error Modeling Annex 6 hours Synchronous Annex 2 hour Requirements Annex 2 hours Programming Annex 1 hour Constraints Annex - 2 hours Review MARTE/AADL capabilities Hardware Properties Annex Planning Next Meeting - 30 min Errata 2 hours SysML Annex / Process

12 BACKUP