Embedded

Description

This research line deals with the realization of control schemes on digital computers. The ultimate goal is to support the mechatronic / robotic design engineer such that implementing controllers according to “do it the first time right” becomes business as usual. Simulation and formal methods are used as a means for verification at all stages of the design process. This facilitates concurrent engineering. Robot Software Architectures are tuned to fit in our design approach, to obtain an effective realization trajectory. Furthermore, the use of parallel hardware and parallel software is investigated, to exploit the inherent parallel nature of embedded systems and their control.

Running projects

AuPertProc

1-9-2012 - 31-8-2016, CTIT (InHolland) Automation of periodic real-time processes. read more

BRICS

1-3-2009 - 1-3-2013 (EU FP7 IP); Best Practice in Robotics, an Integrated Project to promote the interoperability of hardware and software components for robotics, and to design and implement an integrated robotic development environment including a software repository of best practise robotics a... read more

DESTECS

1-1-2010 - 31-12-2012, CTIT (EU FP7 STREP); Design Support and Tooling for Embedded Control Software, using co-simulation between 20sim and VDM++ models. Fault modeling / injection is done to enhance the dependability of the resulting embedded software. It is an EU project with 8 partners, UT is... read more

MDD-ES

Model-Driven Design of dependable software-intensive embedded systems. On integration of models for the design of dependable, software-intensive embedded systems, trying to bring together existing modeling methods from the formal methods domain and the mechatronics / robotics domain. Work done t... read more

TeleFlex

1-11-2007 - 30-6-2012, CTIT (PIDON); Telemanipulation system for a new generation of minimal-invasive interventions. read more

Finished projects

BODERC

1-10-2002 - 31-3-2007, CTIT (ESI, SenterNovem); Beyond the Ordinary: Design for Embedded Real-time Control read more

CoSDSE

16-8-2008 - 15-08-2009, CTIT (STW PROGRESS); Co-Simulation as Design Space Exploration Tool. read more

DesignTools

1-5-2001 - 30-9-2005, CTIT (STW PROGRESS); Development of a Design Framework for heterogeneous real-time embedded systems read more

Fieldbuses

11-03-2002 - 31-7-2006, CTIT (STW PROGRESS); Fieldbuses for real-time control. read more

P-CSP

1-1-2007 - 31-12-2007, CTIT (STW PROGRESS); Graphical CSP to practice. read more

ViewCorrect

1-6-2005 - 31-12-2010, CTIT (STW PROGRESS); Provide methodological support, including (prototype) tools, for the predictable design of distributed hard real-time embedded control systems for mechatronic products. It deals with views (editors), core models, and correctness-preserving code genera... read more