Release Notes

Stable Releases

Version 2.2.3 update 01

Release

This is a maintenance release that contains bug fixes for the graphical editor.

Notable changes

  1. Adjusted the data types of several fields in the diagram meta-model. Unfortunately, the this breaks forward compatibility. The original 2.2.3 release will not be able to correctly parse diagrams saved with newer versions. However the change is backward compatible. The updated version will work with diagrams created with the original 2.2.3 release.

Fixed issues

  • Graphical Editor
    1. Fixes elements being assigned duplicate id's. As a result, AADL properties were not represented accurately.
    2. Fixed case where a rename refactoring caused a NPE.
    3. Fixes flow implementations not appearing the drop-down list to be highlighted.
    4. Fixes multiple errors and race conditions with diagram indexing.
    5. Fixes exception when opening empty AADL file (#218)
    6. Fixes exception when attempting to delete a realization. Deletion of realizations is not supported.
    7. Fixed typo in the user guide

Known Issues

  1. Using the AADL Property View to edit property values results in bad formatting.

Version 2.2.3

Release

This is the last release based on Eclipse Mars.

Notable changes

  1. New analysis checks if bindings (Actual_*_Binding) adhere to constraints (Allowed_*_Binding, Allowed_*_Binding_Class, Required \ Provided_Connection_Quality_of_Service, Required \ Provided_Virtual_Bus_Class) (#775)
  2. Significant improvements in the graphical editor. See below for details.
  3. Added an AGREE simulator. A user guide is included in the help content.

Fixed issues

  • OSATE core
    1. Resolve property constants in record fields (#835)
    2. Fixed bogus error when validating property consistency along connections during instantiation (#819)
    3. An empty annex library or subclause no longer causes an exception (#816)
    4. Fixed corner case in connection validation with inverse feature groups (#815)
    5. OSATE now contains a plugin that supports diagram export (#707)
    6. End to end flows can now be expanded to show the flow segments in the instance model editor (#859)
    7. Use short names for system operation modes (#743)
    8. System operation modes can now be expanded to show the participating modes in the instance model editor (#867)
    9. Instantiation now limits the number of system operation modes to 1000 (#666)
    10. Cleaned up labels in instance model editor (#865)
    11. No duplicate value error for binding specifig property association (#833)
  • Analysis Plugins
    1. Fixed wrong data in FHA reports (#848)
    2. Flow latency analysis now uses fixed transmission overhead when a port is missing a data type (#852)
  • Graphical Editor
    • Diagrams
      • The file format used by previous versions of the Graphical Editor has been deprecated. Support for opening such diagrams will be removed in a subsequent release. When opening a legacy diagram, the user will be prompted to convert the file. The new file format is more compact and contains more reliable linkages with the AADL model.
      • It is recommended to convert all legacy diagrams to the new format by opening them.
      • Diagrams no longer use UUIDs are part of file names. Legacy diagrams will be renamed as part of the conversion process.
      • Added support for multiple diagrams representing the same model element.
      • Added a "Configure Diagram..." option to the diagram's context menu which is used for configuring which model elements are displayed in the diagram.
      • Removed diagram-wide nesting level option. The nesting level of diagram elements can now be controlled individually.
      • Added Show Contents, Hide Contents, and Show Type Contents to the diagram element context menu.
      • Added an asterisk indicator after labels which indicates whether all of the contents for an element are shown.
    • Refactoring
      • Renaming elements from the diagram editor will refactor the AADL model.
      • Renaming elements from the diagram editor will update related diagrams.
      • References in legacy diagrams are not updated.
      • Renaming a model elment using the "Rename Element" menu option updates linkages in diagrams.
    • AADL Property Support
      • Reworked AADL property support. Individual AADL properties can be enabled on a per-diagram basis using the "Configure Diagram..." context menu.
      • AADL reference property values between descendants which are not shown are displayed as a binding between the closest ancestors which are included in the diagram.
      • AADL reference property values for the same AADL property, source, and destination are grouped together into a single connection.
      • Added tooltip for grouped AADL property reference values which contains details about the property values.
      • Bindings along with other reference properties now support bendpoints.
    • AADL Features
      • Features may be docked to any side. Previously only the left and right were supported.
      • Feature group types use the same symbol regardless of the type of diagram. Previously, feature group types used a rectangle on classifier diagrams.
      • Feature groups can be resized.
    • Formatting
      • Labels of classifiers on package diagrams are now located at the top and centered.
      • Added labels for classifiers in classifier diagrams.
      • Elements are now colored differently to indicate that they are not owned by the container.
      • Added toolbar commands for positioning shapes in a radial or grid pattern.
    • Miscellaneous
      • Changed behavior of unique identifier generation to include the containing classifier's name. This is to avoid naming conflicts with classifiers that extend the classifier being edited.
      • Relaxed validation in the flow implementation tool. It is intended that the validation will be improved in a future release. The tool should allow creation of all valid flow implementations but will also allow selection of invalid elements in some circumstances.
      • Modified filtering when selecting model elements. Now matches any part of name.
      • Fixed cases where setting a subcomponent classifier was not working properly.
      • Added support for connections whose features are not included in the diagram. Such connections are formatted differently from normal connections.
      • Added command to navigate to component type diagram for subcomponents.
  • Resolute/AGREE
    1. Various bug fixes
  • ALISA Incremental Assurance
    1. Minor bug fixes (#17, #23, #24)

Known Issues

  1. Using the AADL Property View to edit property values results in bad formatting
  2. AADL 2.2 support: Partial end to end flows are not yet supported
  3. ALISA still has error markers on some references even though they are correctly resolved

Version 2.2.2

Release

This release adds support for features new in AADL 2.2.

Note that the underlying AADL meta-model has changed. This makes it necessary to do a clean build of existing projects and to recreate all instance models. Otherwise errors may occur when running analyses.

Notable changes

  1. Allow connection ends that reach down into feature groups (#500)
  2. Removed Type_Extension from property Classifier_Matching_Rule (#740)
  3. Support property types classifier and reference with empty list of classifiers (#718)
  4. Flow implementations may reference a feature in a feature group even if the flow specification references the geature group (#794)
  5. Added a checker that can be run before code generation
  6. Added outline support to the graphical editor
  7. Updated Xtext to version 2.11 (#697, #800)
  8. ReqSpec now allows requirement and val declarations to be interspersed (#13)
  9. Alisa now supports automated verification when verification plans are not complete, i.e., activities are missing for some requirements (#14)

Fixed issues

  • OSATE core
    1. Improved end to end flow validation (#763)
    2. Component instances reference their declarative classifier (#746)
    3. Correct serialization of flow implementations (#750)
    4. Fixes in connection instantiation (#766, #780)
    5. Correct checking of property applicability (#635)
    6. Warn about empty flow implementations (#781)
    7. Fix in end to end flow instantiation (#789)
    8. Generate sensible names for end to end flow instances (#742)
    9. Correct validation of classifier substitution rule Classifier_Match (#795)
    10. Detect cycles in property references during instantiation (#699)
    11. Detect cycles in feature group containment during instantiation (#761)
    12. Added utility methods for internal features (#683)
    13. OSATE warns about usage of aggregate data ports which are not handled in model instantiation (#744)
    14. Fixed bugs related to inverses of feature groups (#277, #810, #277)
  • Analysis Plugins
    1. Fixed flow latency calculation when end to end flow includes other end to end flows (#792)
    2. Separate menu entries for ARP4761 and MIL-STD-882 FHA (#827)
    3. Various bug fixes in FHA report (#821, #822, #823, #824, #825, #826)
  • Graphical Editor
    1. Subprogram calls now display the flow specifications of the contained subprogram type (#186)
    2. Fixed an exception which occured when a Component Instance did not have a classifier (#183)
    3. Allow bendpoints for generalizations (#786)
    4. Fixed an exception which could occur when working with models which include annex subclauses
  • Resolute/AGREE
    1. This release contains numerous bug fixes for Resolute.
    2. It also includes the addition of "Real-time Patterns" and "Linearization" to AGREE. These new features are documented in the User's Guide
  • ALISA Incremental Assurance
    1. Alisa Assurance View: Color bars replaced by colored count entries (#21)
    2. Removed Assurance Progress View. Progress indication is already available in Assurance View (#20)
    3. Assurance Requirement Coverage now has its own filter selection (#22)
    4. Several bug fixes related to predicate evaluation and error marker on references that actually have been resolved

Known Issues

  1. Using the AADL Property View to edit property values results in bad formatting
  2. AADL 2.2 support: Partial end to end flows are not yet supported
  3. ALISA still has error markers on some references even though they are correctly resolved

Version 2.2.1 update 03

Release

This is a maintenance release that contains bug fixes and improvements.

Notable changes

  1. Allow Code_Size property on virtual bus components
  2. Allow Data_Size property on bus and virtual bus components
  3. Improvements to flow latency analysis
    • Use Reference_Time property to determine synchronous vs. asynchronous
    • Improved help text for flow latency analysis
  4. Reworked ALISA views
  5. Improved layout and generation of requirement traceability reports
  6. Added simple requirements report
  7. Added help text for reporting

Fixed issues

  • OSATE core
    1. Repaired ARP4761 example (#738)
    2. Fixed regression in instantiation of feature group connections (#752)
    3. Instantiate connections from input features to data subcomponents (#753)
    4. Additional validation of feature directions for feature group connections
  • Analysis Plugins
    1. Fixes in flow latency analysis:
      • Use deadline as default latency (#62, #63)
      • Don't skip components without flow path (#60)
  • Graphical Editor
    1. Don't assume that component instances have a classifier (#183)
    2. Fix issue with disappearing connection references (#181)
    3. Show flows from called subprogram types (#186)
  • Error Model Annex
    1. Fixed error model name resolution to conform to standard (#103, #114)
    2. Additional validation rule (#117)
    3. Fixed containment check for type sets (#118, #120)
    4. Fixed name resolution issue for error types (#119)

Known Issues

  1. Using the AADL Property View to edit property values results in bad formatting.

Version 2.2.1 update 02

Release

This is a maintenance release that contains bug fixes and improvements to the ReqSpec language. It also includes a beta version the Verify and Alisa languages for requirements verification.

Notable Changes

  1. Added missing Array_Size_Range property type
  2. Updated help text for flow latency analysis
  3. Many small improvements to the graphical editor
  4. Various improvements for fault tree generation

Fixed Issues

  • OSATE core and analyses
    1. Flow sink implementations are now property serialized (#617)
    2. Fixed a crash when creating an instance model that has errors (#712)
    3. Fixed a deadlock during instantiation (#726)
    4. Connections that go through a component (from in port directly to out port) are now flagged as errors (#727, #728)
    5. Validation of feature group connections now flags mismatched feature group types as an error (#709)
    6. Fixed validation to allow references to elements of multi-dimensional arrays in property values (#694)
    7. Fixed a bug that caused missing connections in instance model (#734)
    8. Instance model analyses now take selected system operation mode into account (#736)
    9. Fixed a deadlock during flow latency analysis (#737)
  • Graphical Editor
    1. Default port direction is set according to the side of the component (#150)
    2. Fixed bug that prevented adding subcomponent flow to end-to-end flow or flow implementation (#166)
    3. It is now possible to select a component when it is covered by labels (context menu: select container) (#171)
    4. Prevent negative y-coordinates for feature groups (#172)
  • Error Model Annex
    1. FHA report was missing hazards (#113)

Known Issues

  1. Using the AADL Property View to edit property values results in bad formatting.

Version 2.2.1 update 01

Release

This is a maintenance release that contains bug fixes and improvements to the ReqSpec language.

Notable Changes

  1. Property Classifier_Matching_Rule => Subset is now supported for instantiation.
  2. Creating a text file for an instance model works now.
  3. Added documentation for using the AADL Property Values view under OSATE Core Documentation -> Getting started -> Viewing and editing property values.
  4. Added a Usage Guide to the Resolute documentation.
  5. Added more types and type checking to the ReqSpec language. The help text has been updated to reflect these changes.

Known Issues

  1. Using the AADL Property View to edit property values results in bad formatting.

Version 2.2.1

Release

Notable Changes

  1. We have included the EMFTA tool for fault tree analysis (see Help text). The existing export to OpenFTA has been removed

  2. OSATE now includes requirements specification language (ReqSpec) from our ALISA project (see Help text)

  3. Implemented approved language errata:

    1. Abstract features are allowed as mode transition triggers

    2. Added property Reference_Time

    3. Abstract features can reference classifiers in addition to prototypes:

      prototypes
        fp: feature;
        dt: data;
      features
        -- feature is the prototype actual
        f1: prototype fp;
        -- abstract feature referencing a data classifier
        f2: feature SomeDataType;
        -- abstract feature referencing a data prototype
        f3: feature dt;
      
  4. Added textual representation of instance models. Convert AADL instance model file to text via action "Generate Textual Instance" in AADL Navigator context menu

  5. Added BIRT for report generation. An example report for requirements traceability is included: Action "Requirements Tracing" in context menu in the AADL Navigatior view, active for AADL packages, instance models, system requirements and system goals. The report sources are in plugin org.osate.reqtrace

  6. Unnecessary plugins were removed to reduce download size

  7. Updated Agree to version 2.1.3

  8. The underlying Eclipse version has been updated to Mars.2

Known Issues

  1. Using the AADL Property View to edit property values results in bad formatting

Version 2.2.0

Release

Notable changes

  1. OSATE is now based on Eclipse Mars which requires a new full installation
  2. Implemented approved errata for properties:
    1. Process_Swap_Execution_time now applies to virtual processor.
    2. Add processor, virtual processor in applies to of Activate_Entry_Point. They are included in the other entry_point properties.
    3. Code_Size, Heap_Size, Data_Size, and Stack_Size now apply to virtual processors.
    4. Mark Byte_Count as deprecated.
    5. Add Source_xx_Size back in and mark as deprecated. These are used in the standard, the book, and in the course. Backward compatibility.
    6. Memory_Binding properties now apply to system and processor. Also to virtual processor to model partitions with memory budgets.
    7. Property values are no longer allowed as array index value.
  3. Performance improvements in graphical editor
  4. Outline view can now handle annexes

Known Issues

  1. Using the AADL Property View to edit property values results in bad formatting

Version 2.1.2

Release

Major changes

  1. Flows can now be created in the graphical editor by clicking on components and connections
  2. The AADL Properties view can be used with the instance model
  3. The text editor automatically un-indents section keywords (features, subcomponents, etc.), see preference Window -> Preferences -> OSATE Preferences -> Aadl2 Text Editor to control this behavior

Known Issues

  1. Using the AADL Property View to edit property values results in bad formatting

Version 2.1.1

Release

Major changes

  1. OSATE now requires Java 8
  2. Automatically add "end" when typing in the text editor, see preference Window -> Preferences -> OSATE Preferences -> Aadl2 Text Editor to control this behavior
  3. New text editor command to organize with clauses
  4. The Plugin_Resources project has subdirectories to organize property sets - existing workspaces should be updated automatically (If there is a problem, try to re-create the project using the context menu in the AADL Navigator: "Reset/create all Predeclared and Annex Properties")
  5. The AADL Property View supports editing of property associations declared in the classifier's properties section if the applies to contains a single name ("local contained")
  6. The AADL Property View works properly when the instance model editor is open
  7. Default values can be hidden in the AADL Property View
  8. It is now possible to navigate from the instance model property to the corresponding property Association in the declarative model
  9. The instance model editor now properly reloads the model if it is instantiated again
  10. The instance model editor shows error markers
  11. Updated to Agree version 2.0.0
  12. Removed obsolete Lute and ARINC653 plugins from the distribution

Known Issues

  1. Using the AADL Property View to edit property values results in bad formatting

Version 2.1.0

Release

Major changes

  1. Additional validations for textual AADL models
  2. Added quick fixes in the AADL text editor
  3. Added Resolute language reference
  4. Performance improvements in the graphical editor
  5. Flow latency analysis handles periodic buses
  6. Various bug fixes related to connection and flow instantiation

Known Issues

  1. Running Agree requires Java 8

Version 2.0.9

Release

Major changes

  1. The AADL Property View has been rewritten to support expansion of list and record values. In addition, property values can be edited directly in the view.
  2. Instance models can be created from any component Note: The SystemInstance object now references a ComponentImplementation instead of a SystemImplementation. Plugins may need to be adapted.
  3. We have integrated the Resolute and Agree plugins created at Rockwell Collins (see https://github.com/smaccm/smaccm). Note: Agree depends on an program (JKind 2.1) which requires Java 8 to run.
  4. We have integrated the Ocarina plugin for OSATE 2 (see https://github.com/OpenAADL/osate2-ocarina).

Known Issues

Version 2.0.8

A special page is dedicated to the release notes of OSATE2 2.0.8

Release

Major changes

  1. Switched to Eclipse Luna
  2. Refactored many analysis plugins
  3. Excel report for latency analysis
  4. Examples built-in in OSATE

Known Issues

  1. After the first start with a new workspace the project Plugin_Resources may shown three times in the AADL navigator. Restarting OSATE fixes the issue.

Version 2.0.7

This release was published after the 2014 July AADL meeting hold in Orlando, Florida, USA.

Release

Major changes

  1. Automatically compute reliability values from sub-components in the Reliability Block Diagram plugin
  2. Graphical tool now works with Java 6
  3. Update of EMV2 annex, compliant with the document under ballot
  4. Update of ARINC653 properties, compliant with the version being under ballot for the coming September meeting.

Version 2.0.6

This release was published after the 2014 April AADL meeting hold in Santa Barbara, USA.

Release

Known issues

  1. Using the update site, under Windows7 you may have a file protection issue for your installation. Eclipse update is just silently failing to update rather than reporting "permission denied." Please check the date of the installed OSATE feature (Open Source AADL Tool Environment) under Help->About and then Installation Details. If it did not get updated to the most recent date, please change your permissions.
  2. Using the update site, when you are in OSATE (Eclipse) and just checked an update site for updates, Eclipse caches that information. If someone tells you about a new release on the update site, please exit and reenter OSATE so it will actually find the new release.

Major changes

  1. Integration of the Graphical Editor
  2. New safety analysis tools

Version 2.0.5

This release was published after the 2014 February AADL meeting hold in Toulouse, France.

Release

Known issues

  1. Using the update site, under Windows7 you may have a file protection issue for your installation. Eclipse update is just silently failing to update rather than reporting "permission denied." Please check the date of the installed OSATE feature (Open Source AADL Tool Environment) under Help->About and then Installation Details. If it did not get updated to the most recent date, please change your permissions.
  2. Using the update site, when you are in OSATE (Eclipse) and just checked an update site for updates, Eclipse caches that information. If someone tells you about a new release on the update site, please exit and reenter OSATE so it will actually find the new release.

Changes and new features

  1. ResolvePrototypeUtil - FeatureGroupPrototypeActual support - https://github.com/osate/osate2-core/issues/285
  2. Constant property declaration using user-defined property set is not working - https://github.com/osate/osate2-core/issues/286
  3. Data_Volume property not defined in AADL_Project.aadl - https://github.com/osate/osate2-core/issues/287
  4. standard properties are no longer parsed - https://github.com/osate/osate2-core/issues/302
  5. Instantiated subcomponent has a component type only" error message - https://github.com/osate/osate2-core/issues/301
  6. Concrete Syntax Validation Error - https://github.com/osate/osate2-core/issues/299
  7. Connections are not required to have names - https://github.com/osate/osate2-core/issues/298
  8. getLocationReference() always returns null - https://github.com/osate/osate2-core/issues/295
  9. newFormal must be an instance of ComponentPrototype - https://github.com/osate/osate2-core/issues/293
  10. Connection Refinement Issue - https://github.com/osate/osate2-core/issues/291
  11. EMV2.aadl being included with OSATE - https://github.com/osate/osate2-core/issues/290
  12. Mode Transition Trigger Port Reference Issue - https://github.com/osate/osate2-core/issues/289
  13. Cannot resolve units type in constant declaration - https://github.com/osate/osate2-core/issues/288
  14. Connection id is now mandatory - https://github.com/osate/osate2-core/issues/304
  15. add nullity test to "upfgt" in Aadl2InstanceUtil.isSame - https://github.com/osate/osate2-core/issues/305
  16. Issue with Xtext Grammar/Meta Model - https://github.com/osate/osate2-core/issues/306
  17. System subcomponents become Abstract when instantiated - https://github.com/osate/osate2-core/issues/307
  18. Typo in Metamodel - https://github.com/osate/osate2-core/issues/308
  19. Hybrid and Timed literals do not exist in AadlProject - https://github.com/osate/osate2-core/issues/309
  20. OSATE allows subprograms to provide data access - https://github.com/osate/osate2-core/issues/310
  21. getSubcomponentType does not invoke eIsProxy if subcomponentType is null... - https://github.com/osate/osate2-core/issues/311
  22. Question on connecting 'out data port' to 'requires data access' - https://github.com/osate/osate2-core/issues/312
  23. Extra natures added to the Plugin_Resources project are always removed at startup. - https://github.com/osate/osate2-core/issues/319
  24. The name of a subcomponent should be set to null whenever its refined subcomponent is set to a non null value. - https://github.com/osate/osate2-core/issues/320
  25. AADL package section elements have a null qualified name. - https://github.com/osate/osate2-core/issues/321
  26. AADL navigator content provider throws null pointer exception for the Plugin_Resources project. - https://github.com/osate/osate2-core/issues/322
  27. AnnexParserAgent.java - https://github.com/osate/osate2-core/pull/284
  28. Error when defining bus binding - https://github.com/osate/ErrorModelV2/issues/39
  29. FHA cannot be generated when using error type - https://github.com/osate/ErrorModelV2/issues/38

Version 2.0.4

This release was published after the 2013 Fall AADL meeting hold in Montreal, Canada.

Release

Known issues

  1. Using the update site, under Windows7 you may have a file protection issue for your installation. Eclipse update is just silently failing to update rather than reporting "permission denied." Please check the date of the installed OSATE feature (Open Source AADL Tool Environment) under Help->About and then Installation Details. If it did not get updated to the most recent date, please change your permissions.
  2. Using the update site, when you are in OSATE (Eclipse) and just checked an update site for updates, Eclipse caches that information. If someone tells you about a new release on the update site, please exit and reenter OSATE so it will actually find the new release.
  3. If you updated an old Juno installation, you should also add the Kepler update site so that the Kepler dependencies can be updated as well.

Changes and new features

Version 2.0.3

This release was published after the 2013 Summer AADL meeting hold in Pittsburgh, USA.

Release

Known issues

  1. Using the update site, under Windows7 you may have a file protection issue for your installation. Eclipse update is just silently failing to update rather than reporting "permission denied." Please check the date of the installed OSATE feature (Open Source AADL Tool Environment) under Help->About and then Installation Details. If it did not get updated to the most recent date, please change your permissions.
  2. Using the update site, when you are in OSATE (Eclipse) and just checked an update site for updates, Eclipse caches that information. If someone tells you about a new release on the update site, please exit and reenter OSATE so it will actually find the new release.

Changes and new features

  • PRISM export now supports error propagation
  • Updated Error Model Support
  • Property editor updated and refined
  • Integration of Sphinx, contribution from Geensyde

Issues closed

Version 2.0.2

This release is published after the 2013 Spring AADL meeting hold in Jacksonville, USA. Please note that this release changed also the structure of our download area. The testing update site is now available on http://www.aadl.info/aadl/osate/testing/

Release

Known issues

  1. Using the update site, under Windows7 you may have a file protection issue for your installation. Eclipse update is just silently failing to update rather than reporting "permission denied." Please check the date of the installed OSATE feature (Open Source AADL Tool Environment) under Help->About and then Installation Details. If it did not get updated to the most recent date, please change your permissions.
  2. Using the update site, when you are in OSATE (Eclipse) and just checked an update site for updates, Eclipse caches that information. If someone tells you about a new release on the update site, please exit and reenter OSATE so it will actually find the new release.

Changes and new features

  • Integration of the Property View
  • Integration of the IMV viewer with error-model annex
  • Add the Markov-Chain export for the Error-Model
  • Add the Reliability Block Diagram analysis tool for the Error-Model
  • Add the Fault-Tree Analysis tool for the Error-Model
  • Improvements of the Fault Hazard Assessment
  • Clean up the AADL perspective, analysis function being available only when using AADL view

Issues closed

  1. Using Xtext to create annex- https://github.com/osate/osate2-core/issues/224
  2. Instanciation exception when using connection datasubcomponent -> call.dataaccess - https://github.com/osate/osate2-core/issues/222
  3. inconsistent kind between flow spec and implementation not detected
  4. Instanciation exception when using connection datasubcomponent -> call.parameter - https://github.com/osate/osate2-core/issues/220
  5. ConnectionKind in AADL2 Meta model - https://github.com/osate/osate2-core/issues/215
  6. mode specific property values in instance model - https://github.com/osate/osate2-core/issues/214
  7. AADL BA wizard examples - https://github.com/osate/osate2-core/issues/212
  8. conflicting handlers when invoking Content Assist - https://github.com/osate/osate2-core/issues/211
  9. clock_period and clock_period_range should apply to device - https://github.com/osate/osate2-core/issues/210
  10. Instence creation with prototype binding does not work - https://github.com/osate/osate2-core/issues/209
  11. flow latency calculation not correct for components without flow spec - https://github.com/osate/osate2-core/issues/207
  12. flow implementation without connections accepted without warning or error - https://github.com/osate/osate2-core/issues/206
  13. property association not created in instance model - https://github.com/osate/osate2-core/issues/205
  14. Missing connection instances - https://github.com/osate/osate2-core/issues/204
  15. User Interface Improvements - https://github.com/osate/osate2-core/issues/203
  16. ProeprtyView icon not found - https://github.com/osate/osate2-core/issues/202
  17. Resolution of Device_Driver property - https://github.com/osate/osate2-core/issues/200
  18. patch proposal - https://github.com/osate/osate2-core/issues/199
  19. Features direction for subprogram ports and thread ports - https://github.com/osate/osate2-core/issues/198
  20. (Modified) Plugin_Resources not updated upon 'Create/update Predeclared and Annex Properties'' - https://github.com/osate/osate2-core/issues/197
  21. flow path reports incrrectly that the port direction is wrong - https://github.com/osate/osate2-core/issues/196
  22. The AADL meta-models are not declared in the EMF package registry for the development time version. - https://github.com/osate/osate2-core/issues/195
  23. Last Connection Reference of a Connection Instance generated from a bidirectional feature group bug - https://github.com/osate/osate2-core/issues/194
  24. Aadl Property Viewer does not show values on virtual processor in instance model - https://github.com/osate/osate2-core/issues/193
  25. Some new operations in the meta-model are not implemented in the Java classes. - https://github.com/osate/osate2-core/issues/192
  26. null pointer error on OSATE startup when AADL Properties view is open - https://github.com/osate/osate2-core/issues/191
  27. requires subprogram access causes parsing error - https://github.com/osate/osate2-core/issues/189
  28. osate2-core now has dependency to ErrorModelV2 - https://github.com/osate/osate2-core/issues/188
  29. Problems with classifier matching rules on refined subcomponents. - https://github.com/osate/osate2-core/issues/182
  30. for bidirectional feature group connections false warning about no ingoing connection - https://github.com/osate/osate2-core/issues/184
  31. Can wrap illegal features inside legal feature groups - https://github.com/osate/osate2-core/issues/185
  32. class cast exception in validator - https://github.com/osate/osate2-core/issues/186
  33. FlowSpecificationInstance no longer has Source and Destination assigned - https://github.com/osate/osate2-core/issues/187

Version 2.0.1

This release is published after the Winter AADL meeting hold on Valencia, Spain. We thank again our host for hosting this event.

Release

Known issues

  1. Using the update site, under Windows7 you may have a file protection issue for your installation. Eclipse update is just silently failing to update rather than reporting "permission denied." Please check the date of the installed OSATE feature (Open Source AADL Tool Environment) under Help->About and then Installation Details. If it did not get updated to the most recent date, please change your permissions.
  2. Using the update site, when you are in OSATE (Eclipse) and just checked an update site for updates, Eclipse caches that information. If someone tells you about a new release on the update site, please exit and reenter OSATE so it will actually find the new release.

Changes and new features

  • LUTE integration in AADL plug-ins
  • Instance Model Viewer Integration
  • Error Model Annex v1
  • Error Model Annex v2
  • Integration of Ocarina specific property sets
  • Migration to Eclipse/Juno
  • ARINC653 validation functions
  • Support for ARINC653 annex
  • Update of help content within Eclipse (with Java API, plugins description, etc.)
  • User feedback when model instantiation fails
  • System Instance can be validated using EMF
  • Property viewer integration
  • Reference Manual integration

Bugfixes

  1. Subprogram implementations in call sequences (https://github.com/osate/osate2-core/issues/181)
  2. Flows through feature groups (cf. https://github.com/osate/osate2-core/issues/179)
  3. subcomponent reference required in system instance (https://github.com/osate/osate2-core/issues/142)
  4. duplicate flow implementations not reported (https://github.com/osate/osate2-core/issues/164)
  5. Implement classifier matching rule other than default rule (https://github.com/osate/osate2-core/issues/69)
  6. Semantic checking of flows (https://github.com/osate/osate2-core/issues/67)
  7. Semantic checking of access connections (https://github.com/osate/osate2-core/issues/66)
  8. Requires subprogram in feature group prototype (https://github.com/osate/osate2-core/issues/166)
  9. Nested inverse of feature groups (https://github.com/osate/osate2-core/issues/177)
  10. Connection Instance property when Multiple properties exist, only creates one in certain cases. (https://github.com/osate/osate2-core/issues/178)
  11. ForAllElement.defaultTraversalAllDeclarativeModels() not working (https://github.com/osate/osate2-core/issues/169)
  12. Error instantiating model (https://github.com/osate/osate2-core/issues/176)
  13. AADL connection instance property. "applies to" does not work. (https://github.com/osate/osate2-core/issues/174)
  14. DATA_VOLUME_UNITS is now defined in AADL_Project
  15. AADL_Project.java file need update for Data_Volume_Units (https://github.com/osate/osate2-core/issues/173)
  16. Invalid ConnectionInstance property value (https://github.com/osate/osate2-core/issues/171)
  17. Property Association Missing in instantiation - https://github.com/osate/osate2-core/issues/168
  18. Access features are missing the super class of the specific category in the Meta model - https://github.com/osate/osate2-core/issues/167
  19. Instantiation error (regression); trace suggests it comes from the process component - https://github.com/osate/osate2-core/issues/172
  20. Naming resolution error: subprogram call context not found - https://github.com/osate/osate2-core/issues/170
  21. Incorrect error reporting: "Value for property.. is inconsistent along connection" - https://github.com/osate/osate2-core/issues/158
  22. Menu item failures from 2013-01-30 Development Branch. - https://github.com/osate/osate2-core/issues/165
  23. Support of Juno - https://github.com/osate/osate2-core/issues/139
  24. Cyclic reference error when typing in an alias (renames) - https://github.com/osate/osate2-core/issues/163
  25. Exception when Instantiating System with Warning - https://github.com/osate/osate2-core/issues/162
  26. Type mis-match warning on correct connection - https://github.com/osate/osate2-core/issues/155
  27. Error when instantiating the model - https://github.com/osate/osate2-core/issues/156
  28. Incorrect message for feature direction in flow implementation - https://github.com/osate/osate2-core/issues/161
  29. Incorrect error message on flow between elements of feature groups - https://github.com/osate/osate2-core/issues/160
  30. Error in org.osate.imv.propertydecorations.threads - https://github.com/osate/osate2-core/issues/159
  31. Support for subprogram implementation - https://github.com/osate/osate2-core/issues/153
  32. Visibility differs in subcomponent declaration versus properties section - https://github.com/osate/osate2-core/issues/152
  33. Illegal refinement of category type allowed - https://github.com/osate/osate2-core/issues/150
  34. Instance model error - https://github.com/osate/osate2-core/issues/151
  35. Package visible without being withed - https://github.com/osate/osate2-core/issues/149
  36. Property association classifier type - https://github.com/osate/osate2-core/issues/148
  37. setPropertyValue method in NamedElementImpl - https://github.com/osate/osate2-core/issues/59
  38. Formatting (via I or format command seems to loose the text in annexes. - https://github.com/osate/osate2-core/issues/145
  39. Subset matching for feature group is not supported yet - https://github.com/osate/osate2-core/issues/107
  40. renames causes cyclic lazy resolution - https://github.com/osate/osate2-core/issues/143
  41. Checking type of reference value and classifier value - https://github.com/osate/osate2-core/issues/68
  42. Property constant as value in range - https://github.com/osate/osate2-core/issues/129
  43. Bus classifier not recognized in bus access connection for refined features. - https://github.com/osate/osate2-core/issues/121
  44. Local path in target definition - https://github.com/osate/osate2-core/issues/7
  45. Instance model corrupted when error occurs - https://github.com/osate/osate2-core/issues/135
  46. Verification of duplicate elements - https://github.com/osate/osate2-core/issues/141
  47. Instanciation error with Compute_Execution_Time property - https://github.com/osate/osate2-core/issues/140
  48. Check for duplicate packages too restrictive - https://github.com/osate/osate2-core/issues/91
  49. Default port "Complete" is not working - https://github.com/osate/osate2-core/issues/114
  50. Property association omitted at instantiation of virtual processors
  51. Inconsistent literals for properties - https://github.com/osate/osate2-core/issues/45
  52. Property sets for AADL annexes - https://github.com/osate/osate2-core/issues/64
  53. Subprogam call name resolution - https://github.com/osate/osate2-core/issues/127
  54. Record values surrounded with () vs. [] is inconsistent - https://github.com/osate/osate2-core/issues/137
  55. Non-existent qualified name for a property - https://github.com/osate/osate2-core/issues/138
  56. Enumeration literal not recognized - https://github.com/osate/osate2-core/issues/133
  57. EValidator error when property constant is used as value - https://github.com/osate/osate2-core/issues/134
  58. Incorrect error msg: "Connection between two components that inherit features is not supported" - https://github.com/osate/osate2-core/issues/136
  59. Error with OSATE views - https://github.com/osate/osate2-core/issues/128
  60. Bug with creating the connection instance with abstract component - https://github.com/osate/osate2-core/issues/118
  61. About dialog is outdated - https://github.com/osate/osate2-core/issues/123
  62. Method "acceptsProperty" in ComponentInstanceImpl always return true whatever the property is. - https://github.com/osate/osate2-core/issues/122
  63. Property applicability clause to classifiers not recognized. - https://github.com/osate/osate2-core/issues/120
  64. Discrepancy between ModeTransition ecore class and Java class - https://github.com/osate/osate2-core/issues/124
  65. OsateResourceUtil bug? - https://github.com/osate/osate2-core/issues/42
  66. Propertyset projects have been replaced by properties projects, this has... - https://github.com/osate/osate2-core/pull/125
  67. Exception at ConnectionInstanceImpl.java (Line 843) - https://github.com/osate/osate2-core/issues/112
  68. null pointer exception on hashcode of PropertyImpl - https://github.com/osate/osate2-core/issues/130
  69. Duplicate Element 'mils_example' in PublicPackageSection 'Test_Package' example.aadl - https://github.com/osate/osate2-core/issues/132
  70. Handling of instantiating a System when the model has errors. - https://github.com/osate/osate2-core/issues/77
  71. Array size via property value - https://github.com/osate/osate2-core/issues/89
  72. Workspace synchronization when instanciate several systems - https://github.com/osate/osate2-core/issues/119
  73. Meta model support for contaiment path in core AADL with annex specific segments - https://github.com/osate/osate2-core/issues/146

This page uses the Cayman theme by Jason Long.