| 1 | ------------------------------
|
|---|
| 2 | | Release note December 2000 |
|
|---|
| 3 | ----------------------------------
|
|---|
| 4 | STOOD 4.1.397 (Windows) 07.12.2000
|
|---|
| 5 | STOOD 4.1.398 (Unix) 07.12.2000
|
|---|
| 6 | -----------------------------------
|
|---|
| 7 | This note lists changes since previous CD-Rom delivery:
|
|---|
| 8 | v 4.1.392 (Windows) and v 4.1.391 (Unix), November 2000
|
|---|
| 9 |
|
|---|
| 10 |
|
|---|
| 11 | I- Functionnal changes:
|
|---|
| 12 | =======================
|
|---|
| 13 |
|
|---|
| 14 | I-1 Requirements traceability utility
|
|---|
| 15 | -------------------------------------
|
|---|
| 16 |
|
|---|
| 17 | Changes have been made to extend allowed character set for requirement identifiers.
|
|---|
| 18 | Changes have also been introduced in "requirements checker" to calculate:
|
|---|
| 19 | - Requirements-Entities matrix
|
|---|
| 20 | - Entities-Requirements matrix
|
|---|
| 21 | - Requirements coverage analysis
|
|---|
| 22 |
|
|---|
| 23 | I-2 Code generators
|
|---|
| 24 | -------------------
|
|---|
| 25 |
|
|---|
| 26 | A set of improvements have been performed in C code generator:
|
|---|
| 27 | - C034 (20.10.00) ref. STOOD-C-CNES-9 : fixes a few problems in main functions
|
|---|
| 28 | - C035 (20.10.00) allows inline for internal operations
|
|---|
| 29 | - C036 (25.10.00) removes the semi colon too many in some constants declarations
|
|---|
| 30 | - C037 (04.12.00) ref. STOOD-C-CNES-10 : fixes a pb for STATE only constrained ops (cf C031)
|
|---|
| 31 | - C038 (04.12.00) ref. STOOD-C-CNES-11 : using pragma pointer for channels message
|
|---|
| 32 | - C039 (04.12.00) ref. STOOD-C-CNES-12 : fixes a pb for BY_IT constraints (cyclic tasks)
|
|---|
| 33 | - C040 (04.12.00) ref. STOOD-C-CNES-13 : avoids task management for non term modules
|
|---|
| 34 | - C041 (04.12.00) ref. STOOD-C-CNES-14 : fixes a lack of break statement in OBCS
|
|---|
| 35 | - C042 (05.12.00) ref. STOOD-C-CNES-15 : changes in OBCS stop procedure
|
|---|
| 36 | - C043 (06.12.00) ref. STOOD-C-CNES-16 : new pragma target_param(stack_address,_)
|
|---|
| 37 | - C044 (06.12.00) ref. STOOD-C-CNES-17 : completing ASER server tasks
|
|---|
| 38 | - C045 (11.12.00) makefile: changes in pragma location and new pragma ldflags
|
|---|
| 39 |
|
|---|
| 40 | I-3 HOOD rules checker
|
|---|
| 41 | ----------------------
|
|---|
| 42 |
|
|---|
| 43 | - Consistency rules: C13-2
|
|---|
| 44 | - Include rules: I8
|
|---|
| 45 | - State-Transition model rules: S3
|
|---|
| 46 |
|
|---|
| 47 |
|
|---|
| 48 | II- Changes in delivery contents:
|
|---|
| 49 | =================================
|
|---|
| 50 |
|
|---|
| 51 | II-1 Unix Binaries (bin.sol2; bin.hp700; bin.ibm; bin.pclinux)
|
|---|
| 52 | --------------------------------------------------------------
|
|---|
| 53 | stood
|
|---|
| 54 | stood.eng
|
|---|
| 55 | stood.uid
|
|---|
| 56 |
|
|---|
| 57 | II-2 Windows binary (bin.w32)
|
|---|
| 58 | -----------------------------
|
|---|
| 59 | stood.exe
|
|---|
| 60 | stood.eng
|
|---|
| 61 |
|
|---|
| 62 | II-3 Configuration
|
|---|
| 63 | ------------------
|
|---|
| 64 |
|
|---|
| 65 | 3.1 Rules checkers
|
|---|
| 66 |
|
|---|
| 67 | 3.1.1 Changes in HOOD checker (config/checkers/hood)
|
|---|
| 68 | Consistency.* (C13-2)
|
|---|
| 69 | Include.* (I8)
|
|---|
| 70 | Std.* (S3)
|
|---|
| 71 |
|
|---|
| 72 | 3.1.2 Changes in Requirements checker (config/checkers/requirements)
|
|---|
| 73 | Coverage.*
|
|---|
| 74 | ERMatrix.*
|
|---|
| 75 | REMatrix.*
|
|---|
| 76 | _Main.*
|
|---|
| 77 | _Input.sbp
|
|---|
| 78 |
|
|---|
| 79 | 3.2 Code generators
|
|---|
| 80 |
|
|---|
| 81 | 3.2.1 Changes in C code generator (config/code_extractors/c)
|
|---|
| 82 | Extract.* (C034..C045)
|
|---|
| 83 | Input.sbp
|
|---|
| 84 | pragma
|
|---|
| 85 | transputer/*.h
|
|---|
