{"id":295613,"date":"2017-03-31T04:50:48","date_gmt":"2017-03-31T08:50:48","guid":{"rendered":"https:\/\/ntrs.nasa.gov\/search.jsp?R=20170002595"},"modified":"2017-03-31T04:50:48","modified_gmt":"2017-03-31T08:50:48","slug":"formal-assurance-certifiable-tooling-formal-assurance-certifiable-tooling-strategy-final-report","status":"publish","type":"post","link":"https:\/\/spaceweekly.com\/?p=295613","title":{"rendered":"Formal Assurance Certifiable Tooling Formal Assurance Certifiable Tooling Strategy Final Report"},"content":{"rendered":"<p>Abstract: This is the Final Report of a research project to investigate issues and provide guidance for the qualification of formal methods tools under the DO-330 qualification process. It consisted of three major subtasks spread over two years: 1) an assessment of theoretical soundness issues that may affect qualification for three categories of formal methods tools, 2) a case study simulating the DO-330 qualification of two actual tool sets, and 3) an investigation of risk mitigation strategies that &#8230;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Abstract: This is the Final Report of a research project to investigate issues and provide guidance for the qualification of formal methods tools under the DO-330 qualification process. It consisted of three major subtasks spread over two years: 1) an &#8230;<\/p>\n","protected":false},"author":60,"featured_media":615444,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[],"tags":[],"class_list":["post-295613","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry"],"_links":{"self":[{"href":"https:\/\/spaceweekly.com\/index.php?rest_route=\/wp\/v2\/posts\/295613","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/spaceweekly.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/spaceweekly.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/spaceweekly.com\/index.php?rest_route=\/wp\/v2\/users\/60"}],"replies":[{"embeddable":true,"href":"https:\/\/spaceweekly.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=295613"}],"version-history":[{"count":1,"href":"https:\/\/spaceweekly.com\/index.php?rest_route=\/wp\/v2\/posts\/295613\/revisions"}],"predecessor-version":[{"id":295614,"href":"https:\/\/spaceweekly.com\/index.php?rest_route=\/wp\/v2\/posts\/295613\/revisions\/295614"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/spaceweekly.com\/index.php?rest_route=\/wp\/v2\/media\/615444"}],"wp:attachment":[{"href":"https:\/\/spaceweekly.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=295613"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/spaceweekly.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=295613"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/spaceweekly.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=295613"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}