{"id":8204,"date":"2025-03-17T13:51:11","date_gmt":"2025-03-17T12:51:11","guid":{"rendered":"https:\/\/sys.cs.fau.de\/?page_id=8204"},"modified":"2025-03-25T09:38:18","modified_gmt":"2025-03-25T08:38:18","slug":"aimbos","status":"publish","type":"page","link":"https:\/\/sys.cs.fau.de\/en\/research\/aimbos","title":{"rendered":"AIMBOS"},"content":{"rendered":"<h3>AIMBOS: Abstract Interpretation for Embedded AI Code Safety<\/h3>\r\n<em>(Third Party Funds Single)<\/em>\r\n\r\n<br><br>\r\n\r\n<p>\r\n<strong>Project leader:<\/strong>\u00a0<a href=\"https:\/\/sys.cs.fau.de\/en\/person\/waegemann\">Dr. Peter W\u00e4gemann (FAU)<\/a>, Dr. Dominik Penk (Schaeffler), Dr. Dominik Riedelbauch (Schaeffler)\r\n<br>\r\n<strong>Project members:<\/strong>\u00a0<a href=\"https:\/\/sys.cs.fau.de\/en\/person\/haeberlein\">Tobias H\u00e4berlein (FAU)<\/a>, Dr. Isabella Stilkerich (Schaeffler)\r\n<br>\r\n<strong>Start date:<\/strong>\u00a01. Januar 2025\r\n<br>\r\n<strong>End date:<\/strong> 31. Dezember 2027\r\n<br>\r\n<strong>Acronym:<\/strong>\u00a0AIMBOS\r\n<br>\r\n<strong>Funding source:<\/strong> Schaeffler Technologies AG &amp; Co. KG\r\n<\/p>\r\n\r\n<h4>Abstract<\/h4>\r\n<p>\r\nArtificial intelligence (AI), particularly in the form of machine learning models,\r\nsteadily gains importance in industrial applications. For Schaeffler, the usage of those\r\nmethods in edge- or embedded devices is of particular interest. Deployment and\r\ndevelopment of AI solutions in these environments presents a unique array of\r\nchallenges. This project specifically focuses on proving functional code safety and the\r\ncorrectness of deployed applications. To this end, we will investigate how Abstract\r\nInterpretation, a well-known mathematical method to prove a wide range of program\r\nproperties, can be used and extended for ML-based applications containing (deep)\r\nNeural Networks.\r\n<\/p>","protected":false},"excerpt":{"rendered":"AIMBOS: Abstract Interpretation for Embedded AI Code Safety (Third Party Funds Single) Project leader:\u00a0Dr. Peter W\u00e4gemann (FAU), Dr. Dominik Penk (Schaeffler), Dr. Dominik Riedelbauch (Schaeffler) Project members:\u00a0Tobias H\u00e4berlein (FAU), Dr. Isabella Stilkerich (Schaeffler) Start date:\u00a01. Januar 2025 End date: 31. Dezember 2027 Acronym:\u00a0AIMBOS Funding source: Schaeffler Technologies AG &amp; Co. KG Abstract Artificial intelligence (AI), [&hellip;]","protected":false},"author":38,"featured_media":0,"parent":2103,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"page-templates\/page-subnav.php","meta":{"_rrze_multilang_single_locale":"en_US","_rrze_multilang_single_source":"https:\/\/sys.cs.fau.de\/?page_id=8184","_faue_teaser_image_id":0,"footnotes":""},"page_category":[],"class_list":["post-8204","page","type-page","status-publish","hentry","en-US"],"faue_teaser_image_url":"","_links":{"self":[{"href":"https:\/\/sys.cs.fau.de\/wp-json\/wp\/v2\/pages\/8204","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/sys.cs.fau.de\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/sys.cs.fau.de\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/sys.cs.fau.de\/wp-json\/wp\/v2\/users\/38"}],"replies":[{"embeddable":true,"href":"https:\/\/sys.cs.fau.de\/wp-json\/wp\/v2\/comments?post=8204"}],"version-history":[{"count":5,"href":"https:\/\/sys.cs.fau.de\/wp-json\/wp\/v2\/pages\/8204\/revisions"}],"predecessor-version":[{"id":8269,"href":"https:\/\/sys.cs.fau.de\/wp-json\/wp\/v2\/pages\/8204\/revisions\/8269"}],"up":[{"embeddable":true,"href":"https:\/\/sys.cs.fau.de\/wp-json\/wp\/v2\/pages\/2103"}],"wp:attachment":[{"href":"https:\/\/sys.cs.fau.de\/wp-json\/wp\/v2\/media?parent=8204"}],"wp:term":[{"taxonomy":"page_category","embeddable":true,"href":"https:\/\/sys.cs.fau.de\/wp-json\/wp\/v2\/page_category?post=8204"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}