Model-Based Engineering of Embedded Systems
We will improve the efficiency of the software-development process for embedded control systems with respect to: (1) development effort, (2) achieved software quality, and (3) hardware utilization.
Description of the project
We will use novel theories that allow predictable integration of multiple execution models within a single computer system. By choosing the most appropriate execution model for each different subsystem (1) and (2) are supported. To support (2) and (3) we will develop software engineering tools to provide automated mapping of software components to execution platforms and powerful analysis tools to asses software-quality properties.