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.
|
---|