-------------------------- | Release note July 2000 | ---------------------------------- STOOD 4.1.325 (Windows) 13.07.2000 STOOD 4.1.326 (Unix) 17.07.2000 ----------------------------------- I- Functionnal changes: ======================= I-1 Requirements traceability utility ------------------------------------- A new editor (Checkers/Requirements editor) may be called from Main editor to load a list of requirements from an external ASCII file and perform locally changes in this list. These requirements may then be directly referenced within ODS textual sections thanks to a dedicated drag&drop or copy&paste function. A new "requirements checker" may be launched to check requirements coverage, produce HOOD entities to requirements and requirements to HOOD entities matrix, or any other kind of output files. I-2 Documentation generation improvements ----------------------------------------- When preparing documentation generation, it is now possible to specify in which order each ODS will be printed. Possible choices are: - depth traversal - breadth traversal - alphabetic traversal Local ordering may be performed thanks to new "move up" and "move down" items in contextual menu. When editing textual sections of the ODS, it is possible to insert a "link to file". For now, this link was only processed by the RTF document generator. Now, it also operates for HTML and FrameMaker generators. I-3 Code generators ------------------- A few bugs have been fixed in Ada code generator: - ADA157: generor sometimes crashed when HOOD Attributes had no type - ADA158: parent of private types were also considered as private - ADA159: constants renaming was not correct A set of bugs have been fixed and improvements have been performed in C code generator: - C001: pragma "line_width" could not work properly - C002: adding a new pragma "full_prototypes" - C003: there was a problem when reversing STATE constrained operations - C004: adding a new pragma "substitute_header" - C005: decorative changes in operation prototypes - C006: terminal roots couldn't handle the main procedure - C007: putting a default value 0 for Get State function - C008: OPCS were not visible from STATE only operation bodies - C009: removing code in OBCS for STATE only operations - C010: adding a new parameter to pragma "reverse" - C011: adding a new pragma "prefix_all" - C012: adding a new pragma "append_header" - C013: detecting const or #define for constants - C014: changing warning message for exceptions - C015: adding new pragma "no_define" - C016: changing #include policy - C017: new parameter values for pragma "presentation" - C018: changing STATE only operations code - C019: fixing a problem related to C015 - C020: changing required interface presentation - C021: fixing a problem related to C013 I-4 HOOD rules checker ---------------------- Several rules have been rewritten to correct numerous unjustified error messages: - Consistency rules: C2..C6 and C13 - Operation rules: O5 - Required Interface rules: R17 - Use relationship rules: U17 - Visibility rules: V9 and V10 I-5 Support of HRT-HOOD ----------------------- Logical names of two sections in Real-Time Attributes part of the ODS have been changed in DataBase description file, and inside initialization files (stood.ini or .stoodrc) A new "scheduling checker" now performs simple scheduling analysis from HRT Real-Time Attributes (Rate Monotonic and Deadline Monotonic Analysis) I-6 Miscallenous ---------------- - Compare design function have been improved (three layers output) - New "DataBase checker" to list storage files for current design - Changing "lock.sh" internal tool to fix a problem with Windows 98 II- Changes in delivery contents: ================================= II-1 Unix Binaries (bin.sol2; bin.hp700; bin.ibm; bin.pclinux) -------------------------------------------------------------- stood stood.eng stood.uid stood.xpm .stoodrc Requirements.Key:cf. Requirements.Reference:($1) Requirements.CatalogSuffix:.txt Requirements.IgnoreCase:Yes II-2 Windows binary (bin.w32) ----------------------------- stood.exe stood.eng stood.ini [Requirements] Key="cf." Reference=($1) CatalogSuffix=.txt IgnoreCase=Yes II-3 Configuration ------------------ 3.1 Rules checkers 3.1.1 Changes in HOOD checker (config/checkers/hood) Consistency.* (C2; C3; C4; C5; C6; C13) Operation.* (O5) Required.* (R17) Use.* (U17) Visibility.* (V9; V11) _Main.* _Input.sbp 3.1.2 New DataBase checker (config/checkers/database) Scan.* _Main.* _Init.* _Input.sbp makefile config go.sh 3.1.3 New Requirements checker (config/checkers/requirements) Contents.* Coverage.* Links.* ERMatrix.* REMatrix.* _Main.* _Init.* _Input.sbp makefile go.sh 3.1.4 New Scheduling checker (config/checkers/scheduling) RMA.* _Main.* _Init.* _Input.sbp makefile go.sh 3.2 Code generators 3.2.1 Changes in Ada code generator (config/code_extractors/ada) Extract.* (ADA157; ADA158; ADA159) Input.sbp extractors 3.2.2 Changes in C code generator (config/code_extractors/c) Extract.* (C001..C021) Input.sbp extractors pragma 3.3 Documentation generators 3.3.1 Changes in HTML document generator (config/doc_extractors/html_p) Extract.* Input.sbp 3.3.2 Changes in FrameMaker document generator (config/doc_extractors/mif_p) Extract.* Input.sbp 3.4 Predefined documentation schemes (config/doc_schemes) editor1 (ods text editor) editor6 (checks text editor) 3.5 InternalTools (config/internalTools) lock.sh 3.6 DataBase description file (config/DataBase) 3.6.1 Following logical names have been renamed: DOC353 into wcetTxt DOC354 into budgetTxt 3.6.2 New sections for following logical names: databaseCheckReport schedulingCheckReport requirementsCheckReport CompareMessagesSections CompareMessagesSectionsDetailled 4) Other directories -------------------- 4.1 Unix shell emulator for Windows (bash) diff.exe 4.2 Example of requirements file (exMacros) requirements.txt 4.3 Update of test_hrt example (exHRT)