OSATE 1.5.8

This OsATE release addresses two issues concerning port groups, one about the generation of connection instances and the other about the interpretation of direction of event ports inside a port group. Download OSATE 1.5.8 here.

AADL Community Wiki

The AADL community wiki contains a wealth of information about the AADL standard, it annexes, and the toolsets that can be used with AADL models. Because it is a community wiki, AADL users and others involved in modeling system architectures are welcone to contribute to its content. The wiki includes areas duch as modeling, tool development, AADL-related publications, AADL history, and user presentations.

AADL V2

AADLv2 was published in January 2009, with the graphics annex. This version introduces virtual processor and virtual bus component categories in support of partitions, hierarchical schedulers, virtual channels, and protocol stacks. Other improvements include abstract components, classifier parameterization, and component multiplicity to better support architecture patterns for system families and reference architectures as well as scaling to large-scale systems.

More annexes, as well as process, tools, and applications are now the focus for further development of the standard. Bruce Lewis, US Army AMRDEC and the AADL standard committee chairman, reports that the

  • Behavior Annex is 90% complete, headed for a first ballot in November 2009. It includes language regarding concurrency behavior and validation of implementation.
  • ARINC 653 Annex is 40% complete. It is estimated that it could have a first ballot in the Spring of 2010. This annex involves a definition of ARINC653 architectural elements in AADL for analysis and the enabling of generation from AADL models to an ARINC653 OS and fault/error modeling.
  • Data Modeling annex is (90% complete; a first ballot is planned for November 2009. This annex is based on ASSERT experiences.
  • Code Generation annex using AADLv2 is 75% complete; it may go to ballot in November 2009. This annex has been enhanced through ASSERT.
  • The UML AADL profile in MARTE is now 30% complete. This profile is to specify AADL for the UML domain via a MARTE specialization.
  • Error Modeling Annex update for AADLv2 has recently been begun.

Bruce also said that other annexes might be in the areas of cyber-physical systems, SysML/AADL, and other standard representations of architecture styles (like ARINC653). An annex on cyber-physical systems has been started.

AADL V2 is available. For details, go to http://www.sae.org/technical/standards/AS5506A.

EDICT Plug-Ins for AADL

WW Technology has developed a set of plug-ins to AADL for fault propagation analysis and safety analysis. View a presentation at http://aadl.sei.cmu.edu/aadl/documents/EDICT Overview-080727.pdf (4mb).

AADL Presentations at ERTS 2008

The AADL-related presentations can be found in the proceedings at http://www.sia.fr/evenement/evenement_detail_erts_embedded_real_time_proceedings_887.htm. This pdf provides a list of the more pertinent papers.

Acceleo Release 2.2.0

The Acceleo tool has been used to generate representations such as TLA specifications from AADL models. Release 2.2.0 of Acceleo features an enhanced template editor, a fully localized user interface, generic script or template encoding, and updated generator modules. For more information, visit http://www.acceleo.org/pages/additionnal-products/en.

ADELE to Address OSATE Graphical Editor

The OSATE graphical editor has a number of recognized shortcomings. Under the SPICES initiative, an effort is underway to reimplement the OSATE graphical editor to address its shortcomings. The improvement projects is known as ADELE.

Materials from IMA Workshop Available

More than 50 participants from academia and industry took part in the workshop on Integrated Modular Avionics (IMA) hosted by the Network of Excellence on Embedded Systems Design ARTIST2. The presentations are available at http://www.artist-embedded.org/artist/Agenda,931.html.

AADL-UML Paper Published

From PIMs to PSMs by Peter Feiler, Dionisio de Niz, and Bruce Lewis of the Software Engineering Institute (SEI), in collaboration with Chris Raistrick of Kennedy Carter, has been selected for the Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS07). This paper is one of only five selected from the UML & AADL'2007 Workshop that was co-located with ICECCS07. The authors propose the use of both AADL and xUML (an extension to the Unified Modeling Language) in the development of embedded systems through models. The paper is available from http://doi.ieeecomputersociety.org/10.1109/ICECCS.2007.25.

Open Group Looks at AADL for Standardization Effort

The Open Group real-time and embedded systems forum is considering adopting AADL for standardization efforts in high availability, security, dependable systems. Open Group has strong interest in areas such as architectural analysis, formal methods, and certification. The AADL subcommittee is currently supporting the Open Group's investigation through four hours of presentations on AADL at the group's two most-recent meetings. The Open Group has also offered to host AADL User Group Meetings.

New Application Areas Highlighted by Users

View the list of past news items