Changes between Version 19 and Version 20 of stood


Ignore:
Timestamp:
04/12/17 07:27:22 (7 years ago)
Author:
pdissaux
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • stood

    v19 v20  
    11
    22= STOOD =
    3 You can also go to:
    4  * the [wiki:documentationsStood documentations area]
    5  * the [wiki:demonstrationStood demonstrations area]
    6  * see the [wiki:releaseNoteStood: release notes]
    73
     4STOOD is a Software design tool that complies to both [wiki:AADL AADL] and [wiki:hood HOOD] standards. [[BR]]
     5AADL models can be defined to specify the complete host system of the applicative Software. [[BR]]
     6Each identified AADL Process can then be refined down to target source code thanks to the HOOD detailed design process. [[BR]]
    87
    9 STOOD is a Software design tool that complies to both AADL and HOOD standards. AADL models can be defined to specify the complete host system of the applicative Software. Each identified AADL Process can then be refined down to target source code thanks to the HOOD detailed design process.
    10 [[BR]]
     8{{{#!table style="border:2"
     9  {{{#!tr style="text-align:center; margin:auto"
     10    {{{#!th style="width:120px"
     11    '''Features'''
     12    }}}
     13    {{{#!td style="background:#ffd; width:100px"
     14    [wiki:#RequirementsTraceability Requirements Traceability]
     15    }}}
     16    {{{#!td style="background:#ffd; width:100px"
     17    [wiki:#ArchitecturalDesign Architectural Design]
     18    }}}
     19    {{{#!td style="background:#ffd; width:100px"
     20    [wiki:#DetailedDesign Detailed Design]
     21    }}}
     22    {{{#!td style="background:#ffd; width:100px"
     23    [wiki:#RulesChecker Design Verification]
     24    }}}
     25    {{{#!td style="background:#ffd; width:100px"
     26    [wiki:#ArchitecturalDesign Documentation Generation]
     27    }}}
     28    {{{#!td style="background:#ffd; width:100px"
     29    [wiki:#ArchitecturalDesign Code Generation]
     30    }}}
     31    {{{#!td style="background:#ffd; width:100px"
     32    [wiki:#ArchitecturalDesign Reverse Engineering]
     33    }}}
     34  }}}
     35  {{{#!tr style="text-align:center; margin:auto"
     36    {{{#!th style="width:120px"
     37    '''More'''
     38    }}}
     39    {{{#!td style="background:#ffd; width:100px"
     40    [wiki:documentationsStood Documentation Area]
     41    }}}
     42    {{{#!td style="background:#ffd; width:100px"
     43    [wiki:demonstrationStood Demonstration Area]
     44    }}}
     45    {{{#!td style="background:#ffd; width:100px"
     46    [wiki:releaseNoteStood: Release Notes]
     47    }}}
     48  }}}
     49}}}
    1150
    1251[[Image(wiki:stood:img1.png, link=)]]
     52
    1353== Requirements traceability ==
    1454Stood 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:
    … …  
    1656
    1757[[Image(wiki:stood:img2.png, link=)]]
     58
    1859== Architectural Design ==
    1960Stood 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]]
    2061
    2162[[Image(wiki:stood:img3.png, link=)]]
    22 == Instance models ==
     63
     64=== Instance Models ===
    2365Most 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.
     66
    2467== Detailed Design ==
    2568As a graphical design cannot be used efficiently to express all the details of a large scale System and Software model, Stood offers a dedicated solution to enrich the architectural model with all the low level details that are required to perform proper model processing such as model verification, code and documentation generation.
    26 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.
     69Stood detailed design activity is based on the concept of [wiki:hood HOOD] Object Description Skeleton (ODS), that has been made fully customizable in order to support [wiki:AADL AADL] properties ans user defined configurations.
    2770An 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]]
    2871
    2972[[Image(wiki:stood:img4.png, link=)]]
    30 == Stood design checkers ==
     73
     74== Design Verification ==
    3175Stood 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:
    3276 * Cross references
    3377 * Call trees and data access graphs
    34  * HOOD design rules checker
    35  * AADL legality rules checker
     78 * [wiki:hood HOOD] design rules checker
    3679 * Software design metrics
    3780 * Schedulability analysis
    3881 * Requirements coverage analysis
    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]]
     82In addition, user customized verification tools can be added in a "plug and play" way, so that Stood can support project specific verification activities. These plugins are powered by the [wiki:LMP LMP] technology. [[BR]]
    4083
    4184[[Image(wiki:stood:img5.png, link=)]]
    42 == Remote analysis tools ==
    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]]
    4485
    45 [[Image(wiki:stood:img6.png, link=)]]
    46 == Automatic code generation ==
     86=== Remote Tools ===
     87In addition to the design checkers that are included in Stood, remote model analysis tools can easily be connected to Stood thanks to its [wiki:AADL AADL] interface. Connectors to OSATE and [wiki:aadlinspector AADL Inspector] are currently available. [[BR]]
     88
     89== Documentation Generation ==
     90Production 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.
     91Stood 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 [wiki:LMP LMP] technology.[[BR]]
     92
     93[[Image(wiki:stood:img8.png, link=)]]
     94
     95== Code Generation ==
    4796At 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 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]]
     97Supported 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 [wiki:LMP LMP] technology.[[BR]]
    4998
    5099[[Image(wiki:stood:img7.png, link=)]]
    51 == Round-trip engineering and reverse engineering ==
    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.
    53 Additionally, legacy source code in Ada or C can be imported into Stood to create corresponding components into the design model.
    54 == Design documentation ==
    55 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.
    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]]
    57100
    58 [[Image(wiki:stood:img8.png, link=)]][[BR]]
    59 [[BR]]
     101== Reverse Engineering ==
     102When 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. [[BR]]
     103Additionally, legacy source code in Ada or C can be imported into Stood to create corresponding components into the design model.[[BR]]
     104
    60105[[BR]]
    61106[wiki:stood#STOOD Back to the top of the page].