| 1 | -----------------
|
|---|
| 2 | | Release notes |
|
|---|
| 3 | -----------------------------------
|
|---|
| 4 | STOOD 4.1.392 (Windows) 13.10.2000
|
|---|
| 5 | STOOD 4.1.391 (Unix) 13.10.2000
|
|---|
| 6 | -----------------------------------
|
|---|
| 7 | This note lists changes since previous CD-Rom delivery:
|
|---|
| 8 | v 4.1.281 (Windows) and v 4.1.282 (Unix), March 2000
|
|---|
| 9 |
|
|---|
| 10 | (*) these changes were already present in intermediate version
|
|---|
| 11 | that was released in July 2000 (v 4.1.325 for Windows and
|
|---|
| 12 | v 4.1.326 for Unix )
|
|---|
| 13 |
|
|---|
| 14 | I- Functionnal changes:
|
|---|
| 15 | =======================
|
|---|
| 16 |
|
|---|
| 17 | I-1 Configuration & version management interface
|
|---|
| 18 | ------------------------------------------------
|
|---|
| 19 |
|
|---|
| 20 | STOOD applications may now be saved in a modular way.
|
|---|
| 21 | Each HOOD Module may be stored into a dedicated directory.
|
|---|
| 22 | For compatibility reasons, this feature is not enabled by default.
|
|---|
| 23 | To enable it, change new ModularSave property from No to Yes
|
|---|
| 24 | in configuration file (stood.ini or .stoodrc)
|
|---|
| 25 |
|
|---|
| 26 | When loading or saving a STOOD application, it is now possible to
|
|---|
| 27 | activate a checkout/checkin script to perform appropriate actions in
|
|---|
| 28 | an external Configuration Management System.
|
|---|
| 29 | This feature is not enabled by default. To enable it, change new
|
|---|
| 30 | ConfMgrActivated property from No to Yes in configuration file
|
|---|
| 31 | (stood.ini or .stoodrc). The other new property ConfMgrLabel may be used
|
|---|
| 32 | to specify a label to be used in configuration manager dialog boxes.
|
|---|
| 33 |
|
|---|
| 34 | I-2 Requirements traceability utility
|
|---|
| 35 | -------------------------------------
|
|---|
| 36 |
|
|---|
| 37 | (*) A new editor (Checkers/Requirements editor) may be called from Main editor
|
|---|
| 38 | to load a list of requirements from an external ASCII file and perform
|
|---|
| 39 | changes locally in this list. These requirements may then be directly referenced
|
|---|
| 40 | within ODS textual sections thanks to a dedicated drag&drop or copy&paste functions.
|
|---|
| 41 | To perform customizations of this new editor, "req" identifier should be used.
|
|---|
| 42 |
|
|---|
| 43 | (*) A new "requirements checker" may be launched to check requirements coverage,
|
|---|
| 44 | produce HOOD entities to requirements and requirements to HOOD entities matrix,
|
|---|
| 45 | or any other kind of output files.
|
|---|
| 46 |
|
|---|
| 47 | I-3 Documentation generation improvements
|
|---|
| 48 | -----------------------------------------
|
|---|
| 49 |
|
|---|
| 50 | (*) When preparing documentation generation, it is now possible to specify in which
|
|---|
| 51 | order each ODS will be printed. Possible choices are:
|
|---|
| 52 | - depth traversal
|
|---|
| 53 | - breadth traversal
|
|---|
| 54 | - alphabetic traversal
|
|---|
| 55 | Local ordering may be performed thanks to new "move up" and "move down" items
|
|---|
| 56 | in contextual menu.
|
|---|
| 57 |
|
|---|
| 58 | (*) When editing textual sections of the ODS, it is possible to insert a
|
|---|
| 59 | "link to file". For now, this link was only processed by the RTF document generator.
|
|---|
| 60 | Now, it also operates for HTML and FrameMaker generators.
|
|---|
| 61 |
|
|---|
| 62 | Graphics are no more produced when empty (State Transition Diagrams or Call Trees),
|
|---|
| 63 | and are now generated in the most appropriate format:
|
|---|
| 64 | - EPSF for PostScript (ps_p) and FrameMaker (mif_p) generators
|
|---|
| 65 | - WMF for Word (rtf) generator
|
|---|
| 66 | - GIF for HyperText (html_p) generator
|
|---|
| 67 |
|
|---|
| 68 | A few problems have also been fixed regarding documentation schemes management
|
|---|
| 69 |
|
|---|
| 70 | I-4 Http server
|
|---|
| 71 | ---------------
|
|---|
| 72 |
|
|---|
| 73 | An http server may be started when launching STOOD. This server may be used to
|
|---|
| 74 | handle requests from any Intranet/Internet navigator. Requests must be defined whithin
|
|---|
| 75 | new config/http configuration directory, and may be:
|
|---|
| 76 | - either prolog applications
|
|---|
| 77 | - either STShell scripts
|
|---|
| 78 |
|
|---|
| 79 | This feature is enabled by default, but may be disconnected by removing or hiding
|
|---|
| 80 | the new provided Communication properties:
|
|---|
| 81 | - HttpServerPort must specify an available port on current host.
|
|---|
| 82 | - HttpPrologEngine must provide a valid path to a prolog engine for prolog requests
|
|---|
| 83 |
|
|---|
| 84 | To connect to a STOOD http server, just specify the URL of the host running STOOD,
|
|---|
| 85 | with specified port, example: http://unix_server:6767
|
|---|
| 86 |
|
|---|
| 87 | I-5 Code generators
|
|---|
| 88 | -------------------
|
|---|
| 89 |
|
|---|
| 90 | A few bugs have been fixed in Ada code generator:
|
|---|
| 91 | (*) - ADA157: generor sometimes crashed when HOOD Attributes had no type
|
|---|
| 92 | (*) - ADA158: parent of private types were also considered as private
|
|---|
| 93 | (*) - ADA159: constants renaming was not correct
|
|---|
| 94 | - ADA160: fixes a problem with pragma cut_line
|
|---|
| 95 | - ADA161: adds a spec header for Instance_Of Modules
|
|---|
| 96 |
|
|---|
| 97 | A set of bugs have been fixed and improvements have been performed in C code
|
|---|
| 98 | generator:
|
|---|
| 99 | (*) - C001: pragma "line_width" could not work properly
|
|---|
| 100 | (*) - C002: adding a new pragma "full_prototypes"
|
|---|
| 101 | (*) - C003: there was a problem when reversing STATE constrained operations
|
|---|
| 102 | (*) - C004: adding a new pragma "substitute_header"
|
|---|
| 103 | (*) - C005: decorative changes in operation prototypes
|
|---|
| 104 | (*) - C006: terminal roots couldn't handle the main procedure
|
|---|
| 105 | (*) - C007: putting a default value 0 for Get State function
|
|---|
| 106 | (*) - C008: OPCS were not visible from STATE only operation bodies
|
|---|
| 107 | (*) - C009: removing code in OBCS for STATE only operations
|
|---|
| 108 | (*) - C010: adding a new parameter to pragma "reverse"
|
|---|
| 109 | (*) - C011: adding a new pragma "prefix_all"
|
|---|
| 110 | (*) - C012: adding a new pragma "append_header"
|
|---|
| 111 | (*) - C013: detecting const or #define for constants
|
|---|
| 112 | (*) - C014: changing warning message for exceptions
|
|---|
| 113 | (*) - C015: adding new pragma "no_define"
|
|---|
| 114 | (*) - C016: changing #include policy
|
|---|
| 115 | (*) - C017: new parameter values for pragma "presentation"
|
|---|
| 116 | (*) - C018: changing STATE only operations code
|
|---|
| 117 | (*) - C019: fixing a problem related to C015
|
|---|
| 118 | (*) - C020: changing required interface presentation
|
|---|
| 119 | (*) - C021: fixing a problem related to C013
|
|---|
| 120 | - C022: new pragma inline_def
|
|---|
| 121 | - C023: fixing a bug in accept rule for generic
|
|---|
| 122 | - C024: removing unneeded OBCS when ASER only
|
|---|
| 123 | - C025: new rules for ASER constraint
|
|---|
| 124 | - C026: adding call_ dummy parameter
|
|---|
| 125 | - C027: no main if no pragma_main
|
|---|
| 126 | - C028: new pragma prefix_none
|
|---|
| 127 | - C029: new pragma storage to include parameters pointer keywords
|
|---|
| 128 | - C030: major changes to OBCS code
|
|---|
| 129 | - C031: cyclic tasks when aser by_it constraint
|
|---|
| 130 | - C032: fixes a bug in operation declaration parameter types (cf C028)
|
|---|
| 131 | - C033: new pragma no_command_line to control arguments of main function
|
|---|
| 132 |
|
|---|
| 133 | I-6 HOOD rules checker
|
|---|
| 134 | ----------------------
|
|---|
| 135 |
|
|---|
| 136 | (*) Several rules have been rewritten to correct numerous unjustified error messages:
|
|---|
| 137 | - Consistency rules: C2..C6 and C13
|
|---|
| 138 | - Operation rules: O5
|
|---|
| 139 | - Required Interface rules: R17
|
|---|
| 140 | - Use relationship rules: U17
|
|---|
| 141 | - Visibility rules: V9 and V10
|
|---|
| 142 |
|
|---|
| 143 | New prolog predicates have been included to checkers facts base:
|
|---|
| 144 | - unknownrequires(Entity,Kind,Module,RefEntity,'unknown','?',Ln)
|
|---|
| 145 | to check unresolved required entities.
|
|---|
| 146 | - selfrequires(Entity,Kind,Module,Ln)
|
|---|
| 147 | to check autoreferencing entities.
|
|---|
| 148 |
|
|---|
| 149 | I-7 Support of HRT-HOOD
|
|---|
| 150 | -----------------------
|
|---|
| 151 |
|
|---|
| 152 | (*) Logical names of two sections in Real-Time Attributes part of the ODS have been
|
|---|
| 153 | changed in DataBase description file, and inside initialization files
|
|---|
| 154 | (stood.ini or .stoodrc)
|
|---|
| 155 |
|
|---|
| 156 | (*) A new "scheduling checker" now performs simple scheduling analysis from HRT
|
|---|
| 157 | Real-Time Attributes (Rate Monotonic and Deadline Monotonic Analysis)
|
|---|
| 158 |
|
|---|
| 159 | I-8 Miscallenous
|
|---|
| 160 | ----------------
|
|---|
| 161 |
|
|---|
| 162 | (*) - Compare design function have been improved (three layers output)
|
|---|
| 163 | (*) - New "DataBase checker" to list storage files for current design
|
|---|
| 164 | (*) - Changing "lock.sh" internal tool to fix a problem with Windows 98
|
|---|
| 165 | - New version of Ada lexical analyser to handle exponents in real numbers
|
|---|
| 166 | - A few bugs have been fixed in Motif user interface.
|
|---|
| 167 | - A new "close" menu item is now available to unselect current root module
|
|---|
| 168 |
|
|---|
| 169 |
|
|---|
| 170 |
|
|---|
| 171 | II- Changes in delivery contents:
|
|---|
| 172 | =================================
|
|---|
| 173 |
|
|---|
| 174 | II-1 Unix Binaries (bin.sol2; bin.hp700; bin.ibm; bin.pclinux)
|
|---|
| 175 | --------------------------------------------------------------
|
|---|
| 176 | stood
|
|---|
| 177 | stood.eng
|
|---|
| 178 | stood.uid
|
|---|
| 179 | stood.xpm
|
|---|
| 180 | .stoodrc
|
|---|
| 181 | Requirements.Key:cf.
|
|---|
| 182 | Requirements.Reference:($1)
|
|---|
| 183 | Requirements.CatalogSuffix:.txt
|
|---|
| 184 | Requirements.IgnoreCase:Yes
|
|---|
| 185 | Files.ModularSave:No
|
|---|
| 186 | Files.ConfMgrActivated:No
|
|---|
| 187 | Files.ConfMgrLabel:Configuration Manager
|
|---|
| 188 | Communication.HttpServerPort:6767
|
|---|
| 189 | Communication.HttpPrologEngine:$TOOLBIN/sbprolog
|
|---|
| 190 | rev.Buttons:Scan,2,1;Update,2,2
|
|---|
| 191 | req.Buttons:Load,1,4
|
|---|
| 192 | scan_ada
|
|---|
| 193 |
|
|---|
| 194 | II-2 Windows binary (bin.w32)
|
|---|
| 195 | -----------------------------
|
|---|
| 196 | stood.exe
|
|---|
| 197 | stood.eng
|
|---|
| 198 | stood.ini
|
|---|
| 199 | [Requirements]
|
|---|
| 200 | Key="cf."
|
|---|
| 201 | Reference=($1)
|
|---|
| 202 | CatalogSuffix=.txt
|
|---|
| 203 | IgnoreCase=Yes
|
|---|
| 204 | [Files]
|
|---|
| 205 | ModularSave=No
|
|---|
| 206 | ConfMgrActivated=No
|
|---|
| 207 | ConfMgrLabel=Configuration Manager
|
|---|
| 208 | [Communication]
|
|---|
| 209 | HttpServerPort=80
|
|---|
| 210 | HttpPrologEngine=$TOOLBIN\sbprolog
|
|---|
| 211 | [rev]
|
|---|
| 212 | Buttons=Scan,2,1;Update,2,2
|
|---|
| 213 | [req]
|
|---|
| 214 | Buttons=Load,1,4
|
|---|
| 215 | scan_ada.exe
|
|---|
| 216 |
|
|---|
| 217 | II-3 Configuration
|
|---|
| 218 | ------------------
|
|---|
| 219 |
|
|---|
| 220 | 3.1 Rules checkers
|
|---|
| 221 |
|
|---|
| 222 | 3.1.1 Changes in HOOD checker (config/checkers/hood)
|
|---|
| 223 | Consistency.* (C2; C3; C4; C5; C6; C13)
|
|---|
| 224 | Operation.* (O5)
|
|---|
| 225 | Required.* (R17)
|
|---|
| 226 | Use.* (U17)
|
|---|
| 227 | Visibility.* (V9; V11)
|
|---|
| 228 | _Main.*
|
|---|
| 229 | _Input.sbp
|
|---|
| 230 |
|
|---|
| 231 | 3.1.2 New DataBase checker (config/checkers/database)
|
|---|
| 232 | Scan.*
|
|---|
| 233 | _Main.*
|
|---|
| 234 | _Init.*
|
|---|
| 235 | _Input.sbp
|
|---|
| 236 | makefile
|
|---|
| 237 | config
|
|---|
| 238 | go.sh
|
|---|
| 239 |
|
|---|
| 240 | 3.1.3 New Requirements checker (config/checkers/requirements)
|
|---|
| 241 | Contents.*
|
|---|
| 242 | Coverage.*
|
|---|
| 243 | Links.*
|
|---|
| 244 | ERMatrix.*
|
|---|
| 245 | REMatrix.*
|
|---|
| 246 | _Main.*
|
|---|
| 247 | _Init.*
|
|---|
| 248 | _Input.sbp
|
|---|
| 249 | makefile
|
|---|
| 250 | go.sh
|
|---|
| 251 |
|
|---|
| 252 | 3.1.4 New Scheduling checker (config/checkers/scheduling)
|
|---|
| 253 | RMA.*
|
|---|
| 254 | _Main.*
|
|---|
| 255 | _Init.*
|
|---|
| 256 | _Input.sbp
|
|---|
| 257 | makefile
|
|---|
| 258 | go.sh
|
|---|
| 259 |
|
|---|
| 260 | 3.2 Code generators
|
|---|
| 261 |
|
|---|
| 262 | 3.2.1 Changes in Ada code generator (config/code_extractors/ada)
|
|---|
| 263 | Extract.* (ADA157..ADA161)
|
|---|
| 264 | Input.sbp
|
|---|
| 265 | extractors
|
|---|
| 266 | scan.*
|
|---|
| 267 |
|
|---|
| 268 | 3.2.2 Changes in C code generator (config/code_extractors/c)
|
|---|
| 269 | Extract.* (C001..C033)
|
|---|
| 270 | Input.sbp
|
|---|
| 271 | extractors
|
|---|
| 272 | pragma
|
|---|
| 273 |
|
|---|
| 274 | 3.3 Documentation generators
|
|---|
| 275 |
|
|---|
| 276 | 3.3.1 Changes in HTML document generator (config/doc_extractors/html_p)
|
|---|
| 277 | Extract.*
|
|---|
| 278 | Input.sbp
|
|---|
| 279 | gif
|
|---|
| 280 | keepps.cfg
|
|---|
| 281 | variable.cfg
|
|---|
| 282 |
|
|---|
| 283 | 3.3.2 Changes in FrameMaker document generator (config/doc_extractors/mif_p)
|
|---|
| 284 | Extract.*
|
|---|
| 285 | Input.sbp
|
|---|
| 286 |
|
|---|
| 287 | 3.3.3 Changes in PostScript document generator (config/doc_extractors/ps_p)
|
|---|
| 288 | Extract.*
|
|---|
| 289 | Input.*
|
|---|
| 290 | variable.cfg
|
|---|
| 291 |
|
|---|
| 292 | 3.3.4 Changes in Word document generator (config/doc_extractors/rtf)
|
|---|
| 293 | wmrtf
|
|---|
| 294 |
|
|---|
| 295 | 3.4 Predefined documentation schemes (config/doc_schemes)
|
|---|
| 296 | editor1 (ods text editor)
|
|---|
| 297 | editor6 (checks text editor)
|
|---|
| 298 |
|
|---|
| 299 | 3.5 InternalTools (config/internalTools)
|
|---|
| 300 | lock.sh
|
|---|
| 301 | checkin.sh
|
|---|
| 302 | checkout.sh
|
|---|
| 303 |
|
|---|
| 304 | 3.6 Help (config/help)
|
|---|
| 305 | req
|
|---|
| 306 |
|
|---|
| 307 | 3.7 DataBase description file (config/DataBase)
|
|---|
| 308 |
|
|---|
| 309 | 3.7.1 Following logical names have been renamed:
|
|---|
| 310 | DOC353 into wcetTxt
|
|---|
| 311 | DOC354 into budgetTxt
|
|---|
| 312 |
|
|---|
| 313 | 3.7.2 New sections for following logical names:
|
|---|
| 314 | databaseCheckReport
|
|---|
| 315 | schedulingCheckReport
|
|---|
| 316 | requirementsCheckReport
|
|---|
| 317 | CompareMessagesSections
|
|---|
| 318 | CompareMessagesSectionsDetailled
|
|---|
| 319 |
|
|---|
| 320 | 3.7.3 Change in module mask (now: when leaf + root) for:
|
|---|
| 321 | BodyFileHeader
|
|---|
| 322 |
|
|---|
| 323 | 4) Other directories
|
|---|
| 324 | --------------------
|
|---|
| 325 |
|
|---|
| 326 | 4.1 Unix shell emulator for Windows (bash)
|
|---|
| 327 | diff.exe
|
|---|
| 328 |
|
|---|
| 329 | 4.2 Example of requirements file (exAda)
|
|---|
| 330 | requirements.txt
|
|---|
| 331 |
|
|---|
| 332 | 4.3 Update of test_hrt example (exHRT)
|
|---|
| 333 |
|
|---|
| 334 | 4.4 No more exMacros directory
|
|---|
| 335 |
|
|---|
| 336 | 4.5 New config/http directory:
|
|---|
| 337 |
|
|---|
| 338 | 4.5.1 Prolog request example:
|
|---|
| 339 | _init.pro
|
|---|
| 340 | _init.sbp
|
|---|
| 341 | makefile
|
|---|
| 342 | object.pro
|
|---|
| 343 | object.sbp
|
|---|
| 344 |
|
|---|
| 345 | 4.5.2 STShell request examples:
|
|---|
| 346 | doc_generation.sts
|
|---|
| 347 | code_generation.sts
|
|---|
| 348 | sif_generation.sts
|
|---|
| 349 | design_checking.sts
|
|---|
| 350 | demo5.sts
|
|---|
| 351 |
|
|---|
| 352 | 4.6 New example for C/Real-Time (exCpp)
|
|---|
| 353 | transputer
|
|---|
