2.3 What’s New in OSATE 1.0
The following are updated and new capabilities in OSATE 1.0.
    • Multi-file support for AADL models: AADL models can be split into separate files by storing each AADL package and property set into a separate file. For details see section 4.2.3.
    • Team support: AADL model files can be organized into projects.  Projects can be managed by version control systems through the team support services of Eclipse. For details see section 4.3.
    • Auto-build: OSATE now manages updating of AADL XML files (with extension “aaxl”) when AADL text files (with extension “aadl”) are modified in the AADL Text Editor.  Similarly, OSATE updates AADL text files when AADL XML files are modified in the AADL Object Editor (and in the future in the Graphical AADL Editor). Finally, OSATE automatically updates instance model files when the corresponding AADL text file or AADL XML file has changed. For details see section 4.6.
    • AADL Object Editor Navigation: This editor now has the ability to follow references in the object model.  This allows you to navigate from subcomponents to their classifiers, from connections and flows to their source and destination, and from instance model objects to the declarative model counterparts they were derived from. Through navigation history the user can return to previously visited locations. For details see section 7.2.
    • AADL Instance Models:  AADL instance models are now created with a complete set of semantic connections for port connections, access connections, and for mode transition triggering by event ports, with end-to-end flow instances and flow specification instances, and modal information.  Instance model-based property lookup is now fully supported, including modal property values.  In particular, property values for semantic connections are retrieved from the appropriate connection declaration.
    • Instantiation of high-level AADL models:  OSATE now supports creation of instance models with connection instances and flow instances for models, whose component structure has not been elaborated down to the level of individual threads.  This allows for early integration analysis of high-level model specifications for flow related analysis such as partition latency analysis, or specification based network load analysis.
    • AADL Meta Model Implementation: OSATE V1.0 implements the AADL Meta Model as defined in the AADL Meta Model & XML/XMI Interchange Format Annex V0.9.  This document has been included in the OSATE help system. Changes to the meta model include a new abstract class “Classifier” to be compatible with the UML profile, and the addition of a “connectionContext” association for connection instances. For further details on Meta Model changes please see the Annex document.
    • Port groups and Semantic Connections:  When port groups are involved in semantic connections those port groups are now unpacked into semantic connections for individual ports for each “ultimate” source and destination of a semantic connection.
    • Updated Flow Latency Analysis plug-in:  The flow latency analysis plug-in has been updated to handle delayed and immediate connections between periodic thread and to operate in instance models as well as declarative models. For details see Section 10.
    • New Resource Management plug-in: We have added a ResourceManagement plug-in that supports priority inversion checking.  This plug-in also interfaces with a Java-based implementation of Rate-Monotonic Analysis (RMA) algorithm to provide scheduling analysis of independently executing periodic threads.  We have also developed an interface to a Java-based implementation of a constraint-based resource that allocates processor, memory, and bus resources to application systems utilizing a binpacking approach.  This resource management implementation is part of the TimeWeaver embedded systems engineering framework developed at Carnegie Mellon University (http://www-2.cs.cmu.edu/~rtml/timeweaverweb/). If you are interested in further resource scheduling analyses, U. Penn has interfaced their Process Algebra toolset to perform analysis of AADL models and will make their work available to others (see “AADL User Presentations” at www.aadl.info for details).
    • OSATE Plug-in Development: The OSATE infrastructure for analysis plug-in development has been updated to support the multi-file capability of OSATE.  A four part presentation series on OSATE Plug-in Development was given in January 2005 and is available on CD. A OSATE Plug-in Development Guide document is in development and a first draft is available as part of the OSATE help system or can be requested as printable document.
    • Online Help: Now includes the JavaDoc of major OSATE functionality, the OSATE Plug-in Development Guide in its current draft form, and a description of the AADL meta model and XML/XMI interchange format.
    • Several semantic checks have been added, in particular checks relating to modal systems.
    • Bug fixes: A number of bugs have been fixed.  A thank you to all who have reported problems to us.  For a detailed list of bug fixes please see the OSATE pages at www.aadl.info.