Embedded Systems Research Group

Embedded computing systems will play a dominant role in the coming decades. They will deliver more powerful services in traditional application domains such as aviation, military, telecommunications and process control. Due to the falling price of hardware and the trend towards ubiquitous networking, embedded computing will also become a key component of many common place applications and household products In these domains, "lay-consumers" will demand a level of reliability and predictability not normally expected from traditional computer software. This calls for an design process that is effective and reliable but which also has a fast turn-around time as well as the ability to build -with minimal additional effort- many customized versions of the same product. Such a design process should encompass multiple levels of system-descriptions and the means for going form one level of description to a neighboring one while preserving behavior and the integrity of the design.. The various levels of descriptions should range from requirements and proceed all the way down to software-hardware implementation.