{"id":9598,"date":"2021-01-20T09:39:40","date_gmt":"2021-01-20T07:39:40","guid":{"rendered":"https:\/\/www.btc-embedded.com\/?post_type=events&#038;p=9598"},"modified":"2022-08-16T09:44:33","modified_gmt":"2022-08-16T07:44:33","slug":"embedded-world-2021-digital","status":"publish","type":"events","link":"https:\/\/www.btc-embedded.com\/de\/events\/embedded-world-2021-digital\/","title":{"rendered":"Embedded World 2021 digital"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-post\" data-elementor-id=\"9598\" class=\"elementor elementor-9598\" data-elementor-post-type=\"events\">\n\t\t\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-3d4cfca elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"3d4cfca\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-d467f83\" data-id=\"d467f83\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-44a5cf5 elementor-widget elementor-widget-text-editor\" data-id=\"44a5cf5\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<h3>1. &#8211;\u00a05. March 2021<\/h3><h3>Location: Online (virtual conference)<\/h3><p>BTC Embedded System joins the virutual embedded world conference 2021. On Tuesday, 2nd of March, Mr. Wolfgang Meincke (Senior Pilot Engineer at BTC Embedded Systems) will give a talk\u00a0on &#8222;Applying Automated Formal CCC Checks for Complex Systems Development&#8220;.<\/p><div class=\"content-box content-box__blue\"><p><strong>Applying Automated Formal CCC Checks for Complex Systems Development<\/strong><\/p><p>Today many systems have safety-critical aspects with an increasing demand for \u201cquality\u201d which can only be addressed by applying mature processes, methods, and tools. Having a set of consistent and complete and correct requirements as a starting point for the complex development process is a crucial thing to reach the needed level of quality as prescribed by several safety standards of the automotive and aviation sector like ISO 26262 and DO-178C.<\/p><p>In this presentation, we propose an intuitive and graphical specification language to ease the complex formalization task for textual requirements. We then elaborate on fully automated formal checks to demonstrate consistency and completeness and correctness of formal specifications in a very early design stage, where a system model or production code are not yet available. Detected problems are analyzed with a formal requirements simulation feature. This in turn leads to greater product quality with less cost compared with traditional processes.<\/p><\/div>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<\/div>\n\t\t","protected":false},"excerpt":{"rendered":"<p>BTC Embedded System joins the virutual embedded world conference 2021. On Tuesday, 2nd of March, Mr. Wolfgang Meincke (Senior Pilot Engineer at BTC Embedded Systems) will give a talk on &#8222;Applying Automated Formal CCC Checks for Complex Systems Development&#8220;.<\/p>\n","protected":false},"featured_media":0,"template":"elementor_theme","event_type":[57],"class_list":["post-9598","events","type-events","status-publish","hentry","event_type-webinar"],"acf":[],"_links":{"self":[{"href":"https:\/\/www.btc-embedded.com\/de\/wp-json\/wp\/v2\/events\/9598","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.btc-embedded.com\/de\/wp-json\/wp\/v2\/events"}],"about":[{"href":"https:\/\/www.btc-embedded.com\/de\/wp-json\/wp\/v2\/types\/events"}],"version-history":[{"count":0,"href":"https:\/\/www.btc-embedded.com\/de\/wp-json\/wp\/v2\/events\/9598\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.btc-embedded.com\/de\/wp-json\/wp\/v2\/media?parent=9598"}],"wp:term":[{"taxonomy":"event_type","embeddable":true,"href":"https:\/\/www.btc-embedded.com\/de\/wp-json\/wp\/v2\/event_type?post=9598"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}