Changes between Version 18 and Version 19 of stood
- Timestamp:
- 04/11/17 09:58:43 (7 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
stood
v18 v19 10 10 [[BR]] 11 11 12 [[Image(wiki:stood:img1.png )]]12 [[Image(wiki:stood:img1.png, link=)]] 13 13 == Requirements traceability == 14 14 Stood includes a simple and efficient mean to insure an up to date traceability between the System and Software models and the initial requirements, that can be imported from plain text files or remote tools: 15 15 [[BR]] 16 16 17 [[Image(wiki:stood:img2.png )]]17 [[Image(wiki:stood:img2.png, link=)]] 18 18 == Architectural Design == 19 19 Stood graphical editor is used to build architectural models of the Software and its environment (libraries, execution platform, ...). Stood graphical models do not intend to show all the details of the System or Software being developed, but aim at focusing the design effort on architectural issues. In addition, the graphical modeling languages that are supported by stood are hierarchical, which allows use of this technology for designing the architecture of large scale applications.[[BR]] 20 20 21 [[Image(wiki:stood:img3.png )]]21 [[Image(wiki:stood:img3.png, link=)]] 22 22 == Instance models == 23 23 Most Model Based Engineering tools enforce a graphical design of abstract entities, typically by the mean of UML Class Diagrams. For the purpose of analysis activities, and especially in the case of real-time systems, such abstract models need to be instantiated first before being processed. On the contrary, Stood offers to the designer the capability to directly model an instantiated model, from which an abstract model can be derived if necessary. Such an approach dramatically increases the capabilities of interaction between architectural design and verification activities. … … 27 27 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]] 28 28 29 [[Image(wiki:stood:img4.png )]]29 [[Image(wiki:stood:img4.png, link=)]] 30 30 == Stood design checkers == 31 31 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: … … 39 39 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]] 40 40 41 [[Image(wiki:stood:img5.png )]]41 [[Image(wiki:stood:img5.png, link=)]] 42 42 == Remote analysis tools == 43 43 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]] 44 44 45 [[Image(wiki:stood:img6.png )]]45 [[Image(wiki:stood:img6.png, link=)]] 46 46 == Automatic code generation == 47 47 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. 48 48 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]] 49 49 50 [[Image(wiki:stood:img7.png )]]50 [[Image(wiki:stood:img7.png, link=)]] 51 51 == Round-trip engineering and reverse engineering == 52 52 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. … … 56 56 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]] 57 57 58 [[Image(wiki:stood:img8.png )]][[BR]]58 [[Image(wiki:stood:img8.png, link=)]][[BR]] 59 59 [[BR]] 60 60 [[BR]]