| 1 | -----------------
|
|---|
| 2 | | Release notes |
|
|---|
| 3 | -----------------------------------------
|
|---|
| 4 | | STOOD 5.4 - october 2013 |
|
|---|
| 5 | | (v.5.4.0 for Windows 21.Oct.2013) |
|
|---|
| 6 | | (v.5.4.1 for Unix 21.Oct.2013) |
|
|---|
| 7 | | copyright Ellidiss 2013 |
|
|---|
| 8 | | support: |
|
|---|
| 9 | | - stood@ellidiss.com |
|
|---|
| 10 | | - UK: +44 (0) 1260 291 449 |
|
|---|
| 11 | | - FR: +33 (0) 298 451 870 |
|
|---|
| 12 | -----------------------------------------
|
|---|
| 13 |
|
|---|
| 14 | Main changes since last version (Stood 5.3.28/29 - Oct 2011)
|
|---|
| 15 | Note: the HOOD features remain unchanged
|
|---|
| 16 |
|
|---|
| 17 | 1. Extending the scope of supported AADL 2.1 features by the graphical editor
|
|---|
| 18 |
|
|---|
| 19 | - RASTO_13_001 (major) Adding AADL Virtual Buses
|
|---|
| 20 | - RASTO_13_002 (major) Adding AADL Memory subcomponents in Memories
|
|---|
| 21 | - RASTO_13_003 (major) Adding AADL Data subcomponents in Subprograms
|
|---|
| 22 |
|
|---|
| 23 | 2. Updating and Extending the scope of supported AADL 2.1 and annexes by the ODS editor
|
|---|
| 24 |
|
|---|
| 25 | - updating core AADL predefined properties to v2.1 (document SAE AS 5506B)
|
|---|
| 26 | - adding AADL Data Model Annex properties (document SAE AS 5506/1)
|
|---|
| 27 | - adding AADL ARINC653 Annex properties (document SAE AS-5506/2)
|
|---|
| 28 | - adding support of AADL Abstract components (pragma abstract on Systems)
|
|---|
| 29 | - adding support of AADL Error Model v1 and v2 (sections emv1 and emv2)
|
|---|
| 30 |
|
|---|
| 31 | 3. Updating and Extending the scope of supported AADL 2.1 and annexes by the ODS editor
|
|---|
| 32 |
|
|---|
| 33 | - AADL157 (30.Jan.12) changing .project file for Osate 2
|
|---|
| 34 | - AADL158 (24.May.13) adding an id for connections (mandatory in AADL v2.1)
|
|---|
| 35 | - AADL159 (24.May.13) changing file list (makefile) into AI project file
|
|---|
| 36 | - AADL160 (12.Aug.13) removing nl at the end of generated files (issue with line numbering in AI)
|
|---|
| 37 | - AADL161 (12.Aug.13) using 'NIL' instead of 'others' for empty implementations (reverts AADL132)
|
|---|
| 38 | - AADL162 (12.Aug.13) fixing issues with feature groups and inverse of
|
|---|
| 39 | - AADL163 (12.Aug.13) keeping AADL v1 reserved words (REFINES, SERVER, VALUE) for aadlrev
|
|---|
| 40 | - AADL164 (12.Aug.13) handling ABSTRACT components and features: pragma abstract
|
|---|
| 41 | - AADL165 (12.Aug.13) keeping always a PUBLIC section to handle the WITH statements
|
|---|
| 42 | - AADL166 (20.Aug.13) handling Error Annex v1 + v2 ODS sections
|
|---|
| 43 | - AADL167 (09.Sep.13) adding with Data_Model or with ARINC653 when using such ODS sections
|
|---|
| 44 | - AADL168 (18.Sep.13) adding virtual buses
|
|---|
| 45 | - AADL169 (29.Oct.13) adding Error Annex Libraries v1 + v2 ODS sections for packages
|
|---|
| 46 |
|
|---|
| 47 | 4. Integration of AADL Inspector 1.2
|
|---|
| 48 |
|
|---|
| 49 | - updated AADL parser with support of AADL 2.1 and EMV2 draft 0.95
|
|---|
| 50 | - including Cheddar v3 (schedulability analysis)
|
|---|
| 51 | - including Marzhin v2 (run-time simulation)
|
|---|
| 52 | - enhanced graphical chronograms
|
|---|
| 53 |
|
|---|
| 54 | 5. More AADL examples
|
|---|
| 55 |
|
|---|
| 56 | - ARINC 653 example:
|
|---|
| 57 | same example as the one in the AADL ARINC653 Annex document
|
|---|
| 58 | - Isolette example: this model is directly inspired from
|
|---|
| 59 | the ISOLETTE THERMOSTAT EXAMPLE provided in APPENDIX A of
|
|---|
| 60 | the Requirements Engineering Management Handbook, DOT/FAA/AR-08/32, June 2009.
|
|---|
| 61 | Authors: David L. Lempia and Steven P. Miller, Rockwell Collins, Inc.
|
|---|
| 62 | - Error Model V1 example:
|
|---|
| 63 | same example as the one in the AADL Error Model (v1) Annex document
|
|---|
