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.