------------------------------ | Release note December 2000 | ---------------------------------- STOOD 4.1.397 (Windows) 07.12.2000 STOOD 4.1.398 (Unix) 07.12.2000 ----------------------------------- This note lists changes since previous CD-Rom delivery: v 4.1.392 (Windows) and v 4.1.391 (Unix), November 2000 I- Functionnal changes: ======================= I-1 Requirements traceability utility ------------------------------------- Changes have been made to extend allowed character set for requirement identifiers. Changes have also been introduced in "requirements checker" to calculate: - Requirements-Entities matrix - Entities-Requirements matrix - Requirements coverage analysis I-2 Code generators ------------------- A set of improvements have been performed in C code generator: - C034 (20.10.00) ref. STOOD-C-CNES-9 : fixes a few problems in main functions - C035 (20.10.00) allows inline for internal operations - C036 (25.10.00) removes the semi colon too many in some constants declarations - C037 (04.12.00) ref. STOOD-C-CNES-10 : fixes a pb for STATE only constrained ops (cf C031) - C038 (04.12.00) ref. STOOD-C-CNES-11 : using pragma pointer for channels message - C039 (04.12.00) ref. STOOD-C-CNES-12 : fixes a pb for BY_IT constraints (cyclic tasks) - C040 (04.12.00) ref. STOOD-C-CNES-13 : avoids task management for non term modules - C041 (04.12.00) ref. STOOD-C-CNES-14 : fixes a lack of break statement in OBCS - C042 (05.12.00) ref. STOOD-C-CNES-15 : changes in OBCS stop procedure - C043 (06.12.00) ref. STOOD-C-CNES-16 : new pragma target_param(stack_address,_) - C044 (06.12.00) ref. STOOD-C-CNES-17 : completing ASER server tasks - C045 (11.12.00) makefile: changes in pragma location and new pragma ldflags I-3 HOOD rules checker ---------------------- - Consistency rules: C13-2 - Include rules: I8 - State-Transition model rules: S3 II- Changes in delivery contents: ================================= II-1 Unix Binaries (bin.sol2; bin.hp700; bin.ibm; bin.pclinux) -------------------------------------------------------------- stood stood.eng stood.uid II-2 Windows binary (bin.w32) ----------------------------- stood.exe stood.eng II-3 Configuration ------------------ 3.1 Rules checkers 3.1.1 Changes in HOOD checker (config/checkers/hood) Consistency.* (C13-2) Include.* (I8) Std.* (S3) 3.1.2 Changes in Requirements checker (config/checkers/requirements) Coverage.* ERMatrix.* REMatrix.* _Main.* _Input.sbp 3.2 Code generators 3.2.1 Changes in C code generator (config/code_extractors/c) Extract.* (C034..C045) Input.sbp pragma transputer/*.h