{"id":16123,"date":"2021-05-21T11:30:44","date_gmt":"2021-05-21T15:30:44","guid":{"rendered":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/?p=16123"},"modified":"2026-03-27T08:48:01","modified_gmt":"2026-03-27T12:48:01","slug":"explanation-of-verification-in-a-do-254-program","status":"publish","type":"post","link":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/2021\/05\/21\/explanation-of-verification-in-a-do-254-program\/","title":{"rendered":"Explanation of &#8220;Verification&#8221; in a DO-254 program"},"content":{"rendered":"\n<p>Often times, I&#8217;m asked to define what verification activities are required for a DO-254 program.  For those experienced in a requirements driven lifecycle the leap to understanding DO-254 may not be as large.  However, for those coming from a traditional IC development background, the answer to &#8220;what is verification in DO-254?&#8221; may not be so clear. DO-254 introduces new terminology such as requirements-based testing, elemental analysis, robustness testing, and more. <\/p>\n\n\n\n<p>Do the following questions sound familiar?<\/p>\n\n\n\n<ul class=\"wp-block-list\"><li>How is &#8220;Verification&#8221; different in the context of DO-254?<\/li><li>What is the definition of &#8220;Advanced Verification&#8221;<\/li><li>Is simulation alone enough to test a requirement?<\/li><li>What is elemental analysis?<\/li><li>And the list goes on&#8230;<\/li><\/ul>\n\n\n\n<p>If you are interested in making sense of verification in DO-254, you have come to the right place. Our friends over at <a href=\"https:\/\/www.patmos-eng.com\/\" target=\"_blank\" rel=\"noreferrer noopener\">Patmos Engineering Services<\/a> and Siemens have teamed up to define in detail the fundamental differences between verification in DO-254 compared to a traditional IC program.  Included in the white paper is an explanation of the objectives of verification in DO-254, defining the differences between requirements based testing, target testing, robustness testing, and more.  The white paper can be found at:<\/p>\n\n\n\n<p><a href=\"https:\/\/resources.sw.siemens.com\/en-US\/white-paper-what-is-verification-in-the-context-of-do-254-avionics-programs\" target=\"_blank\" rel=\"noopener\">https:\/\/resources.sw.siemens.com\/en-US\/white-paper-what-is-verification-in-the-context-of-do-254-avionics-programs<\/a><\/p>\n\n\n\n<p>Siemens has decades of experience and is the industry leader supplying design automation tools and methodologies to DO-254 and DO-178 programs. If you are interested in how Siemens solutions and services help guide project teams in accelerating and automating the DO-254 lifecycle, please reach out to learn more.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Often times, I&#8217;m asked to define what verification activities are required for a DO-254 program. For those experienced in a&#8230;<\/p>\n","protected":false},"author":71935,"featured_media":16156,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"spanish_translation":"","french_translation":"","german_translation":"","italian_translation":"","polish_translation":"","japanese_translation":"","chinese_translation":"","footnotes":""},"categories":[986,7,1],"tags":[943,944,866,435,867,936,938,819],"industry":[32,35],"product":[205],"coauthors":[921],"class_list":["post-16123","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-fusa","category-learning-resources","category-news","tag-aeh","tag-airborne-electronic-hardware","tag-avionics","tag-do-254","tag-ed-80","tag-elemental-analysis","tag-requirements-based-verification","tag-verification","industry-aerospace-defense","industry-avionics-defense-electronics","product-questa"],"featured_image_url":"https:\/\/blogs.sw.siemens.com\/wp-content\/uploads\/sites\/54\/2021\/05\/featured_image.jpeg","_links":{"self":[{"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/posts\/16123","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/users\/71935"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/comments?post=16123"}],"version-history":[{"count":5,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/posts\/16123\/revisions"}],"predecessor-version":[{"id":16196,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/posts\/16123\/revisions\/16196"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/media\/16156"}],"wp:attachment":[{"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/media?parent=16123"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/categories?post=16123"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/tags?post=16123"},{"taxonomy":"industry","embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/industry?post=16123"},{"taxonomy":"product","embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/product?post=16123"},{"taxonomy":"author","embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/coauthors?post=16123"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}