Embedded System Design and Verification
Embedded Systems is a research unit of the Digital Industry Center of Fondazione Bruno Kessler. The unit aims at developing advanced analysis techniques to support the design of complex systems in various application domains such as aerospace, railway, automotive, agriculture.
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.