WoTUG - The place for concurrent processes

Paper Details

@InProceedings{Bezemer12a,
  title = "{D}esign and {U}se of {CSP} {M}eta-{M}odel for {E}mbedded {C}ontrol {S}oftware {D}evelopment",
  author= "Bezemer, Maarten M. and Wilterdink, Robert J.W. and Broenink, Jan F.",
  editor= "Welch, Peter H. and Barnes, Frederick R. M. and Chalmers, Kevin and Pedersen, Jan B√¶kgaard and Sampson, Adam T.",
  pages = "185--200",
  booktitle= "{C}ommunicating {P}rocess {A}rchitectures 2012",
  isbn= "978-0-9565409-5-9",
  year= "2012",
  month= "aug",
  abstract= "Software that is used to control machines and robots must be
     predictable and reliable. Model-Driven Design (MDD)
     techniques are used to comply with both the technical and
     business needs. This paper introduces a CSP meta-model that
     is suitable for these MDD techniques. The
     meta-model describes the structure of CSP models that are
     designed; using this meta-model it is possible to use all
     regular CSP constructs when constructing a CSP model. The
     paper also presents a new tool suite, called TERRA, based on
     Eclipse and its frameworks. TERRA contains a graphical CSP
     model editor (using the new CSP meta-model),
     model validation tools and code generation tools. The model
     validation tools check whether the model conforms to the
     meta-model definition as well as to additional rules. Models
     without any validation problems result in proper code
     generation, otherwise the developer needs to address
     the found problems to be sure code generation will succeed.
     The code generation tools are able to generate CSPm code
     that is readable by FDR and to generate C++/LUNA code that
     is executable on embedded targets. The meta-model and the
     TERRA tool suite are tested by designing CSP models for
     several of our laboratory setups. The generated C++/LUNA
     code for the laboratory setups is able to control them as
     expected. Additionally, the paper contains an example model
     containing all supported CSP constructs to show the CSPm
     code generation results. So it can be concluded that the
     meta-model and TERRA are usable for these kind of tasks."
}

If you have any comments on this database, including inaccuracies, requests to remove or add information, or suggestions for improvement, the WoTUG web team are happy to hear of them. We will do our best to resolve problems to everyone's satisfaction.

Copyright for the papers presented in this database normally resides with the authors; please contact them directly for more information. Addresses are normally presented in the full paper.

Pages © WoTUG, or the indicated author. All Rights Reserved.
Comments on these web pages should be addressed to: www at wotug.org

Valid HTML 4.01!