[<<][meta][>>][..]Tue Sep 22 15:21:38 CEST 2009
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/
[Reply][About]
[<<][meta][>>][..]