Tue Sep 22 15:21:38 CEST 2009

FMTC & Model Based Design

At FMTC[1] (bridge between flander's mechatronics industry and
academe, ad do-tank instead of a think-tank) people have been working
on model based techniques[2].

This is mostly the work of Peter Soetens[3].  What I'm interested in
is: 1) to figure out what the basic idea + representation is and 2)
how this can be related to techniques from functional programming
(semantics, types, logics, proofs) which allow one to get a firm grip
on the code translation process.

  ``De geavanceerde sturing van de toekomst omhelst de integratie van
  simulatie, codegeneratie, netwerk- of veldbusdistributie,
  configuratie, geavanceerde taakspecificatie en validatie van
  complexe toestandsmachines''

More specifically: how are simulation and code generation implemented?

Peter's PhD was about Orocos[5].

[1] http://www.fmtc.be
[2] http://www.mechatronicamagazine.nl/nieuws/achtergrond/bekijk/artikel/fmtc-verkent-grenzen-modelgedreven-machineontwerp-met-open-source.html
[3] http://www.hightechmechatronica.nl/sprekers/peter-soetens.html
[4] http://thesourceworks.com/
[5] http://www.orocos.org/