{"id":14478,"date":"2023-09-19T20:05:17","date_gmt":"2023-09-19T11:05:17","guid":{"rendered":"https:\/\/www.btc-embedded.jp\/?post_type=events&#038;p=14478"},"modified":"2023-10-04T16:02:56","modified_gmt":"2023-10-04T07:02:56","slug":"webinar-formal-test-get-maximum-value-from-your-test-data-with-minimal-effort","status":"publish","type":"events","link":"https:\/\/www.btc-embedded.jp\/ja\/events\/webinar-formal-test-get-maximum-value-from-your-test-data-with-minimal-effort\/","title":{"rendered":"Webinar \u2013 Formal Test \u2013 Get maximum value from your test data with minimal effort"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-post\" data-elementor-id=\"14478\" class=\"elementor elementor-14478\" data-elementor-post-type=\"events\">\n\t\t\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-f001999 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"f001999\" 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-b2154db\" data-id=\"b2154db\" 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-ded9ff3 elementor-widget elementor-widget-image\" data-id=\"ded9ff3\" data-element_type=\"widget\" data-widget_type=\"image.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<style>\/*! elementor - v3.20.0 - 26-03-2024 *\/\n.elementor-widget-image{text-align:center}.elementor-widget-image a{display:inline-block}.elementor-widget-image a img[src$=\".svg\"]{width:48px}.elementor-widget-image img{vertical-align:middle;display:inline-block}<\/style>\t\t\t\t\t\t\t\t\t\t<img fetchpriority=\"high\" decoding=\"async\" width=\"800\" height=\"450\" src=\"https:\/\/www.btc-embedded.jp\/wp-content\/uploads\/2023\/09\/Eventpic_Website_092023.webp\" class=\"attachment-large size-large wp-image-14486\" alt=\"\" srcset=\"https:\/\/www.btc-embedded.jp\/wp-content\/uploads\/2023\/09\/Eventpic_Website_092023.webp 1590w, https:\/\/www.btc-embedded.jp\/wp-content\/uploads\/2023\/09\/Eventpic_Website_092023-768x432.webp 768w, https:\/\/www.btc-embedded.jp\/wp-content\/uploads\/2023\/09\/Eventpic_Website_092023-1536x864.webp 1536w\" sizes=\"(max-width: 800px) 100vw, 800px\" \/>\t\t\t\t\t\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<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<style>\/*! elementor - v3.20.0 - 26-03-2024 *\/\n.elementor-widget-text-editor.elementor-drop-cap-view-stacked .elementor-drop-cap{background-color:#69727d;color:#fff}.elementor-widget-text-editor.elementor-drop-cap-view-framed .elementor-drop-cap{color:#69727d;border:3px solid;background-color:transparent}.elementor-widget-text-editor:not(.elementor-drop-cap-view-default) .elementor-drop-cap{margin-top:8px}.elementor-widget-text-editor:not(.elementor-drop-cap-view-default) .elementor-drop-cap-letter{width:1em;height:1em}.elementor-widget-text-editor .elementor-drop-cap{float:left;text-align:center;line-height:1;font-size:50px}.elementor-widget-text-editor .elementor-drop-cap-letter{display:inline-block}<\/style>\t\t\t\t<p data-pm-slice=\"1 1 []\"><strong>September 28th, 10:00 CET (Berlin) \/ 04:00 EST (Detroit) \/ 13:30 IST (Bangalore) \/ 16:00 CST (Beijing)<\/strong><\/p><p><strong>September 28th, 15:00 CET (Berlin) \/ 09:00 EST (Detroit) \/ 18:30 IST (Bangalore) \/ 21:00 CST (Beijing)<\/strong><\/p>\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-37d2574 elementor-widget elementor-widget-text-editor\" data-id=\"37d2574\" 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<p data-pm-slice=\"1 1 []\">In most embedded software projects, a huge amount of test data is produced and recorded on the different test stages along the V-Cycle up to in-vehicle testing. But how can we get the maximum value out of this data? How can we make sure to detect all critical situations?<\/p><p>While a manual review of the recorded signals is not feasible, the traditional Requirements-based Test approach usually only looks for the status of one particular requirement per test case.<\/p><p>In this free webinar, Taichi Ando and Markus Gros introduce &#8220;Formal Test&#8221; as a highly automated approach to get maximum value from existing data with minimal effort.<\/p>\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-c3e1438 elementor-widget elementor-widget-text-editor\" data-id=\"c3e1438\" 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<p>We will show you:<\/p><ul><li>Why an automated approach for analyzing test data is needed<\/li><li>How to bring the corresponding requirements and safety goals into a &#8220;machine-readable&#8221; format<\/li><li>How to execute a Formal Test and debug violations<\/li><li>How to automate everything using a Linux Docker Container<\/li><\/ul>\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>In this free webinar, Taichi Ando and Markus Gros introduce &#8220;Formal Test&#8221; as a highly automated approach to get maximum value from existing data with minimal effort. <\/p>\n","protected":false},"featured_media":0,"template":"elementor_theme","event_type":[57],"class_list":["post-14478","events","type-events","status-publish","hentry","event_type-webinar"],"acf":[],"_links":{"self":[{"href":"https:\/\/www.btc-embedded.jp\/ja\/wp-json\/wp\/v2\/events\/14478","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.btc-embedded.jp\/ja\/wp-json\/wp\/v2\/events"}],"about":[{"href":"https:\/\/www.btc-embedded.jp\/ja\/wp-json\/wp\/v2\/types\/events"}],"version-history":[{"count":8,"href":"https:\/\/www.btc-embedded.jp\/ja\/wp-json\/wp\/v2\/events\/14478\/revisions"}],"predecessor-version":[{"id":14536,"href":"https:\/\/www.btc-embedded.jp\/ja\/wp-json\/wp\/v2\/events\/14478\/revisions\/14536"}],"wp:attachment":[{"href":"https:\/\/www.btc-embedded.jp\/ja\/wp-json\/wp\/v2\/media?parent=14478"}],"wp:term":[{"taxonomy":"event_type","embeddable":true,"href":"https:\/\/www.btc-embedded.jp\/ja\/wp-json\/wp\/v2\/event_type?post=14478"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}