----------------- | Release notes | ----------------------------------------- | STOOD 5.4 - February 2015 | | (v.5.4.2 for Windows 18.Feb.2015) | | (v.5.4.3 for Unix 18.Feb.2015) | | copyright Ellidiss 2015 | | support: | | - stood@ellidiss.com | | - UK: +44 (0) 1260 291 449 | | - FR: +33 (0) 298 451 870 | ----------------------------------------- Main changes since last version (Stood 5.3.0/1 - Oct 2013) Note: the HOOD features remain unchanged 1. Bug fixes and enhancements RASTO 14_001 No way to draw a transition to an initial state. RASTO 14_002 Bad BA generation for subprograms. RASTO 14_003 Change default creation name from "port_group" to "feature_group". RASTO 14_004 Missing Requires Subprogram Access for Subprogram Calls. RASTO 14_005 ".others" implementations are not generated. RASTO 14_006 Crash while dragging a spg feature into a feature group. RASTO 14_007 Provides Subprogram Access Features not included in Feature Groups. RASTO 14_008 Crash while using the contextual menu on Test Strategy ODS sections. RASTO 14_009 AADL code generation issues. RASTO 14_010 Improvements in Modes and Behavior Annex. RASTO 14_011 No way to connect a provides subprogram access feature to the corresponding subprogram subcomponent. RASTO 14_012 Support of subprogram groups. RASTO 14_013 ODS simplification and enhancements for the AADL configuration. RASTO 14_014 Bad AADL code generation for Data Implementation Extension. RASTO 14_015 Crash when imported component is SYSTEM_CONFIGURATION. RASTO 14_016 Remove the automatic creation of a "thread" subprogram. RASTO 14_017 Changes in _main.c code generation. RASTO 14_018 Change default AADL implementation name. RASTO 14_019 Crash with find button in the checker toolbar 2. Updating the AADL code generator AADL170 (12.Nov.13) fixing issue with behavior annex of subprograms AADL171 (27.Dec.13) rebranching calls between subprograms AADL172 (27.Jun.14) fixing issue of 'others' implementations not generated AADL173 (02.Jul.14) adding provides subprogram access features into feature groups AADL174 (03.Jul.14) do not suffix AADL v1 reserved words if AADL v2 AADL175 (04.Jul.14) fixing a syntax issue for data subcomponents created with the attributes predicate AADL176 (04.Jul.14) adding in modes subclause for subcomponents AADL177 (04.Jul.14) fixing a naming issue for subprogram calls AADL178 (08.Jul.14) adding BA generation from STD and improving modes generation AADL179 (09.Jul.14) handling connections between prov spg access features and spg subcomp call event AADL180 (09.Jul.14) handling subprogram group components AADL181 (01.Aug.14) adding AADL properties in Packages AADL182 (12.Aug.14) fixing a bug when project and design have the same name AADL183 (12.Aug.14) adding AADL properties in Feature Groups AADL184 (23.Sep.14) fixing bug in data implementation extension AADL185 (31.Oct.14) enabling long pathnames in makefile AADL186 (31.Oct.14) fixing bugs in subprogram group recognition and features AADL187 (10.Nov.14) new default impl name policy (cf.RASTO 14_018) AADL188 (10.Nov.14) insert subcomponent properties when its component classifier is qualified AADL189 (10.Nov.14) fixing bugs in BA generation from STD AADL190 (11.Feb.15) inserts annexes in component type if no implementation AADL191 (19.Feb.15) short feature type reference when locally defined AADL192 (19.Feb.15) new pragma use_all to generate renames p::all AADL193 (19.Feb.15) new reserved word INTERNAL (errata AADL 2.1) 3. Integration of AADL Inspector 1.5 4. More AADL examples - "Dataflow.syc": dataflow inter-threads communication - "Deadlock.syc": possible deadlock situation - "PriorityInversion.syc": possible priority inversion situation - "Asynchronous.syc": user interaction with a simulated coffee machine - "TimeSpacePartitioning.syc": simple ARINC653 system - "DistributedSystem.syc": CAN bus based distributed architecture of a solar vehicule - "ControlSystem.syc": an automated heat regulator - "RedundantSystem.syc": three sensor failure detection system - "SystemModeling.syc": architectural design of an isolette with requirements traceability - "FlightSystem.syc": simplified aircraft flight system.