The Quasimodo project, an FP7 initiative whose goals are to develop new techniques and tools for model-driven design, analysis, testing and code-generation for advanced embedded systems,
announces its workshop targeted at the end-users-panel, and practitioners and researchers in the field.
Quasimodo (http://www.quasimodo.aau.dk/) has the ambition to do fundamental formal and algorithmic developments, turn these into effective and practical tool-support for analysis, testing, synthesis for embedded systems, and evaluate the techniques through industrial cases.
The workshop features a set of presentations taking the Quasimodo industrial case studies as starting points and presents its major results achieved thus far. Moreover it features a key-note talk by Professor Rance Cleaveland, University of Maryland and Fraunhofer USA Center for Experimental Software Engineering, whom has strong experience in bringing formal methods research into practice. The program and further description is available at http://www.quasimodo.aau.dk/qws/
The consortium will present its case studies (Hydraulic Pump Control, Wireless Sensor Networks, and Satellite software) and results on
* Automated Controller Synthesis
* Model-based testing
* Real-time and probabilistic verification and analysis
* Schedulability analysis
The workshop will be held in Eindhoven, Friday November 6, in conjunction with FM-week. that gathers a large number of academic as well as industry targeted events that may also be of interest to you.
For further information please visit http://www.win.tue.nl/fmweek/
|
|
