From BlockLibrary to P_Toolset

In our approach, the BlockLibrary can be used as the source for multiple transformations used for different purposes:

  • Documentation of the BlockLibrary instance
  • Verification/Validation of the BlockLibrary instance
  • Generating inputs of an automatic code generator
  • Generating parts of an automatic code generator
  • Testing of the code generation

In the following we give a global overview related to the P toolset, details on the various transformations/verifications/generations.

Overview

Transformations

  • BL_TR_1:

    Input: BlockLibrary model

    Output: BlockLibrary XMI representation

    Technology: XText serialisation or model transformations if necessary

    Status: XText serialisation functional. See

    org.irit.emf.modelToXmi

  • BL_TR_2.1:

    Input: BlockLibrary model

    Output: BlockLibrary “Ada structure” representation

    Technology: Acceleo in a first draft

    Status: Early prototype. See

    org.irit.blocklibrary.acggen.ada.pInputLib

  • BL_TR_2.2:

    Input: BlockLibrary model

    Output: BlockLibrary “Ada pre/post conditions” on “Ada structure” representation

    Technology: Not selected

    Status: TBD

  • BL_TR_3.1: See Testing and Simulation

    Input: BlockLibrary model

    Output: Simulink Block

    Technology: Model transformation and code generation

    Status: Early prototype

  • BL_TR_3.2:

    Input: BlockLibrary model

    Output: BlockLibrary “EML” signature for blocks.

    Technology: A first prototype has been developped by ENSEEIHT students allowing to simulate the blocks using Matlab.

    Status: Early prototype. See

    org.irit.blocklibrary.validationGeneration.toEML

  • BL_TR_4:

    Input: BlockLibrary model

    Output: BlockLibrary requirements (for instance “Qualifying machine” documents)

    Technology: Acceleo

    Status: Prototype. See:

    org.irit.blocklibrary.requirementsGeneration.toQM.*

  • BL_TR_5:

    Input: BlockLibrary model

    Output: Other documentations (textual, graphical...)

    Technology: Acceleo

    Status: Prototype. See:

    org.irit.blocklibrary.docgen.common org.irit.blocklibrary.docgen.toReStructuredText

  • BL_TR_6: See Testing and Simulation

    Input: BlockLibrary model

    Output: Test cases/suits for P_Toolset, BlockLibrary structures, ...

    Technology: Model transformation and code generation

    Status: Early prototype

  • BL_TR_7: See BlockLibrary instance verification

    Input: BlockLibrary model

    Output: BlockLibrary structural properties representation for formal verification

    Technology: Model transformation (Java + XText for serialisation)

    Status: Advanced prototype

Table Of Contents

Previous topic

Documentation generation

Next topic

Annotation Generation

This Page