[aadl]: New maintenance release: OSATE 2.2.1 update 02

[Lutz Wrage]

A maintenance release of OSATE, version 2.2.1 update 01, is now available for 
download at http://www.aadl.info/aadl/osate/stable/2.2.1/products/. The zip 
files contain the complete version of OSATE.

An existing installation of OSATE 2.2.1 can be updated using 
Help -> Check for Updates

For installation into an existing Eclipse Mars.2 installation, an update site is
available at http://www.aadl.info/aadl/osate/stable/2.2.1/update-site/.

As always, please report bugs using the appropriate github issue tracker
For the graphical editor: https://github.com/osate/osate-ge/issues
For the error model annex: https://github.com/osate/ErrorModelV2/issues
For model analyses: https://github.com/osate/osate2-plugins/issues
For the behavior annex: https://github.com/osate/osate2-ba/issues
For everything else or if in doubt: https://github.com/osate/osate2-core/issues

See our web site at http://osate.org for OSATE related information including 
download and installation instructions.

Release Notes for OSATE 2.2.1 update 01
=======================================

This release is based on Eclipse Mars.2 (4.5.2). OSATE requires Java 8.

This is a maintenance release that contains bug fixes and improvements to the ReqSpec language. It also includes a beta version the verify and assure languages.

Notable Changes

* Added missing Array_Size_Range property type
* Updated help text for flow latency analysis
* Many small improvements to the graphical editor
* Various improvements for fault tree generation
* Included a beta version of The Verify and Alisa languages to verify requirements specified in ReqSpec

Fixed Issues

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

Known Issues

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

-- 

Lutz Wrage
Carnegie Mellon University / Software Engineering Institute
Architecture Practices Initiative
412-268-7771