Paper Details

db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"

%T Design and Use of CSP Meta\-Model for Embedded Control Software Development
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
%A Maarten M. Bezemer, Robert J.W. Wilterdink, Jan F. Broenink
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
%E Peter H. Welch, Frederick R. M. Barnes, Kevin Chalmers, Jan Bækgaard Pedersen, Adam T. Sampson
%B Communicating Process Architectures 2012
%X 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.