{"id":871,"date":"2013-08-09T15:34:00","date_gmt":"2013-08-09T15:34:00","guid":{"rendered":"https:\/\/es-wordpress.fbk.eu\/?p=871"},"modified":"2021-05-10T10:08:27","modified_gmt":"2021-05-10T09:08:27","slug":"isaac","status":"publish","type":"post","link":"https:\/\/es.fbk.eu\/index.php\/projects\/isaac\/","title":{"rendered":"ISAAC &#8211; Improvement of Safety Activities on Aeronautical Complex systems"},"content":{"rendered":"\n[et_pb_section fb_built=&#8221;1&#8243; admin_label=&#8221;section&#8221; _builder_version=&#8221;3.22&#8243;][et_pb_row admin_label=&#8221;row&#8221; _builder_version=&#8221;3.25&#8243; background_size=&#8221;initial&#8221; background_position=&#8221;top_left&#8221; background_repeat=&#8221;repeat&#8221;][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 admin_label=&#8221;Text&#8221; _builder_version=&#8221;3.27.4&#8243; background_size=&#8221;initial&#8221; background_position=&#8221;top_left&#8221; background_repeat=&#8221;repeat&#8221;]<!-- divi:paragraph -->\n<p>The ISAAC project aims to increase the capability and efficiency of safety and systems engineers to perform safety assessments resulting in secure systems. The proposed methodology, built on formal method techniques, is an integrated part of a model-based development process where safety and reliability aspects are examined in the early steps of development.<\/p>\n<!-- \/divi:paragraph -->\n\n<!-- divi:paragraph -->\n<p>The goals of the project are:<\/p>\n<!-- \/divi:paragraph -->\n\n<!-- divi:list -->\n<ul><li>to consolidate the ESACS results by improving analysis for dynamic aspects like sequencing or temporal behaviour<\/li><li>to extend the scope of the integrated environment among designers and safety\/reliability engineers<\/li><li>to take into account results from tools used in performing particular risk and zonal safety analysis and to use this information to analyse unintended interactions injected into independent \u2018intended functionality\u2019 but co-located systems<\/li><li>to evaluate the relationship between man and machine offering a complex human-complex machine interaction model<\/li><li>to automate the analyses to determine the impact of degraded situations on system operating modes and over pre-defined missions<\/li><li>to exploit the use of ESACS formal verification techniques to deal with testability aspects.<\/li><\/ul>\n<!-- \/divi:list -->[\/et_pb_text][\/et_pb_column][\/et_pb_row][\/et_pb_section]\n","protected":false},"excerpt":{"rendered":"<p>The ISAAC project aims to increase the capability and efficiency of safety and systems engineers to perform safety assessments resulting in secure systems. The proposed methodology, built on formal method techniques, is an integrated part of a model-based development process where safety and reliability aspects are examined in the early steps of development.<\/p>\n","protected":false},"author":1,"featured_media":872,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_et_pb_use_builder":"on","_et_pb_old_content":"<!-- wp:paragraph -->\n<p>The ISAAC project aims to increase the capability and efficiency of safety and systems engineers to perform safety assessments resulting in secure systems. The proposed methodology, built on formal method techniques, is an integrated part of a model-based development process where safety and reliability aspects are examined in the early steps of development.<\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:paragraph -->\n<p>The goals of the project are:<\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:list -->\n<ul><li>to consolidate the ESACS results by improving analysis for dynamic aspects like sequencing or temporal behaviour<\/li><li>to extend the scope of the integrated environment among designers and safety\/reliability engineers<\/li><li>to take into account results from tools used in performing particular risk and zonal safety analysis and to use this information to analyse unintended interactions injected into independent \u2018intended functionality\u2019 but co-located systems<\/li><li>to evaluate the relationship between man and machine offering a complex human-complex machine interaction model<\/li><li>to automate the analyses to determine the impact of degraded situations on system operating modes and over pre-defined missions<\/li><li>to exploit the use of ESACS formal verification techniques to deal with testability aspects.<\/li><\/ul>\n<!-- \/wp:list -->","_et_gb_content_width":"","footnotes":""},"categories":[3],"tags":[],"class_list":["post-871","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-projects","et-has-post-format-content","et_post_format-et-post-format-standard"],"_links":{"self":[{"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/posts\/871","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/types\/post"}],"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=871"}],"version-history":[{"count":8,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/posts\/871\/revisions"}],"predecessor-version":[{"id":4625,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/posts\/871\/revisions\/4625"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/media\/872"}],"wp:attachment":[{"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/media?parent=871"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/categories?post=871"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/tags?post=871"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}