Changes between Version 3 and Version 4 of stood
- Timestamp:
- 07/28/09 08:51:12 (15 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
stood
v3 v4 16 16 Stood detailed design activity is based on the concept of HOOD Object Description Skeleton (ODS), that has been made fully customizable in order to support AADL properties ans user defined configurations. 17 17 An ODS can be attached to each component of the architectural model. At the end of the detailed design activity, the Stood model is exhaustive and can become the reference for the application, from which consistent code and documentation can be automatically produced.[[BR]] 18 [[Image(wiki:stood:img 3.png)]]18 [[Image(wiki:stood:img4.png)]] 19 19 == Stood design checkers == 20 20 Stood encompasses a set of static model verification tools that are implemented with the LMP technology. These embedded tools take profit from th cross references tables that are automatically updated by Stood during the construction of the AADL and HOOD model. Available verification tools are: … … 27 27 * Requirements coverage analysis 28 28 In addition, user customized verification tools can be added in a "plug and play" way, so that Stood can support project specific verification activities.[[BR]] 29 [[Image(wiki:stood:img 3.png)]]29 [[Image(wiki:stood:img5.png)]] 30 30 == Remote analysis tools == 31 31 In addition to the design checkers that included in Stood, remote model analysis tools can easily be connected to Stood thanks to its AADL interface. Currently such a connection have already been developed with Cheddar, a powerful real-time performance analysis tool developed by the University of Brest, and another one is in progress with multi-agents real-time simulator that is developed in collaboration with Virtualys.[[BR]] 32 [[Image(wiki:stood:img 4.png)]]32 [[Image(wiki:stood:img6.png)]] 33 33 == Automatic code generation == 34 34 At any time during the modeling activities, it is possible to activate one of the provided automatic code generators to build a "ready to compile" set of source files and the corresponding makefile. 35 35 Supported target language are Ada, C and C++. However, support of real-time operating systems in C and C++ require some customization of the code generators that are developed with the LMP technology.[[BR]] 36 [[Image( )]]36 [[Image(wiki:stood:img7.png)]] 37 37 == Round-trip engineering and reverse engineering == 38 38 When the detailed design activity has not been fully completed and that the low level coding details are not present within the ODS sections, it is possible to generate annotated source files that can be enriched by usual textual editing outside Stood, and then re-imported into the tool in order to update the design model. … … 41 41 Production of documentation is an important and time-consuming activity for most projects. With Stood, it is possible to automatically generate a full design documentation that is consistent by construction with the source code that has also been generated from the same design reference. 42 42 Stood documentation tool can generate documents in PDF, HTML, RTF and MIF formats. Some existing generators can be customized and additional ones can be developed thanks to the LMP technology.[[BR]] 43 [[Image( )]]43 [[Image(wiki:stood:img8.png)]]