releaseNoteStood:: Stood5-1-272-Oct-2006.txt

File Stood5-1-272-Oct-2006.txt, 17.0 KB (added by alan, 15 years ago)
Line 
1-----------------
2| Release notes |
3-----------------------------------------
4| STOOD 5.1 - Oct 2006 |
5| (v.5.1.272 for Windows 18.Oct.2006) |
6| (v.5.0.275 for Unix 19.Oct.2006) |
7| copyright Ellidiss 2006 |
8| support: |
9| - stood@ellidiss.com |
10| - UK: +44 (0) 1260 291 449 |
11| - FR: +33 (0) 298 451 870 |
12-----------------------------------------
13
14Main changes since last version (Stood 5.0 - May 2005)
15
16
171. Changes overview
18-------------------
19
20AADL 1.0 textual and graphical editing features have been added to Stood:
21- New AADL graphical editor that complements HOOD and UML diagrams
22- New config_AADL specific configuration to manage AADL properties
23- New version of the AADL code generator
24- New version of the AADL import engine
25
262. Fixed known issues
27---------------------
28
29RASTO_06_001
30Issue: Bad re-initialization of period or min arrival time real time properties
31Effect: Message not understood 12382
32Comment: No issue with v5.0 (connected to the new AADL graphical editor)
33Solution: Fixed in the kernel
34Test case: test_06_001a.sts (period) and test_06_001b.sts (min arrival time)
35
36RASTO_06_002
37Issue: Problem with dataflows while importing SIF files (or reversing code)
38Effect: Message not understood 11023
39Comment: No issue with v5.0 (connected to the new AADL connection rules)
40Solution: Fixed in the kernel
41Test case: test_06_002.sts
42
43RASTO_06_003
44Issue: Problem with incomplete use links while updating from SIF (or from code)
45Effect: Message not understood 11777
46Comment: Try to connect inexistent components
47Solution: Fixed in the kernel
48Test case: test_06_003.sts
49
50RASTO_06_004
51Issue: Problem using exit menu from main menu bar
52Effect: Message subclass responsability
53Comment: No issue with v5.0 (connected to the new AADL graphical editor)
54Solution: Fixed in the kernel
55Test case: test_06_004.sts
56
57RASTO_06_005
58Issue: Crash when connecting a port group containing a port group
59Effect: System error
60Comment:
61Solution: Fixed in the kernel
62Test case: test_06_005.sts
63
643. AADL Completeness
65--------------------
66
67RASTO_06_006
68Issue: Missing menus in main menu bar:
69- Tools/Graphic design/AADL components
70- Help/Graphic design/AADL
71Effect: No way to select the AADL view with a STShell or to provide contextual
72help for this graphical editor.
73Comment:
74Solution: Fixed in the kernel the initialization files and the configuration
75- Caution: button bars definition in stood.ini and .stoodrc must be updated
76- Adding files gra_aadl and gra_aadl.more in config/help
77Test case: included in the global testing of the main menu bar
78(test-161*6.sts and test-161*7.sts)
79
80RASTO_06_007
81Issue: Unable to perform system level modelling
82Effect: Cannot create AADL subsystems
83Comment:
84Solution: Fixed in the kernel
85Adding new AADL related design entrypoints
86(AADL system, AADL package, AADL process and AADL processor)
87
88RASTO_06_008
89Issue: Need to be able to create 1-n data port and n-n event port connections
90between a component and its subcomponents.
91A HOOD compatibility switch must be introduced in the init file.
92Effect: mismatch between HOOD and AADL semantics for parent-child connections
93Comment:
94Solution: Fixed in the kernel
95Default behaviour is now AADL semantics
96To enforce HOOD semantics, use new property: General.HoodCompliancy:Yes
97Test case: test_06_008a.sts and test_06_008b.sts
98
99RASTO_06_009
100Issue: Need to be able to distinguish between immediate and delayed port connections
101Effect: missing AADL construct
102Comment:
103Solution: Fixed in the kernel and the AADL code generation (AADL038)
104Option box "immediate" in the dialog box of menu Features/Connect feature
105New contextual menu on a data port connection "Delayed data connection"
106Use double line style for graphical notation of delayed connections
107New SIF pragma:
108PRAGMA AADL_CONNECTION(
109obj1 => origin,
110obj2 => destination,
111flow => AADL_connection_id,
112kind => --|delayed|-- or --|immediate|--)
113Remaining issues: graphical notation is not standard
114Test case: test_06_009.sts
115
116RASTO_06_010
117Issue: Need to be able to create AADL bus, device and memory
118Effect: Incomplete support of the AADL standard
119Comment:
120Solution: Fixed in the kernel
121Test case: test_06_010.sts
122
123RASTO_06_011
124Issue: Need to manage provides data access features
125Effect:
126Comment:
127Solution: Fixed in the kernel
128Practically, we do not create "provides data access" features in Stood.
129They are only realized through "data access connections" that are now propagated
130along the component hierarchy.
131Test case: test_06_011.sts
132
133RASTO_06_013
134Issue: Need a smarter way to enter component type and implementation names
135Effect:
136Comment: Although Stood mainly deals with intantiated components, their name
137usually refer to the subcomponent name. However their type and implementation names
138can be also specified as pragmas. If not explicitly specified, default naming rules
139are used (type name = subcomponent name and implementation name = others).
140Solution: Fixed in the kernel
141Use the rename dialog box to update pragma values.
142PRAGMA type_name (name => --|component_type_identifier|--)
143PRAGMA implementation_name (name => --|component_implementation_identifier|--)
144
1454. Other improvements
146---------------------
147
148RASTO_06_014
149Issue: An internal "thread" operation should be created automatically for AADL threads
150Effect: No access to real time attributes or behavioural code
151Comment: Should apply to all AADL threads (i.e. including HOOD terminal active objects)
152Solution: Fixed in the kernel and the AADL code generation (AADL037)
153Test case: test_06_014.sts
154
155RASTO_06_016
156Issue: Show public types of a package
157Effect: No way to distinguish public and private data components in a package
158Comment: Need to introduce graphically an interface for packages.
159Re-use of HOOD "type implemented_by" construct for that
160Solution: Fixed in the kernel and the AADL code generation (AADL042)
161New contextual menu: set public / set private
162Test case: test_06_016.sts
163
164RASTO_06_017
165Issue: Enable display of ports on the right border of a component
166Effect: All port connections start and end on the left border.
167Comment:
168Solution: Fixed in the kernel
169New contextual menu: left alignment / right alignment
170Test case: test_06_017.sts
171
172RASTO_06_019
173Issue: Database proc17 doesn’t provide AADL compliant information
174Effect: get a generic "Object xxx is" instead of "Thread xxx is"
175Comment:
176Solution: Fixed in the kernel
177New Database proc14
178
179RASTO_06_020
180Issue: Connection between port groups should be shown
181Effect:
182Comment:
183Solution: Fixed in the kernel and the AADL code generator (AADL036)
184
185RASTO_06_026
186Issue: No way to perform an AADL connection with a STShell
187Effect: Unable to complete many test cases
188Comment:
189Solution: Fixed in the kernel
190New menu item: Feature/Connect feature
191Test case: covered by test-16115.sts
192
193RASTO_06_039
194Issue: Connections are not deleted when one of its ports is deleted
195Effect: The model may contain many obsolete connections
196Comment:
197Solution: Fixed in the kernel
198
1995. Changes in Database descriptor
200---------------------------------
201
202RASTO_06_021
203Issue: In config AADL: bad logical name PropTxt instead of CstTxt
204Effect: Generate a syntax error at SIF parsing when finding comments for constants
205Comment:
206Solution: Fixed in DataBase file (new:<; old:>):
207197c187
208< 'property description' CstTxt
209---
210> 'property description' PropTxt
211
212RASTO_06_022
213Issue: In config AADL: description section labels used by reverse engines have been changed
214"Statement of the problem (text)" was replaced by "Statement of the problem"
215"General strategy (text)" was replaced by "General strategy"
216Effect: Generate useless dialogs to match description sections while importing SIF files.
217Comment:
218Solution: Fixed in DataBase file and in AADL import (AADR007)
21980c80
220< 'Statement of the Problem (text)' DOC11
221---
222> 'Statement of the Problem' DOC11
22399c99
224< 'General Strategy (text)' DOC21
225---
226> 'General Strategy' DOC21
2271138c1138
228< 'Statement of the Problem (text)' DOC11
229---
230> 'Statement of the Problem' DOC11
2311152c1152
232< 'General Strategy (text)' DOC21
233---
234> 'General Strategy' DOC21
235
236RASTO_06_023
237Issue: In config_AADL: no way to edit properties for subprogram components
238Effect: no ods for subprogram components (op_control)
239Comment:
240Solution: Fixed in DataBase file (new:<; old:>):
241130c130
242< (level 2
243---
244> (level 2 when \o
245173,174c173,174
246< 'PROPERTIES' ProvCsts
247< (level 3 when a+cy+sp+pr+c+o
248---
249> 'PROPERTIES' TypeProperties
250> (level 3 when a+cy+sp+pr+c
251178c178
252< (level 4 when \a.\c.\o
253---
254> (level 4 when \a.\c
255267c267
256< (level 3 when a+cy+sp+pr+c+o
257---
258> (level 3 when a+cy+sp+pr+c
2591121c1121
260< (level 1 when \sroot.\(a+cy+sp+pr+c+v+o)
261---
262> (level 1 when \sroot.\(a+cy+sp+pr+c+v)
263
264RASTO_06_024
265Issue: In config_AADL: no way to edit properties for an internal operation (i.e. thread)
266Effect: Cannot specify wcet property
267Comment:
268Solution: Fixed in DataBase file (new:<; old:>):
269271c271
270< (level 4 list 1112
271---
272> (level 4 list 1110
273276c276
274< (level 5 when \root2+f list 1112
275---
276> (level 5 when \root2+f list 1110
277281c281
278< (level 5 list 1112
279---
280> (level 5 list 1110
281286c286
282< (level 5 list 1112
283---
284> (level 5 list 1110
285291c291
286< (level 5 list 1112
287---
288> (level 5 list 1110
289296c296
290< (level 5 list 1112
291---
292> (level 5 list 1110
293
294RASTO_06_025
295Issue: In config_AADL, ODS sections Id are not unique
296(duplicated for process and packages sub-ods)
297Effect: Duplicate Ids may cause various issues.
298Comment:
299Solution: Fixed in DataBase file (new:<; old:>):
300< 'SUBCOMPONENTS' TypeAttributes0
301< (level 3 when c + pr list 1210
302---
303> 'SUBCOMPONENTS' TypeAttributes
304> (level 3 when c + pr list 1210
305
306RASTO_06_040
307Issue: In config_AADL, a few HOOD sections need to be made visible again in the ODS
308(type inheritance for classes to manage AADL extends and operation constraints)
309Effect: No access to part of the model
310Comment:
311Solution: Fixed in DataBase file (new:<; old:>):
312172a172,176
313<
314< 'EXTENDS' TypeDerivation
315< (level 3 when c list 1210
316< text 30
317< doc CODE flags eOds)
318293c298
319> doc CODE)
320---
321< doc CODE flags eOds)
322
323RASTO_06_029
324Issue: Contextual help, ODS help and template files are not up to date in the config
325Effect:
326Comment:
327Solution: Fixed in configuration files
328
329RASTO_06_031
330Issue: The AADL code generator needs to be updated for CHEDDAR connection
331Effect:
332Comment:
333Solution: Fixed in AADL code generator (AADL035)
334New pragma cheddar(Scheduling_Protocol)
335Generates a default processor with given scheduling protocol
336Generates a default binding between main process and default processor
337Changes in externalTools/cheddar.sh to add -I option for properties directory
338
3395. General Issues
340-----------------
341
342RASTO_06_028
343Issue: Requirements list not always properly saved
344Effect: Some editing actions do not imply a proper save of changes in requirements.
345Comment:
346Solution: Fixed in the kernel
347Test case: test_06_028.sts
348
349RASTO_06_034
350Issue: Improve reuse of components
351Effect: Current import features are not appropriate to instantiate AADL components
352defined in a package or clone subcomponents.
353Comment:
354Solution: Fixed in the kernel
355New copy / paste contextual menu in the design tree
356Similar effect can be obtained by a drag&drop from the design tree to the diagram
357
358RASTO_06_038
359Issue: Restriction in Windows directories for installation and repositories
360Effect: No way to use "Program Files" or "My Documents"
361Comment: All bash command parameters involving pathnames should be double-quoted
362Solution: Fixed in the .sh files of the configutarion
363
364RASTO_06_042
365Issue: Support of Greenhills Multi Ada filename suffixes
366Effect: Cannot manage suffix like .1.ada and .2.ada
367Comment:
368Solution: Fixed in the kernel and initialization files
369Test case: test_06_042.sts
370
371RASTO_06_043
372Issue: Some STShell commands do not work anymore
373Effect: Cannot control zooming, save text or use Use command
374Comment:
375Solution: Fixed in the kernel
376Test case: test_06_043.sts
377
3786. Changes in the AADL code generator (v2.1)
379--------------------------------------------
380
381AADL003 (22.Jun.05) missing connections for use links
382AADL004 (05.Aug.05) new pragma bidirectional
383AADL005 (05.Aug.05) no more data subpg in threads !
384AADL006 (05.Aug.05) removing empty connection sections
385AADL007 (10.Aug.05) new pragma more_systems
386AADL008 (10.Aug.05) using direction in port naming when useful
387AADL009 (10.Aug.05) use "" for entrypoint property value
388AADL010 (12.Aug.05) use pragma renames also for package decl
389AADL011 (19.Aug.05) full code generation for system conf
390AADL012 (30.Aug.05) new pragma in_package
391AADL013 (01.Sep.05) disabling multiple connections
392AADL014 (02.Sep.05) enable events in system conf
393AADL015 (05.Sep.05) Event parameter for event ports
394AADL016 (20.Sep.05) use pragma renames also when implicit ref
395AADL017 (20.Sep.05) fixing other bugs for Op_Controls
396AADL018 (20.Sep.05) protected objects are always Data
397AADL019 (20.Sep.05) use given name for main event
398AADL020 (23.Sep.05) creating stuff for OSATE support
399AADL021 (23.Sep.05) fixing bug a few syntactic errors
400AADL022 (27.Sep.05) adding port groups
401AADL023 (27.Sep.05) including unbounded environments as packages
402AADL024 (28.Sep.05) new pragma extends
403AADL025 (06.Oct.05) cleaning up features and connections
404AADL026 (13.Oct.05) managing Constants as Properties
405AADL027 (17.Oct.05) Cheddar connection
406AADL028 (20.Oct.05) Cotre connection
407AADL029 (08.Jan.06) supporting AADL graphic editor
408AADL030 (17.Jan.O6) Assert properties
409AADL031 (09.Feb.06) adding calls for threads
410AADL032 (16.Feb.06) fixing connection bug for ports with _
411AADL033 (16.Feb.06) adding fork and join of flows
412AADL034 (23.Feb.06) pragma renames can be used to remove package prefix
413AADL035 (30.Mar.06) improving Cheddar connection (cf.RASTO_06_031)
414AADL036 (31.Mar.06) improving port groups (cf.RASTO_06_020)
415AADL037 (31.Mar.06) using HRT wcet for thread (cf.RASTO_06_014)
416AADL038 (31.Mar.06) managing delayed connections (cf.RASTO_06_009)
417AADL039 (31.Mar.06) fixing bugs in flow specs
418AADL040 (27.Apr.06) fixing ASSERT PP integration issues
419AADL041 (27.Apr.06) fixing issues with port groups
420AADL042 (04.Jul.06) private data in packages (cf.RASTO_06_016)
421AADL043 (05.Jul.06) don't specify current package name in references
422AADL044 (06.Jul.06) fixing bug in type extension and parameters
423AADL045 (06.Jul.06) replacing pragma more_systems by predicate aadlModel('system')
424AADL046 (06.Jul.06) improving data access references
425AADL047 (07.Jul.06) improving calls to subprograms
426AADL048 (12.Jul.06) prototyping AADL templates and virtual processors
427AADL049 (20.Jul.06) fixing 2 minor issues for data component
428AADL050 (20.Jul.06) improving data access and data access connection
429AADL051 (21.Jul.06) new pragma future
430AADL052 (01.Aug.06) little adjustments
431AADL053 (03.Aug.06) managing new predicate aadlCategory
432AADL054 (21.Aug.06) data generation for imported packages
433AADL055 (21.Aug.06) adding bus access connections
434AADL056 (21.Aug.06) changes in processor mapping
435AADL057 (21.Aug.06) calls in threads and sp only
436AADL058 (21.Aug.06) hierarchical component generation in package
437AADL059 (21.Aug.06) removing effect of predicate aadlModel
438AADL060 (22.Aug.06) generating allocated logical components
439AADL061 (02.Sep.06) no more dupplicate code for subprograms
440AADL062 (08.Sep.06) subprogram parameter features and connections
441AADL063 (08.Sep.06) no generation if type name includes a package ref
442AADL064 (08.Sep.O6) new pragma no_project
443AADL065 (08.Sep.06) avoid multiple comments
444AADL066 (19.Sep.06) internal subprograms as features
445AADL067 (27.Sep.06) correct identifiers for modes and transitions
446AADL068 (03.Oct.06) fixing issue in parameters type
447AADL069 (05.Oct.06) fixing issue in subprogram params and calls
448
4497. Changes in the AADL import engine (v1.1)
450-------------------------------------------
451
452AADR001 (20.Sep.05) managing ports with undefined type
453AADR002 (22.Sep.05) packages now only export types and consts
454AADR003 (17.Oct.05) new names for port and event parameters
455AADR004 (10.Nov.05) adding op-sets when there are too many ops
456AADR005 (02.Jan.06) compatibility with AADL graphical editor
457AADR006 (14.Feb.06) compatibility with ASSERT/MA3S naming rules
458AADR007 (22.Mar.06) compatibility with release 5.1
459AADR008 (22.Jun.06) pragma AADL_PORTGROUP
460AADR009 (19.Jul.06) fixing issue with comp impl .default or .others
461AADR010 (19.Jul.06) fixing issue with wcet and min arrival time
462AADR011 (24.Aug.06) pragma AADL_CATEGORY
463AADR012 (11.Sep.06) pragma AADL_CONNECTION
464
4658. Changes in the Ada code generator
466------------------------------------
467
468ADA190 (02.08.05) support of distributed systems
469ADA191 (04.10.05) fix bug when cy or sp have no thread or start operation
470
4719. Changes in the C++ code generator
472------------------------------------
473
474CPP029 (19.Oct.06) support of SMP2 (cf.SMP_*): pragma smp
475CPP030 (19.Oct.06) adding support of round trip: pragma reverse
476