{"id":14,"date":"2024-11-22T15:36:07","date_gmt":"2024-11-22T14:36:07","guid":{"rendered":"https:\/\/wp.laas.fr\/smof\/?page_id=14"},"modified":"2024-11-22T15:37:16","modified_gmt":"2024-11-22T14:37:16","slug":"home","status":"publish","type":"page","link":"https:\/\/wp.laas.fr\/smof\/","title":{"rendered":"Home"},"content":{"rendered":"\n<p><a href=\"https:\/\/www.laas.fr\/projects\/smof\/\">SMOF<\/a>&nbsp;is a research project by LAAS-CNRS to assist the specification of safety rules for autonomous systems. SMOF is a framework to assist the specification of safety rules executed by an independent monitor to ensure safety of the whole system. The safety rules are high-level requirements of the monitor expressed in terms of observable variables on the system and its environment and interventions.<\/p>\n\n\n\n<p>Our method is based on a risk analysis and takes into account the system&rsquo;s versatility in the specification of the safety rules.<br>The approch takes into account the permissiveness of the monitor, i.e., the ability to ensure safety without reducing the system functionalities, and so particularly fits autonomous systems.&nbsp;<\/p>\n\n\n\n<p>The tool is based on the model checker&nbsp;<a href=\"http:\/\/nusmv.fbk.eu\/\">NuSMV<\/a>. It is used to model the invariant and verify properties. The framework includes a template to ease the modeling. For the user, writing and checking manually safety rules in NuSMV may be tedious and error-prone. We have developped a synthesis tool, which returns directly&nbsp;satisfying sets of safety rules.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>SMOF&nbsp;is a research project by LAAS-CNRS to assist the specification of safety rules for autonomous systems. SMOF is a framework to assist the specification of safety rules executed by an independent monitor to ensure safety of the whole system. The safety rules are high-level requirements of the monitor expressed in terms of observable variables on [&hellip;]<\/p>\n","protected":false},"author":51,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-14","page","type-page","status-publish","hentry","post"],"_links":{"self":[{"href":"https:\/\/wp.laas.fr\/smof\/wp-json\/wp\/v2\/pages\/14","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/wp.laas.fr\/smof\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/wp.laas.fr\/smof\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/wp.laas.fr\/smof\/wp-json\/wp\/v2\/users\/51"}],"replies":[{"embeddable":true,"href":"https:\/\/wp.laas.fr\/smof\/wp-json\/wp\/v2\/comments?post=14"}],"version-history":[{"count":1,"href":"https:\/\/wp.laas.fr\/smof\/wp-json\/wp\/v2\/pages\/14\/revisions"}],"predecessor-version":[{"id":15,"href":"https:\/\/wp.laas.fr\/smof\/wp-json\/wp\/v2\/pages\/14\/revisions\/15"}],"wp:attachment":[{"href":"https:\/\/wp.laas.fr\/smof\/wp-json\/wp\/v2\/media?parent=14"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}