| 1 | -----------------
|
|---|
| 2 | | Release notes |
|
|---|
| 3 | -----------------------------------------
|
|---|
| 4 | | STOOD 5.4 - February 2015 |
|
|---|
| 5 | | (v.5.4.2 for Windows 18.Feb.2015) |
|
|---|
| 6 | | (v.5.4.3 for Unix 18.Feb.2015) |
|
|---|
| 7 | | copyright Ellidiss 2015 |
|
|---|
| 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.0/1 - Oct 2013)
|
|---|
| 15 | Note: the HOOD features remain unchanged
|
|---|
| 16 |
|
|---|
| 17 | 1. Bug fixes and enhancements
|
|---|
| 18 |
|
|---|
| 19 | RASTO 14_001 No way to draw a transition to an initial state.
|
|---|
| 20 | RASTO 14_002 Bad BA generation for subprograms.
|
|---|
| 21 | RASTO 14_003 Change default creation name from "port_group" to "feature_group".
|
|---|
| 22 | RASTO 14_004 Missing Requires Subprogram Access for Subprogram Calls.
|
|---|
| 23 | RASTO 14_005 ".others" implementations are not generated.
|
|---|
| 24 | RASTO 14_006 Crash while dragging a spg feature into a feature group.
|
|---|
| 25 | RASTO 14_007 Provides Subprogram Access Features not included in Feature Groups.
|
|---|
| 26 | RASTO 14_008 Crash while using the contextual menu on Test Strategy ODS sections.
|
|---|
| 27 | RASTO 14_009 AADL code generation issues.
|
|---|
| 28 | RASTO 14_010 Improvements in Modes and Behavior Annex.
|
|---|
| 29 | RASTO 14_011 No way to connect a provides subprogram access feature to the corresponding subprogram subcomponent.
|
|---|
| 30 | RASTO 14_012 Support of subprogram groups.
|
|---|
| 31 | RASTO 14_013 ODS simplification and enhancements for the AADL configuration.
|
|---|
| 32 | RASTO 14_014 Bad AADL code generation for Data Implementation Extension.
|
|---|
| 33 | RASTO 14_015 Crash when imported component is SYSTEM_CONFIGURATION.
|
|---|
| 34 | RASTO 14_016 Remove the automatic creation of a "thread" subprogram.
|
|---|
| 35 | RASTO 14_017 Changes in _main.c code generation.
|
|---|
| 36 | RASTO 14_018 Change default AADL implementation name.
|
|---|
| 37 | RASTO 14_019 Crash with find button in the checker toolbar
|
|---|
| 38 |
|
|---|
| 39 | 2. Updating the AADL code generator
|
|---|
| 40 |
|
|---|
| 41 | AADL170 (12.Nov.13) fixing issue with behavior annex of subprograms
|
|---|
| 42 | AADL171 (27.Dec.13) rebranching calls between subprograms
|
|---|
| 43 | AADL172 (27.Jun.14) fixing issue of 'others' implementations not generated
|
|---|
| 44 | AADL173 (02.Jul.14) adding provides subprogram access features into feature groups
|
|---|
| 45 | AADL174 (03.Jul.14) do not suffix AADL v1 reserved words if AADL v2
|
|---|
| 46 | AADL175 (04.Jul.14) fixing a syntax issue for data subcomponents created with the attributes predicate
|
|---|
| 47 | AADL176 (04.Jul.14) adding in modes subclause for subcomponents
|
|---|
| 48 | AADL177 (04.Jul.14) fixing a naming issue for subprogram calls
|
|---|
| 49 | AADL178 (08.Jul.14) adding BA generation from STD and improving modes generation
|
|---|
| 50 | AADL179 (09.Jul.14) handling connections between prov spg access features and spg subcomp call event
|
|---|
| 51 | AADL180 (09.Jul.14) handling subprogram group components
|
|---|
| 52 | AADL181 (01.Aug.14) adding AADL properties in Packages
|
|---|
| 53 | AADL182 (12.Aug.14) fixing a bug when project and design have the same name
|
|---|
| 54 | AADL183 (12.Aug.14) adding AADL properties in Feature Groups
|
|---|
| 55 | AADL184 (23.Sep.14) fixing bug in data implementation extension
|
|---|
| 56 | AADL185 (31.Oct.14) enabling long pathnames in makefile
|
|---|
| 57 | AADL186 (31.Oct.14) fixing bugs in subprogram group recognition and features
|
|---|
| 58 | AADL187 (10.Nov.14) new default impl name policy (cf.RASTO 14_018)
|
|---|
| 59 | AADL188 (10.Nov.14) insert subcomponent properties when its component classifier is qualified
|
|---|
| 60 | AADL189 (10.Nov.14) fixing bugs in BA generation from STD
|
|---|
| 61 | AADL190 (11.Feb.15) inserts annexes in component type if no implementation
|
|---|
| 62 | AADL191 (19.Feb.15) short feature type reference when locally defined
|
|---|
| 63 | AADL192 (19.Feb.15) new pragma use_all to generate renames p::all
|
|---|
| 64 | AADL193 (19.Feb.15) new reserved word INTERNAL (errata AADL 2.1)
|
|---|
| 65 |
|
|---|
| 66 | 3. Integration of AADL Inspector 1.5
|
|---|
| 67 |
|
|---|
| 68 | 4. More AADL examples
|
|---|
| 69 |
|
|---|
| 70 | - "Dataflow.syc": dataflow inter-threads communication
|
|---|
| 71 | - "Deadlock.syc": possible deadlock situation
|
|---|
| 72 | - "PriorityInversion.syc": possible priority inversion situation
|
|---|
| 73 | - "Asynchronous.syc": user interaction with a simulated coffee machine
|
|---|
| 74 | - "TimeSpacePartitioning.syc": simple ARINC653 system
|
|---|
| 75 | - "DistributedSystem.syc": CAN bus based distributed architecture of a solar vehicule
|
|---|
| 76 | - "ControlSystem.syc": an automated heat regulator
|
|---|
| 77 | - "RedundantSystem.syc": three sensor failure detection system
|
|---|
| 78 | - "SystemModeling.syc": architectural design of an isolette with requirements traceability
|
|---|
| 79 | - "FlightSystem.syc": simplified aircraft flight system.
|
|---|
