
{"id":91,"date":"2021-01-27T18:14:39","date_gmt":"2021-01-27T18:14:39","guid":{"rendered":"https:\/\/es-wordpress.fbk.eu\/?page_id=91"},"modified":"2023-06-08T08:58:35","modified_gmt":"2023-06-08T07:58:35","slug":"research","status":"publish","type":"page","link":"https:\/\/es.fbk.eu\/index.php\/research\/","title":{"rendered":"Research"},"content":{"rendered":"<p>[et_pb_section fb_built=&#8221;1&#8243; _builder_version=&#8221;3.22&#8243;][et_pb_row _builder_version=&#8221;3.25&#8243; background_size=&#8221;initial&#8221; background_position=&#8221;top_left&#8221; background_repeat=&#8221;repeat&#8221; hover_enabled=&#8221;0&#8243; sticky_enabled=&#8221;0&#8243;][et_pb_column type=&#8221;4_4&#8243; _builder_version=&#8221;3.25&#8243; custom_padding=&#8221;|||&#8221; custom_padding__hover=&#8221;|||&#8221;][et_pb_text _builder_version=&#8221;4.8.2&#8243; background_size=&#8221;initial&#8221; background_position=&#8221;top_left&#8221; background_repeat=&#8221;repeat&#8221; hover_enabled=&#8221;0&#8243; sticky_enabled=&#8221;0&#8243;]<!-- divi:heading --><\/p>\n<h2><a href=\"\/index.php\/research\/prova\/\">Embedded System Design and Verification<\/a><\/h2>\n<p>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.<\/p>\n<p><!-- \/divi:heading --><\/p>\n<p><!-- divi:paragraph -->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.<\/p>\n<p><!-- \/divi:paragraph --><\/p>\n<p><!-- divi:paragraph -->Key problems in the design of Embedded Systems are ensuring the correctness, shortening production time and reducing costs, and implementing complicated control functionalities.<\/p>\n<p><!-- \/divi:paragraph -->[\/et_pb_text][\/et_pb_column][\/et_pb_row][\/et_pb_section]<\/p>\n","protected":false},"excerpt":{"rendered":"<p>[et_pb_section fb_built=&#8221;1&#8243; _builder_version=&#8221;3.22&#8243;][et_pb_row _builder_version=&#8221;3.25&#8243; background_size=&#8221;initial&#8221; background_position=&#8221;top_left&#8221; background_repeat=&#8221;repeat&#8221; hover_enabled=&#8221;0&#8243; sticky_enabled=&#8221;0&#8243;][et_pb_column type=&#8221;4_4&#8243; _builder_version=&#8221;3.25&#8243; custom_padding=&#8221;|||&#8221; custom_padding__hover=&#8221;|||&#8221;][et_pb_text _builder_version=&#8221;4.8.2&#8243; background_size=&#8221;initial&#8221; background_position=&#8221;top_left&#8221; background_repeat=&#8221;repeat&#8221; hover_enabled=&#8221;0&#8243; sticky_enabled=&#8221;0&#8243;] 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 [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_et_pb_use_builder":"on","_et_pb_old_content":"<!-- wp:heading -->\n<h2><a href=\"https:\/\/es.fbk.eu\/\/\/index.php\/research\/prova\/\">Embedded System Design and Verification<\/a><\/h2>\n<!-- \/wp:heading -->\n\n<!-- wp:paragraph -->\n<p>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.<\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:paragraph -->\n<p>Key problems in the design of Embedded Systems are ensuring the correctness, shortening production time and reducing costs, and implementing complicated control functionalities.<\/p>\n<!-- \/wp:paragraph -->","_et_gb_content_width":"","footnotes":""},"class_list":["post-91","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/pages\/91","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/comments?post=91"}],"version-history":[{"count":10,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/pages\/91\/revisions"}],"predecessor-version":[{"id":9271,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/pages\/91\/revisions\/9271"}],"wp:attachment":[{"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/media?parent=91"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}