db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
@InProceedings{Bezemer12a,
  title =        "{D}esign and {U}se of {CSP} {M}eta-{M}odel for {E}mbedded {C}ontrol {S}oftware {D}evelopment",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
  author=        "Bezemer,  Maarten M. and Wilterdink,  Robert J.W. and Broenink,  Jan F.",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
  editor=        "Welch, Peter H. and Barnes,  Frederick R. M. and Chalmers,  Kevin and Pedersen,  Jan Bækgaard and Sampson,  Adam T.",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
  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."
}