You are here

Embedded System Design and Verification

Embedded Systems (ES) are computer-based systems where some kind of software interacts with an external environment, usually by means of sensors and actuators, to carry out possibly complex and/or critical functions. Examples of ES are control systems for trains, cars, air- and space craft, industrial plants and production machines, exploration rovers, and environmental and structural monitoring.

Key problems in the design of Embedded Systems are ensuring the correctness, shortening production time and reducing costs, and implementing complicated control functionalities.

The Unit addresses these problems by carrying out methods and tools for the design, development and verification of Embedded Systems, and by applying them in practically relevant settings. The objectives of the Unit appear to be fully in line with the strategy of FBK. In particular, the Unit aims for top level scientific research, and innovation in the form of design support tools and of technology transfer of advanced technologies, in particular in the local community.