{"id":4717,"date":"2022-07-01T17:30:03","date_gmt":"2022-07-01T15:30:03","guid":{"rendered":"https:\/\/zen-cori.138-201-132-86.plesk.page\/?page_id=4717"},"modified":"2025-04-15T18:35:52","modified_gmt":"2025-04-15T16:35:52","slug":"formal-specification","status":"publish","type":"use_cases","link":"https:\/\/www.btc-embedded.com\/zh-hans\/use_cases\/formal-specification\/","title":{"rendered":"Formal Specification"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-page\" data-elementor-id=\"4717\" class=\"elementor elementor-4717\" data-elementor-post-type=\"use_cases\">\n\t\t\t\t<div class=\"elementor-element elementor-element-b3010ae btc-hero e-flex e-con-boxed e-con e-parent\" data-id=\"b3010ae\" data-element_type=\"container\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t<div class=\"elementor-element elementor-element-d87fe34 e-con-full e-flex e-con e-child\" data-id=\"d87fe34\" data-element_type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-3ec944a elementor-widget elementor-widget-heading\" data-id=\"3ec944a\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h4 class=\"elementor-heading-title elementor-size-default\">Use Cases<\/h4>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-88cad6d animated-fast elementor-invisible elementor-widget elementor-widget-heading\" data-id=\"88cad6d\" data-element_type=\"widget\" data-settings=\"{&quot;_animation&quot;:&quot;fadeInUp&quot;}\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h1 class=\"elementor-heading-title elementor-size-default\">Formal Specification<\/h1>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-8b1c5c7 elementor-widget elementor-widget-text-editor\" data-id=\"8b1c5c7\" 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<p style=\"font-weight: 400;\">Intuitive formal specification of safety requirements<\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-25054f2 e-flex e-con-boxed e-con e-parent\" data-id=\"25054f2\" data-element_type=\"container\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t<div class=\"elementor-element elementor-element-87dc28a btc-products e-con-full e-flex e-con e-child\" data-id=\"87dc28a\" data-element_type=\"container\">\n\t\t<div class=\"elementor-element elementor-element-b089958 btc-grow  e-con-full e-flex elementor-invisible e-con e-child\" data-id=\"b089958\" data-element_type=\"container\" data-settings=\"{&quot;animation&quot;:&quot;fadeInLeft&quot;,&quot;animation_mobile&quot;:&quot;fadeInUp&quot;}\">\n\t\t\t\t<div class=\"elementor-element elementor-element-6a41b4b elementor-widget elementor-widget-heading\" data-id=\"6a41b4b\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">Formal Requirements = <br>Better Requirements<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-65f85b7 elementor-widget elementor-widget-heading\" data-id=\"65f85b7\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">What if your computer could understand your requirements?<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-1571263 elementor-widget elementor-widget-text-editor\" data-id=\"1571263\" 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<p>In most development projects today, requirements are created and managed using informal natural language.\u00a0<\/p><p>As natural language typically leaves some room for interpretation, there\u2019s the possibility that function developers or test engineers ultimately implement a different behavior than intended.\u00a0<\/p><p>With a semi-formal or formal notation in BTC EmbeddedSpecifier, you can transform your safety requirements into a clear, unambiguous and machine-readable representation \u2013 improving their quality and making them much more valuable for the following steps in the development workflow.<\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-537dba4 btc-grow  e-con-full e-flex elementor-invisible e-con e-child\" data-id=\"537dba4\" data-element_type=\"container\" data-settings=\"{&quot;animation&quot;:&quot;fadeInRight&quot;,&quot;animation_mobile&quot;:&quot;fadeInUp&quot;}\">\n\t\t\t\t<div class=\"elementor-element elementor-element-6169a0a elementor-grid-1 elementor-grid-tablet-1 elementor-grid-mobile-1 elementor-widget elementor-widget-loop-grid\" data-id=\"6169a0a\" data-element_type=\"widget\" data-settings=\"{&quot;template_id&quot;:20148,&quot;columns&quot;:1,&quot;columns_tablet&quot;:1,&quot;_skin&quot;:&quot;post&quot;,&quot;columns_mobile&quot;:&quot;1&quot;,&quot;edit_handle_selector&quot;:&quot;[data-elementor-type=\\&quot;loop-item\\&quot;]&quot;,&quot;row_gap&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;row_gap_tablet_extra&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;row_gap_tablet&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;row_gap_mobile&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]}}\" data-widget_type=\"loop-grid.post\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-loop-container elementor-grid\" role=\"list\">\n\t\t<style id=\"loop-20148\">.elementor-20148 .elementor-element.elementor-element-2919a9af{--display:flex;--flex-direction:row;--container-widget-width:calc( ( 1 - var( --container-widget-flex-grow ) ) * 100% );--container-widget-height:100%;--container-widget-flex-grow:1;--container-widget-align-self:stretch;--flex-wrap-mobile:wrap;--align-items:stretch;--gap:10px 10px;--row-gap:10px;--column-gap:10px;--border-radius:20px 20px 20px 20px;box-shadow:0px 0px 30px 15px rgba(225, 225, 225, 0.15);--padding-top:25px;--padding-bottom:25px;--padding-left:25px;--padding-right:25px;}.elementor-20148 .elementor-element.elementor-element-2919a9af:not(.elementor-motion-effects-element-type-background), .elementor-20148 .elementor-element.elementor-element-2919a9af > .elementor-motion-effects-container > .elementor-motion-effects-layer{background-color:var( --e-global-color-8c64e01 );}.elementor-20148 .elementor-element.elementor-element-76e2b7ab{--display:flex;}.elementor-widget-icon-box.elementor-view-stacked .elementor-icon{background-color:var( --e-global-color-primary );}.elementor-widget-icon-box.elementor-view-framed .elementor-icon, .elementor-widget-icon-box.elementor-view-default .elementor-icon{fill:var( --e-global-color-primary );color:var( --e-global-color-primary );border-color:var( --e-global-color-primary );}.elementor-widget-icon-box .elementor-icon-box-title, .elementor-widget-icon-box .elementor-icon-box-title a{font-family:var( --e-global-typography-primary-font-family ), Sans-serif;font-size:var( --e-global-typography-primary-font-size );font-weight:var( --e-global-typography-primary-font-weight );text-transform:var( --e-global-typography-primary-text-transform );font-style:var( --e-global-typography-primary-font-style );text-decoration:var( --e-global-typography-primary-text-decoration );line-height:var( --e-global-typography-primary-line-height );letter-spacing:var( --e-global-typography-primary-letter-spacing );}.elementor-widget-icon-box .elementor-icon-box-title{color:var( --e-global-color-primary );}.elementor-widget-icon-box:has(:hover) .elementor-icon-box-title,\n\t\t\t\t\t .elementor-widget-icon-box:has(:focus) .elementor-icon-box-title{color:var( --e-global-color-primary );}.elementor-widget-icon-box .elementor-icon-box-description{font-family:var( --e-global-typography-text-font-family ), Sans-serif;font-size:var( --e-global-typography-text-font-size );font-weight:var( --e-global-typography-text-font-weight );text-transform:var( --e-global-typography-text-text-transform );font-style:var( --e-global-typography-text-font-style );text-decoration:var( --e-global-typography-text-text-decoration );line-height:var( --e-global-typography-text-line-height );letter-spacing:var( --e-global-typography-text-letter-spacing );color:var( --e-global-color-text );}.elementor-20148 .elementor-element.elementor-element-495b026a{width:auto;max-width:auto;bottom:25px;z-index:1;}body:not(.rtl) .elementor-20148 .elementor-element.elementor-element-495b026a{left:25px;}body.rtl .elementor-20148 .elementor-element.elementor-element-495b026a{right:25px;}.elementor-20148 .elementor-element.elementor-element-495b026a .elementor-icon-box-wrapper{align-items:center;}.elementor-20148 .elementor-element.elementor-element-495b026a.elementor-view-stacked .elementor-icon{background-color:var( --e-global-color-8c64e01 );}.elementor-20148 .elementor-element.elementor-element-495b026a.elementor-view-framed .elementor-icon, .elementor-20148 .elementor-element.elementor-element-495b026a.elementor-view-default .elementor-icon{fill:var( --e-global-color-8c64e01 );color:var( --e-global-color-8c64e01 );border-color:var( --e-global-color-8c64e01 );}.elementor-20148 .elementor-element.elementor-element-495b026a .elementor-icon{font-size:35px;}.elementor-20148 .elementor-element.elementor-element-495b026a .elementor-icon-box-title, .elementor-20148 .elementor-element.elementor-element-495b026a .elementor-icon-box-title a{font-family:var( --e-global-typography-6dfa8a2-font-family ), Sans-serif;font-size:var( --e-global-typography-6dfa8a2-font-size );font-weight:var( --e-global-typography-6dfa8a2-font-weight );text-transform:var( --e-global-typography-6dfa8a2-text-transform );font-style:var( --e-global-typography-6dfa8a2-font-style );text-decoration:var( --e-global-typography-6dfa8a2-text-decoration );line-height:var( --e-global-typography-6dfa8a2-line-height );letter-spacing:var( --e-global-typography-6dfa8a2-letter-spacing );}.elementor-20148 .elementor-element.elementor-element-495b026a .elementor-icon-box-title{color:var( --e-global-color-8c64e01 );}.elementor-20148 .elementor-element.elementor-element-75e4e713{width:auto;max-width:auto;bottom:25px;z-index:1;}body:not(.rtl) .elementor-20148 .elementor-element.elementor-element-75e4e713{left:25px;}body.rtl .elementor-20148 .elementor-element.elementor-element-75e4e713{right:25px;}.elementor-20148 .elementor-element.elementor-element-75e4e713 .elementor-icon-box-wrapper{align-items:center;}.elementor-20148 .elementor-element.elementor-element-75e4e713.elementor-view-stacked .elementor-icon{background-color:var( --e-global-color-8c64e01 );}.elementor-20148 .elementor-element.elementor-element-75e4e713.elementor-view-framed .elementor-icon, .elementor-20148 .elementor-element.elementor-element-75e4e713.elementor-view-default .elementor-icon{fill:var( --e-global-color-8c64e01 );color:var( --e-global-color-8c64e01 );border-color:var( --e-global-color-8c64e01 );}.elementor-20148 .elementor-element.elementor-element-75e4e713 .elementor-icon{font-size:35px;}.elementor-20148 .elementor-element.elementor-element-75e4e713 .elementor-icon-box-title, .elementor-20148 .elementor-element.elementor-element-75e4e713 .elementor-icon-box-title a{font-family:var( --e-global-typography-6dfa8a2-font-family ), Sans-serif;font-size:var( --e-global-typography-6dfa8a2-font-size );font-weight:var( --e-global-typography-6dfa8a2-font-weight );text-transform:var( --e-global-typography-6dfa8a2-text-transform );font-style:var( --e-global-typography-6dfa8a2-font-style );text-decoration:var( --e-global-typography-6dfa8a2-text-decoration );line-height:var( --e-global-typography-6dfa8a2-line-height );letter-spacing:var( --e-global-typography-6dfa8a2-letter-spacing );}.elementor-20148 .elementor-element.elementor-element-75e4e713 .elementor-icon-box-title{color:var( --e-global-color-8c64e01 );}.elementor-20148 .elementor-element.elementor-element-498c2a9d > .elementor-widget-container{border-radius:15px 15px 15px 15px;}.elementor-20148 .elementor-element.elementor-element-498c2a9d .elementor-wrapper{--video-aspect-ratio:1.77777;}.elementor-20148 .elementor-element.elementor-element-498c2a9d .elementor-custom-embed-play i{font-size:0px;}.elementor-20148 .elementor-element.elementor-element-498c2a9d .elementor-custom-embed-play svg{width:0px;height:0px;}.elementor-20148 .elementor-element.elementor-element-524d620c{--display:flex;--flex-direction:row;--container-widget-width:calc( ( 1 - var( --container-widget-flex-grow ) ) * 100% );--container-widget-height:100%;--container-widget-flex-grow:1;--container-widget-align-self:stretch;--flex-wrap-mobile:wrap;--align-items:stretch;--gap:10px 10px;--row-gap:10px;--column-gap:10px;--border-radius:20px 20px 20px 20px;box-shadow:0px 0px 30px 15px rgba(225, 225, 225, 0.15);--padding-top:25px;--padding-bottom:25px;--padding-left:25px;--padding-right:25px;}.elementor-20148 .elementor-element.elementor-element-524d620c:not(.elementor-motion-effects-element-type-background), .elementor-20148 .elementor-element.elementor-element-524d620c > .elementor-motion-effects-container > .elementor-motion-effects-layer{background-color:var( --e-global-color-8c64e01 );}.elementor-20148 .elementor-element.elementor-element-a5f037{--display:flex;}.elementor-20148 .elementor-element.elementor-element-76d8fff{width:auto;max-width:auto;bottom:25px;z-index:1;}body:not(.rtl) .elementor-20148 .elementor-element.elementor-element-76d8fff{left:25px;}body.rtl .elementor-20148 .elementor-element.elementor-element-76d8fff{right:25px;}.elementor-20148 .elementor-element.elementor-element-76d8fff .elementor-icon-box-wrapper{align-items:center;}.elementor-20148 .elementor-element.elementor-element-76d8fff.elementor-view-stacked .elementor-icon{background-color:var( --e-global-color-8c64e01 );}.elementor-20148 .elementor-element.elementor-element-76d8fff.elementor-view-framed .elementor-icon, .elementor-20148 .elementor-element.elementor-element-76d8fff.elementor-view-default .elementor-icon{fill:var( --e-global-color-8c64e01 );color:var( --e-global-color-8c64e01 );border-color:var( --e-global-color-8c64e01 );}.elementor-20148 .elementor-element.elementor-element-76d8fff .elementor-icon{font-size:35px;}.elementor-20148 .elementor-element.elementor-element-76d8fff .elementor-icon-box-title, .elementor-20148 .elementor-element.elementor-element-76d8fff .elementor-icon-box-title a{font-family:var( --e-global-typography-6dfa8a2-font-family ), Sans-serif;font-size:var( --e-global-typography-6dfa8a2-font-size );font-weight:var( --e-global-typography-6dfa8a2-font-weight );text-transform:var( --e-global-typography-6dfa8a2-text-transform );font-style:var( --e-global-typography-6dfa8a2-font-style );text-decoration:var( --e-global-typography-6dfa8a2-text-decoration );line-height:var( --e-global-typography-6dfa8a2-line-height );letter-spacing:var( --e-global-typography-6dfa8a2-letter-spacing );}.elementor-20148 .elementor-element.elementor-element-76d8fff .elementor-icon-box-title{color:var( --e-global-color-8c64e01 );}.elementor-20148 .elementor-element.elementor-element-6e9c95a8{width:auto;max-width:auto;bottom:25px;z-index:1;}body:not(.rtl) .elementor-20148 .elementor-element.elementor-element-6e9c95a8{left:25px;}body.rtl .elementor-20148 .elementor-element.elementor-element-6e9c95a8{right:25px;}.elementor-20148 .elementor-element.elementor-element-6e9c95a8 .elementor-icon-box-wrapper{align-items:center;}.elementor-20148 .elementor-element.elementor-element-6e9c95a8.elementor-view-stacked .elementor-icon{background-color:var( --e-global-color-8c64e01 );}.elementor-20148 .elementor-element.elementor-element-6e9c95a8.elementor-view-framed .elementor-icon, .elementor-20148 .elementor-element.elementor-element-6e9c95a8.elementor-view-default .elementor-icon{fill:var( --e-global-color-8c64e01 );color:var( --e-global-color-8c64e01 );border-color:var( --e-global-color-8c64e01 );}.elementor-20148 .elementor-element.elementor-element-6e9c95a8 .elementor-icon{font-size:35px;}.elementor-20148 .elementor-element.elementor-element-6e9c95a8 .elementor-icon-box-title, .elementor-20148 .elementor-element.elementor-element-6e9c95a8 .elementor-icon-box-title a{font-family:var( --e-global-typography-6dfa8a2-font-family ), Sans-serif;font-size:var( --e-global-typography-6dfa8a2-font-size );font-weight:var( --e-global-typography-6dfa8a2-font-weight );text-transform:var( --e-global-typography-6dfa8a2-text-transform );font-style:var( --e-global-typography-6dfa8a2-font-style );text-decoration:var( --e-global-typography-6dfa8a2-text-decoration );line-height:var( --e-global-typography-6dfa8a2-line-height );letter-spacing:var( --e-global-typography-6dfa8a2-letter-spacing );}.elementor-20148 .elementor-element.elementor-element-6e9c95a8 .elementor-icon-box-title{color:var( --e-global-color-8c64e01 );}.elementor-20148 .elementor-element.elementor-element-2ca6cc39 > .elementor-widget-container{border-radius:15px 15px 15px 15px;}.elementor-20148 .elementor-element.elementor-element-2ca6cc39 .elementor-wrapper{--video-aspect-ratio:1.77777;}.elementor-20148 .elementor-element.elementor-element-2ca6cc39 .elementor-custom-embed-play i{font-size:0px;}.elementor-20148 .elementor-element.elementor-element-2ca6cc39 .elementor-custom-embed-play svg{width:0px;height:0px;}@media(max-width:1370px){.elementor-20148 .elementor-element.elementor-element-2919a9af{--padding-top:20px;--padding-bottom:20px;--padding-left:20px;--padding-right:20px;}.elementor-20148 .elementor-element.elementor-element-524d620c{--padding-top:20px;--padding-bottom:20px;--padding-left:20px;--padding-right:20px;}}@media(max-width:1024px){.elementor-20148 .elementor-element.elementor-element-2919a9af{--padding-top:15px;--padding-bottom:15px;--padding-left:15px;--padding-right:15px;}.elementor-widget-icon-box .elementor-icon-box-title, .elementor-widget-icon-box .elementor-icon-box-title a{font-size:var( --e-global-typography-primary-font-size );line-height:var( --e-global-typography-primary-line-height );letter-spacing:var( --e-global-typography-primary-letter-spacing );}.elementor-widget-icon-box .elementor-icon-box-description{font-size:var( --e-global-typography-text-font-size );line-height:var( --e-global-typography-text-line-height );letter-spacing:var( --e-global-typography-text-letter-spacing );}.elementor-20148 .elementor-element.elementor-element-495b026a .elementor-icon-box-title, .elementor-20148 .elementor-element.elementor-element-495b026a .elementor-icon-box-title a{font-size:var( --e-global-typography-6dfa8a2-font-size );line-height:var( --e-global-typography-6dfa8a2-line-height );letter-spacing:var( --e-global-typography-6dfa8a2-letter-spacing );}.elementor-20148 .elementor-element.elementor-element-75e4e713 .elementor-icon-box-title, .elementor-20148 .elementor-element.elementor-element-75e4e713 .elementor-icon-box-title a{font-size:var( --e-global-typography-6dfa8a2-font-size );line-height:var( --e-global-typography-6dfa8a2-line-height );letter-spacing:var( --e-global-typography-6dfa8a2-letter-spacing );}.elementor-20148 .elementor-element.elementor-element-524d620c{--padding-top:15px;--padding-bottom:15px;--padding-left:15px;--padding-right:15px;}.elementor-20148 .elementor-element.elementor-element-76d8fff .elementor-icon-box-title, .elementor-20148 .elementor-element.elementor-element-76d8fff .elementor-icon-box-title a{font-size:var( --e-global-typography-6dfa8a2-font-size );line-height:var( --e-global-typography-6dfa8a2-line-height );letter-spacing:var( --e-global-typography-6dfa8a2-letter-spacing );}.elementor-20148 .elementor-element.elementor-element-6e9c95a8 .elementor-icon-box-title, .elementor-20148 .elementor-element.elementor-element-6e9c95a8 .elementor-icon-box-title a{font-size:var( --e-global-typography-6dfa8a2-font-size );line-height:var( --e-global-typography-6dfa8a2-line-height );letter-spacing:var( --e-global-typography-6dfa8a2-letter-spacing );}}@media(max-width:767px){.elementor-widget-icon-box .elementor-icon-box-title, .elementor-widget-icon-box .elementor-icon-box-title a{font-size:var( --e-global-typography-primary-font-size );line-height:var( --e-global-typography-primary-line-height );letter-spacing:var( --e-global-typography-primary-letter-spacing );}.elementor-widget-icon-box .elementor-icon-box-description{font-size:var( --e-global-typography-text-font-size );line-height:var( --e-global-typography-text-line-height );letter-spacing:var( --e-global-typography-text-letter-spacing );}.elementor-20148 .elementor-element.elementor-element-495b026a{bottom:20px;}.elementor-20148 .elementor-element.elementor-element-495b026a .elementor-icon-box-title, .elementor-20148 .elementor-element.elementor-element-495b026a .elementor-icon-box-title a{font-size:var( --e-global-typography-6dfa8a2-font-size );line-height:var( --e-global-typography-6dfa8a2-line-height );letter-spacing:var( --e-global-typography-6dfa8a2-letter-spacing );}.elementor-20148 .elementor-element.elementor-element-75e4e713{bottom:20px;--icon-box-icon-margin:0px;}.elementor-20148 .elementor-element.elementor-element-75e4e713 .elementor-icon-box-title, .elementor-20148 .elementor-element.elementor-element-75e4e713 .elementor-icon-box-title a{font-size:var( --e-global-typography-6dfa8a2-font-size );line-height:var( --e-global-typography-6dfa8a2-line-height );letter-spacing:var( --e-global-typography-6dfa8a2-letter-spacing );}.elementor-20148 .elementor-element.elementor-element-76d8fff{bottom:20px;}.elementor-20148 .elementor-element.elementor-element-76d8fff .elementor-icon-box-title, .elementor-20148 .elementor-element.elementor-element-76d8fff .elementor-icon-box-title a{font-size:var( --e-global-typography-6dfa8a2-font-size );line-height:var( --e-global-typography-6dfa8a2-line-height );letter-spacing:var( --e-global-typography-6dfa8a2-letter-spacing );}.elementor-20148 .elementor-element.elementor-element-6e9c95a8{bottom:20px;--icon-box-icon-margin:0px;}.elementor-20148 .elementor-element.elementor-element-6e9c95a8 .elementor-icon-box-title, .elementor-20148 .elementor-element.elementor-element-6e9c95a8 .elementor-icon-box-title a{font-size:var( --e-global-typography-6dfa8a2-font-size );line-height:var( --e-global-typography-6dfa8a2-line-height );letter-spacing:var( --e-global-typography-6dfa8a2-letter-spacing );}}<\/style>\t\t<div data-elementor-type=\"loop-item\" data-elementor-id=\"20148\" class=\"elementor elementor-20148 e-loop-item e-loop-item-6499 post-6499 videos type-videos status-publish has-post-thumbnail hentry tag-requirements-engineering product-btc-embeddedspecifier video_type-product-video\" data-elementor-post-type=\"elementor_library\" data-custom-edit-handle=\"1\">\n\t\t\t<div class=\"elementor-element elementor-element-2919a9af btc-grow btc-video-en e-flex e-con-boxed e-con e-parent\" data-id=\"2919a9af\" data-element_type=\"container\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t<div class=\"elementor-element elementor-element-76e2b7ab e-con-full btcc-track-click e-flex e-con e-child\" data-id=\"76e2b7ab\" data-element_type=\"container\" data-target=\"6499\">\n\t\t\t\t<div class=\"elementor-element elementor-element-495b026a elementor-position-left elementor-mobile-position-right elementor-widget__width-auto elementor-absolute btc-play-video elementor-hidden-mobile elementor-view-default elementor-widget elementor-widget-icon-box\" data-id=\"495b026a\" data-element_type=\"widget\" data-settings=\"{&quot;_position&quot;:&quot;absolute&quot;}\" data-widget_type=\"icon-box.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-icon-box-wrapper\">\n\n\t\t\t\t\t\t<div class=\"elementor-icon-box-icon\">\n\t\t\t\t<span  class=\"elementor-icon\">\n\t\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" id=\"Layer_1\" height=\"512\" viewBox=\"0 0 512 512\" width=\"512\" data-name=\"Layer 1\"><path d=\"m383.048 233.23-172.848-99.795a26.293 26.293 0 0 0 -39.442 22.765v199.6a26.236 26.236 0 0 0 39.442 22.765l172.85-99.8a26.292 26.292 0 0 0 0-45.54zm-180.29 112.679v-179.818l155.728 89.909zm53.242-345.909c-141.159 0-256 114.841-256 256s114.841 256 256 256 256-114.841 256-256-114.841-256-256-256zm0 480c-123.514 0-224-100.486-224-224s100.486-224 224-224 224 100.486 224 224-100.486 224-224 224z\"><\/path><\/svg>\t\t\t\t<\/span>\n\t\t\t<\/div>\n\t\t\t\n\t\t\t\t\t\t<div class=\"elementor-icon-box-content\">\n\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-icon-box-title\">\n\t\t\t\t\t\t<span  >\n\t\t\t\t\t\t\tPlay now\t\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/div>\n\t\t\t\t\n\t\t\t\t\n\t\t\t<\/div>\n\t\t\t\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-75e4e713 elementor-position-left elementor-mobile-position-right elementor-widget__width-auto elementor-absolute btc-play-video elementor-hidden-desktop elementor-hidden-tablet_extra elementor-hidden-tablet elementor-view-default elementor-widget elementor-widget-icon-box\" data-id=\"75e4e713\" data-element_type=\"widget\" data-settings=\"{&quot;_position&quot;:&quot;absolute&quot;}\" data-widget_type=\"icon-box.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-icon-box-wrapper\">\n\n\t\t\t\t\t\t<div class=\"elementor-icon-box-icon\">\n\t\t\t\t<span  class=\"elementor-icon\">\n\t\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" id=\"Layer_1\" height=\"512\" viewBox=\"0 0 512 512\" width=\"512\" data-name=\"Layer 1\"><path d=\"m383.048 233.23-172.848-99.795a26.293 26.293 0 0 0 -39.442 22.765v199.6a26.236 26.236 0 0 0 39.442 22.765l172.85-99.8a26.292 26.292 0 0 0 0-45.54zm-180.29 112.679v-179.818l155.728 89.909zm53.242-345.909c-141.159 0-256 114.841-256 256s114.841 256 256 256 256-114.841 256-256-114.841-256-256-256zm0 480c-123.514 0-224-100.486-224-224s100.486-224 224-224 224 100.486 224 224-100.486 224-224 224z\"><\/path><\/svg>\t\t\t\t<\/span>\n\t\t\t<\/div>\n\t\t\t\n\t\t\t\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-498c2a9d btc-video-en-inner elementor-widget elementor-widget-video\" data-id=\"498c2a9d\" data-element_type=\"widget\" data-settings=\"{&quot;youtube_url&quot;:&quot;https:\\\/\\\/youtu.be\\\/-FhbwO9Sd9c&quot;,&quot;yt_privacy&quot;:&quot;yes&quot;,&quot;lazy_load&quot;:&quot;yes&quot;,&quot;show_image_overlay&quot;:&quot;yes&quot;,&quot;lightbox&quot;:&quot;yes&quot;,&quot;image_overlay&quot;:{&quot;id&quot;:6500,&quot;url&quot;:&quot;https:\\\/\\\/www.btc-embedded.com\\\/wp-content\\\/uploads\\\/2022\\\/07\\\/FormalSpecification-1.webp&quot;},&quot;video_type&quot;:&quot;youtube&quot;,&quot;controls&quot;:&quot;yes&quot;}\" data-target=\"6499\" data-widget_type=\"video.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-wrapper elementor-open-lightbox\">\n\t\t\t\t\t\t\t<div class=\"elementor-custom-embed-image-overlay\" data-elementor-open-lightbox=\"yes\" data-elementor-lightbox=\"{&quot;type&quot;:&quot;video&quot;,&quot;videoType&quot;:&quot;youtube&quot;,&quot;url&quot;:&quot;https:\\\/\\\/www.youtube-nocookie.com\\\/embed\\\/-FhbwO9Sd9c?feature=oembed&amp;start&amp;end&amp;wmode=opaque&amp;loop=0&amp;controls=1&amp;mute=0&amp;rel=0&amp;cc_load_policy=0&quot;,&quot;autoplay&quot;:&quot;&quot;,&quot;modalOptions&quot;:{&quot;id&quot;:&quot;elementor-lightbox-498c2a9d&quot;,&quot;entranceAnimation&quot;:&quot;&quot;,&quot;entranceAnimation_tablet&quot;:&quot;&quot;,&quot;entranceAnimation_mobile&quot;:&quot;&quot;,&quot;videoAspectRatio&quot;:&quot;169&quot;}}\" data-e-action-hash=\"#elementor-action%3Aaction%3Dlightbox%26settings%3DeyJ0eXBlIjoidmlkZW8iLCJ2aWRlb1R5cGUiOiJ5b3V0dWJlIiwidXJsIjoiaHR0cHM6XC9cL3d3dy55b3V0dWJlLW5vY29va2llLmNvbVwvZW1iZWRcLy1GaGJ3TzlTZDljP2ZlYXR1cmU9b2VtYmVkJnN0YXJ0JmVuZCZ3bW9kZT1vcGFxdWUmbG9vcD0wJmNvbnRyb2xzPTEmbXV0ZT0wJnJlbD0wJmNjX2xvYWRfcG9saWN5PTAiLCJhdXRvcGxheSI6IiIsIm1vZGFsT3B0aW9ucyI6eyJpZCI6ImVsZW1lbnRvci1saWdodGJveC00OThjMmE5ZCIsImVudHJhbmNlQW5pbWF0aW9uIjoiIiwiZW50cmFuY2VBbmltYXRpb25fdGFibGV0IjoiIiwiZW50cmFuY2VBbmltYXRpb25fbW9iaWxlIjoiIiwidmlkZW9Bc3BlY3RSYXRpbyI6IjE2OSJ9fQ%3D%3D\">\n\t\t\t\t\t\t\t\t\t\t\t<img decoding=\"async\" src=\"https:\/\/www.btc-embedded.com\/wp-content\/uploads\/elementor\/thumbs\/FormalSpecification-1-r3eas94qmiiaw9015na2294de9ojyrx47c741tgkr4.webp\" title=\"FormalSpecification-1\" alt=\"FormalSpecification-1\" loading=\"lazy\" \/>\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"elementor-custom-embed-play\" role=\"button\" aria-label=\"\u64ad\u653e\u89c6\u9891\" tabindex=\"0\">\n\t\t\t\t\t\t\t<svg aria-hidden=\"true\" class=\"e-font-icon-svg e-eicon-play\" viewBox=\"0 0 1000 1000\" xmlns=\"http:\/\/www.w3.org\/2000\/svg\"><path d=\"M838 162C746 71 633 25 500 25 371 25 258 71 163 162 71 254 25 367 25 500 25 633 71 746 163 837 254 929 367 979 500 979 633 979 746 933 838 837 929 746 975 633 975 500 975 367 929 254 838 162M808 192C892 279 933 379 933 500 933 621 892 725 808 808 725 892 621 938 500 938 379 938 279 896 196 808 113 725 67 621 67 500 67 379 108 279 196 192 279 108 383 62 500 62 621 62 721 108 808 192M438 392V642L642 517 438 392Z\"><\/path><\/svg>\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-524d620c btc-grow btc-video-ch e-flex e-con-boxed e-con e-parent\" data-id=\"524d620c\" data-element_type=\"container\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t<div class=\"elementor-element elementor-element-a5f037 e-con-full btcc-track-click e-flex e-con e-child\" data-id=\"a5f037\" data-element_type=\"container\" data-target=\"6499\">\n\t\t\t\t<div class=\"elementor-element elementor-element-76d8fff elementor-position-left elementor-mobile-position-right elementor-widget__width-auto elementor-absolute btc-play-video elementor-hidden-mobile elementor-view-default elementor-widget elementor-widget-icon-box\" data-id=\"76d8fff\" data-element_type=\"widget\" data-settings=\"{&quot;_position&quot;:&quot;absolute&quot;}\" data-widget_type=\"icon-box.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-icon-box-wrapper\">\n\n\t\t\t\t\t\t<div class=\"elementor-icon-box-icon\">\n\t\t\t\t<span  class=\"elementor-icon\">\n\t\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" id=\"Layer_1\" height=\"512\" viewBox=\"0 0 512 512\" width=\"512\" data-name=\"Layer 1\"><path d=\"m383.048 233.23-172.848-99.795a26.293 26.293 0 0 0 -39.442 22.765v199.6a26.236 26.236 0 0 0 39.442 22.765l172.85-99.8a26.292 26.292 0 0 0 0-45.54zm-180.29 112.679v-179.818l155.728 89.909zm53.242-345.909c-141.159 0-256 114.841-256 256s114.841 256 256 256 256-114.841 256-256-114.841-256-256-256zm0 480c-123.514 0-224-100.486-224-224s100.486-224 224-224 224 100.486 224 224-100.486 224-224 224z\"><\/path><\/svg>\t\t\t\t<\/span>\n\t\t\t<\/div>\n\t\t\t\n\t\t\t\t\t\t<div class=\"elementor-icon-box-content\">\n\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-icon-box-title\">\n\t\t\t\t\t\t<span  >\n\t\t\t\t\t\t\tPlay now\t\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/div>\n\t\t\t\t\n\t\t\t\t\n\t\t\t<\/div>\n\t\t\t\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-6e9c95a8 elementor-position-left elementor-mobile-position-right elementor-widget__width-auto elementor-absolute btc-play-video elementor-hidden-desktop elementor-hidden-tablet_extra elementor-hidden-tablet elementor-view-default elementor-widget elementor-widget-icon-box\" data-id=\"6e9c95a8\" data-element_type=\"widget\" data-settings=\"{&quot;_position&quot;:&quot;absolute&quot;}\" data-widget_type=\"icon-box.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-icon-box-wrapper\">\n\n\t\t\t\t\t\t<div class=\"elementor-icon-box-icon\">\n\t\t\t\t<span  class=\"elementor-icon\">\n\t\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" id=\"Layer_1\" height=\"512\" viewBox=\"0 0 512 512\" width=\"512\" data-name=\"Layer 1\"><path d=\"m383.048 233.23-172.848-99.795a26.293 26.293 0 0 0 -39.442 22.765v199.6a26.236 26.236 0 0 0 39.442 22.765l172.85-99.8a26.292 26.292 0 0 0 0-45.54zm-180.29 112.679v-179.818l155.728 89.909zm53.242-345.909c-141.159 0-256 114.841-256 256s114.841 256 256 256 256-114.841 256-256-114.841-256-256-256zm0 480c-123.514 0-224-100.486-224-224s100.486-224 224-224 224 100.486 224 224-100.486 224-224 224z\"><\/path><\/svg>\t\t\t\t<\/span>\n\t\t\t<\/div>\n\t\t\t\n\t\t\t\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-2ca6cc39 btc-video-ch-inner elementor-widget elementor-widget-video\" data-id=\"2ca6cc39\" data-element_type=\"widget\" data-settings=\"{&quot;show_image_overlay&quot;:&quot;yes&quot;,&quot;lightbox&quot;:&quot;yes&quot;,&quot;video_type&quot;:&quot;hosted&quot;,&quot;image_overlay&quot;:{&quot;id&quot;:6500,&quot;url&quot;:&quot;https:\\\/\\\/www.btc-embedded.com\\\/wp-content\\\/uploads\\\/2022\\\/07\\\/FormalSpecification-1.webp&quot;},&quot;controls&quot;:&quot;yes&quot;}\" data-widget_type=\"video.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"e-hosted-video elementor-wrapper elementor-open-lightbox\">\n\t\t\t\t\t\t\t<div class=\"elementor-custom-embed-image-overlay\" data-elementor-open-lightbox=\"yes\" data-elementor-lightbox=\"{&quot;type&quot;:&quot;video&quot;,&quot;videoType&quot;:&quot;hosted&quot;,&quot;url&quot;:&quot;https:\\\/\\\/player.bilibili.com\\\/player.html?aid=598839327&amp;bvid=BV1ZB4y1k7xv&amp;cid=784299685&amp;page=1 &quot;,&quot;autoplay&quot;:&quot;&quot;,&quot;modalOptions&quot;:{&quot;id&quot;:&quot;elementor-lightbox-2ca6cc39&quot;,&quot;entranceAnimation&quot;:&quot;&quot;,&quot;entranceAnimation_tablet&quot;:&quot;&quot;,&quot;entranceAnimation_mobile&quot;:&quot;&quot;,&quot;videoAspectRatio&quot;:&quot;169&quot;},&quot;videoParams&quot;:{&quot;controls&quot;:&quot;&quot;,&quot;preload&quot;:&quot;metadata&quot;,&quot;controlsList&quot;:&quot;nodownload&quot;}}\" data-e-action-hash=\"#elementor-action%3Aaction%3Dlightbox%26settings%3DeyJ0eXBlIjoidmlkZW8iLCJ2aWRlb1R5cGUiOiJob3N0ZWQiLCJ1cmwiOiJodHRwczpcL1wvcGxheWVyLmJpbGliaWxpLmNvbVwvcGxheWVyLmh0bWw%2FYWlkPTU5ODgzOTMyNyZhbXA7YnZpZD1CVjFaQjR5MWs3eHYmYW1wO2NpZD03ODQyOTk2ODUmYW1wO3BhZ2U9MSAiLCJhdXRvcGxheSI6IiIsIm1vZGFsT3B0aW9ucyI6eyJpZCI6ImVsZW1lbnRvci1saWdodGJveC0yY2E2Y2MzOSIsImVudHJhbmNlQW5pbWF0aW9uIjoiIiwiZW50cmFuY2VBbmltYXRpb25fdGFibGV0IjoiIiwiZW50cmFuY2VBbmltYXRpb25fbW9iaWxlIjoiIiwidmlkZW9Bc3BlY3RSYXRpbyI6IjE2OSJ9LCJ2aWRlb1BhcmFtcyI6eyJjb250cm9scyI6IiIsInByZWxvYWQiOiJtZXRhZGF0YSIsImNvbnRyb2xzTGlzdCI6Im5vZG93bmxvYWQifX0%3D\">\n\t\t\t\t\t\t\t\t\t\t\t<img decoding=\"async\" src=\"https:\/\/www.btc-embedded.com\/wp-content\/uploads\/elementor\/thumbs\/FormalSpecification-1-r3eas94qmiiaw9015na2294de9ojyrx47c741tgkr4.webp\" title=\"FormalSpecification-1\" alt=\"FormalSpecification-1\" loading=\"lazy\" \/>\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"elementor-custom-embed-play\" role=\"button\" aria-label=\"\u64ad\u653e\u89c6\u9891\" tabindex=\"0\">\n\t\t\t\t\t\t\t<svg aria-hidden=\"true\" class=\"e-font-icon-svg e-eicon-play\" viewBox=\"0 0 1000 1000\" xmlns=\"http:\/\/www.w3.org\/2000\/svg\"><path d=\"M838 162C746 71 633 25 500 25 371 25 258 71 163 162 71 254 25 367 25 500 25 633 71 746 163 837 254 929 367 979 500 979 633 979 746 933 838 837 929 746 975 633 975 500 975 367 929 254 838 162M808 192C892 279 933 379 933 500 933 621 892 725 808 808 725 892 621 938 500 938 379 938 279 896 196 808 113 725 67 621 67 500 67 379 108 279 196 192 279 108 383 62 500 62 621 62 721 108 808 192M438 392V642L642 517 438 392Z\"><\/path><\/svg>\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-58d195f btc-home-blog e-flex e-con-boxed e-con e-parent\" data-id=\"58d195f\" data-element_type=\"container\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t<div class=\"elementor-element elementor-element-a88c520 e-con-full e-flex e-con e-child\" data-id=\"a88c520\" data-element_type=\"container\">\n\t\t<div class=\"elementor-element elementor-element-e0289fb e-con-full e-flex e-con e-child\" data-id=\"e0289fb\" data-element_type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-df57e15 elementor-widget elementor-widget-heading\" data-id=\"df57e15\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">Intuitive graphical language<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-ecae13a animated-fast elementor-invisible elementor-widget elementor-widget-heading\" data-id=\"ecae13a\" data-element_type=\"widget\" data-settings=\"{&quot;_animation&quot;:&quot;fadeInUp&quot;}\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h3 class=\"elementor-heading-title elementor-size-default\">Universal Pattern<\/h3>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-271ef62 elementor-widget elementor-widget-text-editor\" data-id=\"271ef62\" 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<p style=\"font-weight: 400;\">From our perspective, formal notations have not gained more acceptance in embedded development projects for two primary reasons:<\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-966be6b e-con-full e-flex e-con e-child\" data-id=\"966be6b\" data-element_type=\"container\">\n\t\t<div class=\"elementor-element elementor-element-8b610c7 e-con-full e-flex e-con e-child\" data-id=\"8b610c7\" data-element_type=\"container\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t\t<div class=\"elementor-element elementor-element-a64dbd7 elementor-view-default elementor-widget elementor-widget-icon\" data-id=\"a64dbd7\" data-element_type=\"widget\" data-widget_type=\"icon.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-icon-wrapper\">\n\t\t\t<div class=\"elementor-icon\">\n\t\t\t<svg aria-hidden=\"true\" class=\"e-font-icon-svg e-fas-user-times\" viewBox=\"0 0 640 512\" xmlns=\"http:\/\/www.w3.org\/2000\/svg\"><path d=\"M589.6 240l45.6-45.6c6.3-6.3 6.3-16.5 0-22.8l-22.8-22.8c-6.3-6.3-16.5-6.3-22.8 0L544 194.4l-45.6-45.6c-6.3-6.3-16.5-6.3-22.8 0l-22.8 22.8c-6.3 6.3-6.3 16.5 0 22.8l45.6 45.6-45.6 45.6c-6.3 6.3-6.3 16.5 0 22.8l22.8 22.8c6.3 6.3 16.5 6.3 22.8 0l45.6-45.6 45.6 45.6c6.3 6.3 16.5 6.3 22.8 0l22.8-22.8c6.3-6.3 6.3-16.5 0-22.8L589.6 240zM224 256c70.7 0 128-57.3 128-128S294.7 0 224 0 96 57.3 96 128s57.3 128 128 128zm89.6 32h-16.7c-22.2 10.2-46.9 16-72.9 16s-50.6-5.8-72.9-16h-16.7C60.2 288 0 348.2 0 422.4V464c0 26.5 21.5 48 48 48h352c26.5 0 48-21.5 48-48v-41.6c0-74.2-60.2-134.4-134.4-134.4z\"><\/path><\/svg>\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-9c74640 elementor-widget elementor-widget-text-editor\" data-id=\"9c74640\" 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<p>Formal languages like LTL are often considered to be too difficult to use<\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-ada65c1 e-con-full e-flex e-con e-child\" data-id=\"ada65c1\" data-element_type=\"container\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t\t<div class=\"elementor-element elementor-element-0459226 elementor-view-default elementor-widget elementor-widget-icon\" data-id=\"0459226\" data-element_type=\"widget\" data-widget_type=\"icon.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-icon-wrapper\">\n\t\t\t<div class=\"elementor-icon\">\n\t\t\t<svg aria-hidden=\"true\" class=\"e-font-icon-svg e-fas-arrows-alt-h\" viewBox=\"0 0 512 512\" xmlns=\"http:\/\/www.w3.org\/2000\/svg\"><path d=\"M377.941 169.941V216H134.059v-46.059c0-21.382-25.851-32.09-40.971-16.971L7.029 239.029c-9.373 9.373-9.373 24.568 0 33.941l86.059 86.059c15.119 15.119 40.971 4.411 40.971-16.971V296h243.882v46.059c0 21.382 25.851 32.09 40.971 16.971l86.059-86.059c9.373-9.373 9.373-24.568 0-33.941l-86.059-86.059c-15.119-15.12-40.971-4.412-40.971 16.97z\"><\/path><\/svg>\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-f568c82 elementor-widget elementor-widget-text-editor\" data-id=\"f568c82\" 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<p>They do not provide enough traceability towards existing informal requirements.<\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-6ec79ca elementor-widget elementor-widget-text-editor\" data-id=\"6ec79ca\" 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<p><span style=\"color: var( --e-global-color-text ); font-family: var( --e-global-typography-text-font-family ), Sans-serif; font-size: var( --e-global-typography-text-font-size ); font-style: var( --e-global-typography-text-font-style ); letter-spacing: var( --e-global-typography-text-letter-spacing ); text-transform: var( --e-global-typography-text-text-transform ); text-decoration: var( --e-global-typography-text-text-decoration ); background-color: var( --e-global-color-8c64e01 );\"><span style=\"color: var( --e-global-color-text ); font-family: var( --e-global-typography-text-font-family ), Sans-serif; font-size: var( --e-global-typography-text-font-size ); font-style: var( --e-global-typography-text-font-style ); letter-spacing: var( --e-global-typography-text-letter-spacing ); text-transform: var( --e-global-typography-text-text-transform ); text-decoration: var( --e-global-typography-text-text-decoration ); background-color: var( --e-global-color-8c64e01 );\">With <em>Universal Pattern<\/em>, we address both issues efficiently.\u00a0<\/span><\/span><span lang=\"EN-US\">The graphical representation serves as an editor and at the same time as documentation, making the formal requirement easy to create, understand and review. We could call this \u201cModel-based Requirements Engineering\u201d.<\/span><\/p><p><span style=\"color: var( --e-global-color-text ); font-family: var( --e-global-typography-text-font-family ), Sans-serif; font-size: var( --e-global-typography-text-font-size ); font-style: var( --e-global-typography-text-font-style ); letter-spacing: var( --e-global-typography-text-letter-spacing ); text-transform: var( --e-global-typography-text-text-transform ); background-color: var( --e-global-color-8c64e01 ); text-decoration: var( --e-global-typography-text-text-decoration );\">A typical formalization workflow starts with the import of existing natural language requirements.\u00a0<\/span><span style=\"color: var( --e-global-color-text ); font-family: var( --e-global-typography-text-font-family ), Sans-serif; font-size: var( --e-global-typography-text-font-size ); font-style: var( --e-global-typography-text-font-style ); letter-spacing: var( --e-global-typography-text-letter-spacing ); text-transform: var( --e-global-typography-text-text-transform ); background-color: var( --e-global-color-8c64e01 ); text-decoration: var( --e-global-typography-text-text-decoration );\">The intuitive user interface guides you through the formalization process in three main steps:<\/span><\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-c3f3ceb e-con-full e-flex e-con e-child\" data-id=\"c3f3ceb\" data-element_type=\"container\">\n\t\t<div class=\"elementor-element elementor-element-1926696 e-con-full e-flex e-con e-child\" data-id=\"1926696\" data-element_type=\"container\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t\t<div class=\"elementor-element elementor-element-8051d0b elementor-view-default elementor-widget elementor-widget-icon\" data-id=\"8051d0b\" data-element_type=\"widget\" data-widget_type=\"icon.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-icon-wrapper\">\n\t\t\t<div class=\"elementor-icon\">\n\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"262px\" height=\"262px\" viewBox=\"0 0 262 262\"><title>Group<\/title><g id=\"Page-1\" stroke=\"none\" stroke-width=\"1\" fill=\"none\" fill-rule=\"evenodd\"><g id=\"Artboard\" transform=\"translate(-240.000000, -114.000000)\"><g id=\"Group\" transform=\"translate(240.000000, 114.000000)\"><circle id=\"Oval\" fill=\"#FFFFFF\" cx=\"131\" cy=\"131\" r=\"131\"><\/circle><path d=\"M142.808239,186 L142.808239,76.9090909 L129.598011,76.9090909 L102.325284,95.0198864 L102.325284,108.443182 L128.958807,90.7585227 L129.598011,90.7585227 L129.598011,186 L142.808239,186 Z\" id=\"1\" fill=\"#20184E\" fill-rule=\"nonzero\"><\/path><\/g><\/g><\/g><\/svg>\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-0707e93 elementor-widget elementor-widget-text-editor\" data-id=\"0707e93\" 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<p>In the first step, individual expressions or events within the requirement are identified as so-called \u201cmacros.\u201d<\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-5a0309b e-con-full e-flex e-con e-child\" data-id=\"5a0309b\" data-element_type=\"container\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t\t<div class=\"elementor-element elementor-element-6b94446 elementor-view-default elementor-widget elementor-widget-icon\" data-id=\"6b94446\" data-element_type=\"widget\" data-widget_type=\"icon.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-icon-wrapper\">\n\t\t\t<div class=\"elementor-icon\">\n\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"262px\" height=\"262px\" viewBox=\"0 0 262 262\"><title>Group Copy 2<\/title><g id=\"Page-1\" stroke=\"none\" stroke-width=\"1\" fill=\"none\" fill-rule=\"evenodd\"><g id=\"Artboard\" transform=\"translate(-566.000000, -114.000000)\"><g id=\"Group-Copy-2\" transform=\"translate(566.000000, 114.000000)\"><circle id=\"Oval\" fill=\"#FFFFFF\" cx=\"131\" cy=\"131\" r=\"131\"><\/circle><path d=\"M164.730114,186 L164.730114,174.28125 L114.019886,174.28125 L114.019886,173.428977 L138.522727,147.221591 C144.772727,140.509943 149.664418,134.819247 153.197798,130.149503 C156.731179,125.479759 159.216974,121.236151 160.655185,117.418679 C162.093395,113.601207 162.8125,109.68608 162.8125,105.673295 C162.8125,100.0625 161.409801,94.9666193 158.604403,90.3856534 C155.799006,85.8046875 151.928267,82.1647727 146.992188,79.4659091 C142.056108,76.7670455 136.392045,75.4176136 130,75.4176136 C123.643466,75.4176136 117.917259,76.7670455 112.821378,79.4659091 C107.725497,82.1647727 103.703835,85.9289773 100.756392,90.7585227 C97.8089489,95.5880682 96.3352273,101.198864 96.3352273,107.590909 L96.3352273,107.590909 L108.90625,107.590909 C108.90625,103.43608 109.749645,99.8139205 111.436435,96.7244318 C113.123224,93.6349432 115.520241,91.2290483 118.627486,89.5067472 C121.73473,87.784446 125.383523,86.9232955 129.573864,86.9232955 C133.515625,86.9232955 137.066761,87.6867898 140.227273,89.2137784 C143.387784,90.740767 145.882457,92.9069602 147.711293,95.712358 C149.540128,98.5177557 150.454545,101.838068 150.454545,105.673295 C150.454545,109.011364 149.788707,112.198509 148.457031,115.23473 C147.125355,118.270952 145.09233,121.502486 142.357955,124.929332 C139.62358,128.356179 136.143466,132.377841 131.917614,136.994318 L131.917614,136.994318 L95.9090909,176.411932 L95.9090909,186 L164.730114,186 Z\" id=\"2\" fill=\"#20184E\" fill-rule=\"nonzero\"><\/path><\/g><\/g><\/g><\/svg>\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-dfb265d elementor-widget elementor-widget-text-editor\" data-id=\"dfb265d\" 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<p>In a second step, these macros get graphically structured to define their relationship and timing behavior.\u00a0<\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-c6fa28e e-con-full e-flex e-con e-child\" data-id=\"c6fa28e\" data-element_type=\"container\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t\t<div class=\"elementor-element elementor-element-19f08c0 elementor-view-default elementor-widget elementor-widget-icon\" data-id=\"19f08c0\" data-element_type=\"widget\" data-widget_type=\"icon.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-icon-wrapper\">\n\t\t\t<div class=\"elementor-icon\">\n\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"262px\" height=\"262px\" viewBox=\"0 0 262 262\"><title>Group Copy 3<\/title><g id=\"Page-1\" stroke=\"none\" stroke-width=\"1\" fill=\"none\" fill-rule=\"evenodd\"><g id=\"Artboard\" transform=\"translate(-917.000000, -114.000000)\"><g id=\"Group-Copy-3\" transform=\"translate(917.000000, 114.000000)\"><circle id=\"Oval\" fill=\"#FFFFFF\" cx=\"131\" cy=\"131\" r=\"131\"><\/circle><path d=\"M130.426136,187.491477 C137.492898,187.491477 143.796165,186.142045 149.335938,183.443182 C154.87571,180.744318 159.252486,177.042259 162.466264,172.337003 C165.680043,167.631747 167.286932,162.31392 167.286932,156.383523 C167.286932,149.458807 165.351562,143.643821 161.480824,138.938565 C157.610085,134.23331 152.230114,131.3125 145.340909,130.176136 L145.340909,130.176136 L145.340909,129.323864 C150.84517,127.65483 155.20419,124.654119 158.417969,120.321733 C161.631747,115.989347 163.238636,110.75142 163.238636,104.607955 C163.238636,99.4588068 161.942472,94.6647727 159.350142,90.2258523 C156.757812,85.7869318 153.046875,82.2091619 148.21733,79.4925426 C143.387784,76.7759233 137.599432,75.4176136 130.852273,75.4176136 C124.566761,75.4176136 118.805043,76.625 113.567116,79.0397727 C108.32919,81.4545455 104.09446,84.8192472 100.862926,89.1338778 C97.631392,93.4485085 95.9090909,98.4644886 95.6960227,104.181818 L95.6960227,104.181818 L108.480114,104.181818 C108.65767,100.559659 109.794034,97.4612926 111.889205,94.8867188 C113.984375,92.3121449 116.692116,90.3412642 120.012429,88.9740767 C123.332741,87.6068892 126.875,86.9232955 130.639205,86.9232955 C134.651989,86.9232955 138.14098,87.6867898 141.106179,89.2137784 C144.071378,90.740767 146.370739,92.8714489 148.004261,95.6058239 C149.637784,98.3401989 150.454545,101.553977 150.454545,105.247159 C150.454545,109.082386 149.522372,112.420455 147.658026,115.261364 C145.793679,118.102273 143.219105,120.303977 139.934304,121.866477 C136.649503,123.428977 132.840909,124.210227 128.508523,124.210227 L128.508523,124.210227 L119.772727,124.210227 L119.772727,135.928977 L128.508523,135.928977 C134.048295,135.928977 138.735795,136.799006 142.571023,138.539062 C146.40625,140.279119 149.318182,142.685014 151.306818,145.756747 C153.295455,148.82848 154.289773,152.370739 154.289773,156.383523 C154.289773,160.21875 153.259943,163.59233 151.200284,166.504261 C149.140625,169.416193 146.299716,171.68892 142.677557,173.322443 C139.055398,174.955966 134.900568,175.772727 130.213068,175.772727 C126.022727,175.772727 122.205256,175.080256 118.760653,173.695312 C115.316051,172.310369 112.528409,170.348366 110.397727,167.809304 C108.267045,165.270241 107.059659,162.242898 106.775568,158.727273 L106.775568,158.727273 L93.3522727,158.727273 C93.6363636,164.444602 95.3852983,169.460582 98.5990767,173.775213 C101.812855,178.089844 106.162997,181.454545 111.649503,183.869318 C117.136009,186.284091 123.394886,187.491477 130.426136,187.491477 Z\" id=\"3\" fill=\"#20184E\" fill-rule=\"nonzero\"><\/path><\/g><\/g><\/g><\/svg>\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-386fddc elementor-widget elementor-widget-text-editor\" data-id=\"386fddc\" 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<p>In the last workflow step, the macros are mapped to real interface objects of the system-under-test \u2013 making the requirement formal and machine-readable.<\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-3868a23 btc-home-blog e-flex e-con-boxed e-con e-parent\" data-id=\"3868a23\" data-element_type=\"container\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t<div class=\"elementor-element elementor-element-0104220 e-con-full e-flex e-con e-child\" data-id=\"0104220\" data-element_type=\"container\">\n\t\t<div class=\"elementor-element elementor-element-d083922 e-con-full e-flex e-con e-child\" data-id=\"d083922\" data-element_type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-b1d2734 elementor-widget elementor-widget-heading\" data-id=\"b1d2734\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">Finally a meaningful definition<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-c3995f4 animated-fast elementor-invisible elementor-widget elementor-widget-heading\" data-id=\"c3995f4\" data-element_type=\"widget\" data-settings=\"{&quot;_animation&quot;:&quot;fadeInUp&quot;}\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h3 class=\"elementor-heading-title elementor-size-default\">Requirement Coverage<\/h3>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-67e3da2 e-con-full e-flex e-con e-child\" data-id=\"67e3da2\" data-element_type=\"container\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t<div class=\"elementor-element elementor-element-2486bf0 e-con-full e-flex e-con e-child\" data-id=\"2486bf0\" data-element_type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-6625104 elementor-widget elementor-widget-text-editor\" data-id=\"6625104\" 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<p style=\"font-weight: 400;\">With natural language requirements, the definition of requirement coverage is always a tricky question. How can we be sure that a test case really covers its linked requirement? How can we be sure that one test case is enough to fully cover a requirement?<\/p><p style=\"font-weight: 400;\">The answer to these questions typically relies on manual reviews.<\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-6957905 e-con-full e-flex e-con e-child\" data-id=\"6957905\" data-element_type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-5d5c90a elementor-widget elementor-widget-text-editor\" data-id=\"5d5c90a\" 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\tBased on the Universal Pattern specification method, we provide a meaningful and mathematically sound definition of requirements coverage. This coverage is automatically evaluated and reported for a given set of test cases. In case of uncomplete coverage, you can even generate missing test cases fully automatically.\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-c44f79e btc-home-blog e-flex e-con-boxed e-con e-parent\" data-id=\"c44f79e\" data-element_type=\"container\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t<div class=\"elementor-element elementor-element-d51f924 e-con-full e-flex e-con e-child\" data-id=\"d51f924\" data-element_type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-9b6e2f9 elementor-widget elementor-widget-heading\" data-id=\"9b6e2f9\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">100% Automated<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-a54ed1d animated-fast elementor-invisible elementor-widget elementor-widget-heading\" data-id=\"a54ed1d\" data-element_type=\"widget\" data-settings=\"{&quot;_animation&quot;:&quot;fadeInUp&quot;}\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">Formalized Requirements = Higher Quality<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-e6324db elementor-widget elementor-widget-text-editor\" data-id=\"e6324db\" 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<p style=\"font-weight: 400;\">Thanks to the machine-readable nature of the formalized requirements, you can directly use them within several verification use cases and dramatically improve the quality and completeness of the verification process:<\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-b4b52be e-flex e-con-boxed e-con e-parent\" data-id=\"b4b52be\" data-element_type=\"container\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t<div class=\"elementor-element elementor-element-30539cc e-con-full e-flex elementor-invisible e-con e-child\" data-id=\"30539cc\" data-element_type=\"container\" data-settings=\"{&quot;animation&quot;:&quot;fadeIn&quot;}\">\n\t\t\t\t<div class=\"elementor-element elementor-element-b5c9166 elementor-widget elementor-widget-heading\" data-id=\"b5c9166\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h3 class=\"elementor-heading-title elementor-size-default\">Formal Test<\/h3>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-5d80cbb elementor-widget-divider--view-line elementor-widget elementor-widget-divider\" data-id=\"5d80cbb\" data-element_type=\"widget\" data-widget_type=\"divider.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-divider\">\n\t\t\t<span class=\"elementor-divider-separator\">\n\t\t\t\t\t\t<\/span>\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-f82aa82 elementor-widget elementor-widget-text-editor\" data-id=\"f82aa82\" 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<p>In a traditional requirements-based testing process, each test case is only evaluated against the requirement from which is was derived. But what if test case N\u00b05 violates requirement N\u00b010? Formal Test performs\u00a0an automatic cross check of <u>all<\/u> test cases against <u>all<\/u> formalized requirements. This allows you to detect side effects without any additional testing effort.<\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-fd32b8b elementor-align-center elementor-widget elementor-widget-button\" data-id=\"fd32b8b\" data-element_type=\"widget\" data-widget_type=\"button.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-button-wrapper\">\n\t\t\t\t\t<a class=\"elementor-button elementor-button-link elementor-size-xs elementor-animation-sink\" href=\"https:\/\/www.btc-embedded.com\/use_cases\/formal-verification\/\">\n\t\t\t\t\t\t<span class=\"elementor-button-content-wrapper\">\n\t\t\t\t\t\t<span class=\"elementor-button-icon\">\n\t\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"45px\" height=\"45px\" viewBox=\"0 0 45 45\"><title>Group 6<\/title><g id=\"Page-1-Copy\" stroke=\"none\" stroke-width=\"1\" fill=\"none\" fill-rule=\"evenodd\"><g id=\"Start\" transform=\"translate(-337.000000, -964.000000)\"><g id=\"Group-6\" transform=\"translate(337.000000, 964.000000)\"><circle id=\"Oval\" fill=\"#38C99E\" cx=\"22.5\" cy=\"22.5\" r=\"22.5\"><\/circle><g id=\"next\" transform=\"translate(19.000000, 17.000000)\" fill=\"#FFFFFF\" fill-rule=\"nonzero\"><path d=\"M6.85231276,5.67070308 L0.857334624,0.135700092 C0.660916158,-0.0455414255 0.342910131,-0.0452367391 0.146820759,0.136637589 C-0.0491167226,0.318488479 -0.0486104242,0.613073328 0.147833356,0.79445547 L5.78597237,6.00002217 L0.147630837,11.2055654 C-0.0487876286,11.386971 -0.049293927,11.6813684 0.14661824,11.8632427 C0.244916075,11.9544142 0.373693074,12 0.502470073,12 C0.630917978,12 0.759188678,11.9547189 0.857309309,11.8641802 L6.85231276,6.32931783 C6.94691461,6.24217753 7,6.12358422 7,6.00002217 C7,5.87646013 6.94676272,5.75800744 6.85231276,5.67070308 Z\" id=\"Path\"><\/path><\/g><\/g><\/g><\/g><\/svg>\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t<span class=\"elementor-button-text\">Read more<\/span>\n\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-cce3859 e-con-full e-flex elementor-invisible e-con e-child\" data-id=\"cce3859\" data-element_type=\"container\" data-settings=\"{&quot;animation&quot;:&quot;fadeIn&quot;,&quot;animation_delay&quot;:400}\">\n\t\t\t\t<div class=\"elementor-element elementor-element-8416356 elementor-widget elementor-widget-heading\" data-id=\"8416356\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h3 class=\"elementor-heading-title elementor-size-default\">Automatic Test Generation<\/h3>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-a89fbdc elementor-widget-divider--view-line elementor-widget elementor-widget-divider\" data-id=\"a89fbdc\" data-element_type=\"widget\" data-widget_type=\"divider.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-divider\">\n\t\t\t<span class=\"elementor-divider-separator\">\n\t\t\t\t\t\t<\/span>\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-dcc221e elementor-widget elementor-widget-text-editor\" data-id=\"dcc221e\" 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<p>Should a particular formal requirement not be fully covered by existing test cases, the <em>Requirements-based Test Generation<\/em> add-on allows generating missing test cases automatically, providing you 100% coverage for all requirements.<\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-61b03a2 elementor-align-center elementor-widget elementor-widget-button\" data-id=\"61b03a2\" data-element_type=\"widget\" data-widget_type=\"button.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-button-wrapper\">\n\t\t\t\t\t<a class=\"elementor-button elementor-button-link elementor-size-xs elementor-animation-sink\" href=\"https:\/\/www.btc-embedded.com\/use_cases\/formal-verification\/\">\n\t\t\t\t\t\t<span class=\"elementor-button-content-wrapper\">\n\t\t\t\t\t\t<span class=\"elementor-button-icon\">\n\t\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"45px\" height=\"45px\" viewBox=\"0 0 45 45\"><title>Group 6<\/title><g id=\"Page-1-Copy\" stroke=\"none\" stroke-width=\"1\" fill=\"none\" fill-rule=\"evenodd\"><g id=\"Start\" transform=\"translate(-337.000000, -964.000000)\"><g id=\"Group-6\" transform=\"translate(337.000000, 964.000000)\"><circle id=\"Oval\" fill=\"#38C99E\" cx=\"22.5\" cy=\"22.5\" r=\"22.5\"><\/circle><g id=\"next\" transform=\"translate(19.000000, 17.000000)\" fill=\"#FFFFFF\" fill-rule=\"nonzero\"><path d=\"M6.85231276,5.67070308 L0.857334624,0.135700092 C0.660916158,-0.0455414255 0.342910131,-0.0452367391 0.146820759,0.136637589 C-0.0491167226,0.318488479 -0.0486104242,0.613073328 0.147833356,0.79445547 L5.78597237,6.00002217 L0.147630837,11.2055654 C-0.0487876286,11.386971 -0.049293927,11.6813684 0.14661824,11.8632427 C0.244916075,11.9544142 0.373693074,12 0.502470073,12 C0.630917978,12 0.759188678,11.9547189 0.857309309,11.8641802 L6.85231276,6.32931783 C6.94691461,6.24217753 7,6.12358422 7,6.00002217 C7,5.87646013 6.94676272,5.75800744 6.85231276,5.67070308 Z\" id=\"Path\"><\/path><\/g><\/g><\/g><\/g><\/svg>\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t<span class=\"elementor-button-text\">Read more<\/span>\n\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-713e3b9 e-con-full e-flex elementor-invisible e-con e-child\" data-id=\"713e3b9\" data-element_type=\"container\" data-settings=\"{&quot;animation&quot;:&quot;fadeIn&quot;,&quot;animation_delay&quot;:800}\">\n\t\t\t\t<div class=\"elementor-element elementor-element-2c64d67 elementor-widget elementor-widget-heading\" data-id=\"2c64d67\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h3 class=\"elementor-heading-title elementor-size-default\">Formal Verification<\/h3>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-ce44692 elementor-widget-divider--view-line elementor-widget elementor-widget-divider\" data-id=\"ce44692\" data-element_type=\"widget\" data-widget_type=\"divider.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-divider\">\n\t\t\t<span class=\"elementor-divider-separator\">\n\t\t\t\t\t\t<\/span>\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-35ff69a elementor-widget elementor-widget-text-editor\" data-id=\"35ff69a\" 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<p>Thanks to our powerful model checking technology, you can automatically obtain mathematically complete proof which guarantees a safety requirement can never be violated by your implementation. In case a requirement can be violated, we generate a counter example in the form of a test case.<\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-3cd80b8 elementor-align-center elementor-widget elementor-widget-button\" data-id=\"3cd80b8\" data-element_type=\"widget\" data-widget_type=\"button.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-button-wrapper\">\n\t\t\t\t\t<a class=\"elementor-button elementor-button-link elementor-size-xs elementor-animation-sink\" href=\"https:\/\/www.btc-embedded.com\/use_cases\/formal-verification\/\">\n\t\t\t\t\t\t<span class=\"elementor-button-content-wrapper\">\n\t\t\t\t\t\t<span class=\"elementor-button-icon\">\n\t\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"45px\" height=\"45px\" viewBox=\"0 0 45 45\"><title>Group 6<\/title><g id=\"Page-1-Copy\" stroke=\"none\" stroke-width=\"1\" fill=\"none\" fill-rule=\"evenodd\"><g id=\"Start\" transform=\"translate(-337.000000, -964.000000)\"><g id=\"Group-6\" transform=\"translate(337.000000, 964.000000)\"><circle id=\"Oval\" fill=\"#38C99E\" cx=\"22.5\" cy=\"22.5\" r=\"22.5\"><\/circle><g id=\"next\" transform=\"translate(19.000000, 17.000000)\" fill=\"#FFFFFF\" fill-rule=\"nonzero\"><path d=\"M6.85231276,5.67070308 L0.857334624,0.135700092 C0.660916158,-0.0455414255 0.342910131,-0.0452367391 0.146820759,0.136637589 C-0.0491167226,0.318488479 -0.0486104242,0.613073328 0.147833356,0.79445547 L5.78597237,6.00002217 L0.147630837,11.2055654 C-0.0487876286,11.386971 -0.049293927,11.6813684 0.14661824,11.8632427 C0.244916075,11.9544142 0.373693074,12 0.502470073,12 C0.630917978,12 0.759188678,11.9547189 0.857309309,11.8641802 L6.85231276,6.32931783 C6.94691461,6.24217753 7,6.12358422 7,6.00002217 C7,5.87646013 6.94676272,5.75800744 6.85231276,5.67070308 Z\" id=\"Path\"><\/path><\/g><\/g><\/g><\/g><\/svg>\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t<span class=\"elementor-button-text\">Read more<\/span>\n\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-0b4fb7b e-flex e-con-boxed e-con e-parent\" data-id=\"0b4fb7b\" data-element_type=\"container\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t\t\t<div class=\"elementor-element elementor-element-3639f92 elementor-widget elementor-widget-template\" data-id=\"3639f92\" data-element_type=\"widget\" data-widget_type=\"template.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-template\">\n\t\t\t\t\t<div data-elementor-type=\"section\" data-elementor-id=\"9880\" class=\"elementor elementor-9880 elementor-4435\" data-elementor-post-type=\"elementor_library\">\n\t\t\t<div class=\"elementor-element elementor-element-923ea4e e-flex e-con-boxed e-con e-parent\" data-id=\"923ea4e\" data-element_type=\"container\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t<div class=\"elementor-element elementor-element-ca5dac5 btc-products e-con-full e-flex e-con e-child\" data-id=\"ca5dac5\" data-element_type=\"container\">\n\t\t<div class=\"elementor-element elementor-element-8970e70 btc-grow  e-con-full e-flex elementor-invisible e-con e-child\" data-id=\"8970e70\" data-element_type=\"container\" data-settings=\"{&quot;animation&quot;:&quot;fadeInLeft&quot;,&quot;animation_mobile&quot;:&quot;fadeInUp&quot;}\">\n\t\t\t\t<div class=\"elementor-element elementor-element-4d17c01 elementor-widget elementor-widget-heading\" data-id=\"4d17c01\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">certified<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-0e758d9 elementor-widget elementor-widget-heading\" data-id=\"0e758d9\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">ISO 26262<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-f6c5f16 elementor-widget elementor-widget-text-editor\" data-id=\"f6c5f16\" 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<p>BTC EmbeddedPlatform (incl. BTC EmbeddedTester BASE, BTC EmbeddedTester, BTC EmbeddedSpecifier and BTC EmbeddedValidator) has been certified by German T\u00dcV S\u00fcd as fit for usage in safety critical software development projects.<\/p>\n<p>The certificate addresses different standards including ISO 26262, IEC 61508-3:2010, ISO 25119, IEC 62304 as well as EN 50716.<\/p>\n<p>For the automotive standard ISO 26262, we have been certified with the highest tool confidence level TCL and the certificate is valid for all ASIL levels including ASIL D.<\/p>\n<p>We provide the certificate and the corresponding report to our customers free of charge upon request, which almost eliminates any effort for tool qualification measures on the customer side.<\/p>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-07f9cdf elementor-align-left elementor-widget elementor-widget-button\" data-id=\"07f9cdf\" data-element_type=\"widget\" data-widget_type=\"button.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-button-wrapper\">\n\t\t\t\t\t<a class=\"elementor-button elementor-button-link elementor-size-xs elementor-animation-sink\" href=\"https:\/\/www.btc-embedded.com\/zh-hans\/use_cases\/iso-26262\/\">\n\t\t\t\t\t\t<span class=\"elementor-button-content-wrapper\">\n\t\t\t\t\t\t<span class=\"elementor-button-icon\">\n\t\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"45px\" height=\"45px\" viewBox=\"0 0 45 45\"><title>Group 6<\/title><g id=\"Page-1-Copy\" stroke=\"none\" stroke-width=\"1\" fill=\"none\" fill-rule=\"evenodd\"><g id=\"Start\" transform=\"translate(-337.000000, -964.000000)\"><g id=\"Group-6\" transform=\"translate(337.000000, 964.000000)\"><circle id=\"Oval\" fill=\"#38C99E\" cx=\"22.5\" cy=\"22.5\" r=\"22.5\"><\/circle><g id=\"next\" transform=\"translate(19.000000, 17.000000)\" fill=\"#FFFFFF\" fill-rule=\"nonzero\"><path d=\"M6.85231276,5.67070308 L0.857334624,0.135700092 C0.660916158,-0.0455414255 0.342910131,-0.0452367391 0.146820759,0.136637589 C-0.0491167226,0.318488479 -0.0486104242,0.613073328 0.147833356,0.79445547 L5.78597237,6.00002217 L0.147630837,11.2055654 C-0.0487876286,11.386971 -0.049293927,11.6813684 0.14661824,11.8632427 C0.244916075,11.9544142 0.373693074,12 0.502470073,12 C0.630917978,12 0.759188678,11.9547189 0.857309309,11.8641802 L6.85231276,6.32931783 C6.94691461,6.24217753 7,6.12358422 7,6.00002217 C7,5.87646013 6.94676272,5.75800744 6.85231276,5.67070308 Z\" id=\"Path\"><\/path><\/g><\/g><\/g><\/g><\/svg>\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t<span class=\"elementor-button-text\">Read more<\/span>\n\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-7131af0 btc-grow  e-con-full e-flex elementor-invisible e-con e-child\" data-id=\"7131af0\" data-element_type=\"container\" data-settings=\"{&quot;animation&quot;:&quot;fadeInRight&quot;,&quot;animation_mobile&quot;:&quot;fadeInUp&quot;}\">\n\t\t\t\t<div class=\"elementor-element elementor-element-af88abb elementor-widget elementor-widget-image\" data-id=\"af88abb\" data-element_type=\"widget\" data-widget_type=\"image.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<img fetchpriority=\"high\" decoding=\"async\" width=\"800\" height=\"1068\" src=\"https:\/\/www.btc-embedded.com\/wp-content\/uploads\/2022\/06\/BTC-EmbeddedPlatform_TUEV-Sued_ISO-26262_Certficate.webp\" class=\"attachment-large size-large wp-image-8018\" alt=\"ISO 26262 Certificate\" \/>\t\t\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<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-e0a0013 e-con-full e-flex e-con e-parent\" data-id=\"e0a0013\" data-element_type=\"container\">\n\t\t<div class=\"elementor-element elementor-element-83ac960 e-con-full e-flex e-con e-child\" data-id=\"83ac960\" data-element_type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-af4bdd9 elementor-widget elementor-widget-template\" data-id=\"af4bdd9\" data-element_type=\"widget\" data-widget_type=\"template.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-template\">\n\t\t\t\t\t<div data-elementor-type=\"section\" data-elementor-id=\"10069\" class=\"elementor elementor-10069 elementor-1811\" data-elementor-post-type=\"elementor_library\">\n\t\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-6e4d437f elementor-hidden-mobile elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"6e4d437f\" data-element_type=\"section\" data-settings=\"{&quot;background_background&quot;:&quot;gradient&quot;}\">\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-b5e6361\" data-id=\"b5e6361\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<section class=\"elementor-section elementor-inner-section elementor-element elementor-element-29e316fa elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"29e316fa\" 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-50 elementor-inner-column elementor-element elementor-element-b071bc6\" data-id=\"b071bc6\" 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-2db1bbee elementor-widget__width-inherit elementor-view-default elementor-widget elementor-widget-icon\" data-id=\"2db1bbee\" data-element_type=\"widget\" data-widget_type=\"icon.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-icon-wrapper\">\n\t\t\t<div class=\"elementor-icon elementor-animation-grow\">\n\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" viewBox=\"0 0 576 512\"><path d=\"M208 112c-4.094 0-8.188 1.562-11.31 4.688c-6.25 6.25-6.25 16.38 0 22.62l80 80c6.25 6.25 16.38 6.25 22.62 0l80-80c6.25-6.25 6.25-16.38 0-22.62s-16.38-6.25-22.62 0L304 169.4V16C304 7.156 296.8 0 288 0S272 7.156 272 16v153.4L219.3 116.7C216.2 113.6 212.1 112 208 112zM512 0h-144C359.2 0 352 7.162 352 16C352 24.84 359.2 32 368 32H512c17.67 0 32 14.33 32 32v192H32V64c0-17.67 14.33-32 32-32h144C216.8 32 224 24.84 224 16C224 7.162 216.8 0 208 0H64C28.65 0 0 28.65 0 64v288c0 35.35 28.65 64 64 64h149.7l-19.2 64H144C135.2 480 128 487.2 128 496S135.2 512 144 512h288c8.836 0 16-7.164 16-16S440.8 480 432 480h-50.49l-19.2-64H512c35.35 0 64-28.65 64-64V64C576 28.65 547.3 0 512 0zM227.9 480l19.2-64h81.79l19.2 64H227.9zM544 352c0 17.64-14.36 32-32 32H64c-17.64 0-32-14.36-32-32V288h512V352z\"><\/path><\/svg>\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-bdd746 animated-fast elementor-invisible elementor-widget elementor-widget-heading\" data-id=\"bdd746\" data-element_type=\"widget\" data-settings=\"{&quot;_animation&quot;:&quot;fadeInUp&quot;}\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">\u7533\u8bf7\u8bd5\u7528License<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-3f3ffa2d elementor-widget elementor-widget-text-editor\" data-id=\"3f3ffa2d\" 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<p class=\"p1\">\u5982\u679c\u60a8\u60f3\u8bd5\u7528\u6211\u4eec\u7684\u5de5\u5177\uff0c\u6211\u4eec\u5f88\u4e50\u610f\u514d\u8d39\u63d0\u4f9b\u8bc4\u8bd5\u7528License\u3002\u8bc4\u4f30\u5305\u62ec\u514d\u8d39\u7684\u53d1\u5e03\u7814\u8ba8\u4f1a\uff0c\u8fd8\u4e3a\u60a8\u63d0\u4f9b\u4e86\u4e0e\u6211\u4eec\u7684\u652f\u6301\u548c\u5de5\u7a0b\u56e2\u961f\u8fdb\u884c\u4e00\u5bf9\u4e00\u4f1a\u9762\u7684\u673a\u4f1a\u3002<\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-2ac87298 elementor-widget elementor-widget-button\" data-id=\"2ac87298\" data-element_type=\"widget\" data-widget_type=\"button.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-button-wrapper\">\n\t\t\t\t\t<a class=\"elementor-button elementor-button-link elementor-size-xs elementor-animation-sink\" href=\"https:\/\/www.btc-embedded.com\/zh-hans\/%e8%af%95%e7%94%a8license\/\">\n\t\t\t\t\t\t<span class=\"elementor-button-content-wrapper\">\n\t\t\t\t\t\t<span class=\"elementor-button-icon\">\n\t\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"45px\" height=\"45px\" viewBox=\"0 0 45 45\"><title>Group 6<\/title><g id=\"Page-1-Copy\" stroke=\"none\" stroke-width=\"1\" fill=\"none\" fill-rule=\"evenodd\"><g id=\"Start\" transform=\"translate(-337.000000, -964.000000)\"><g id=\"Group-6\" transform=\"translate(337.000000, 964.000000)\"><circle id=\"Oval\" fill=\"#38C99E\" cx=\"22.5\" cy=\"22.5\" r=\"22.5\"><\/circle><g id=\"next\" transform=\"translate(19.000000, 17.000000)\" fill=\"#FFFFFF\" fill-rule=\"nonzero\"><path d=\"M6.85231276,5.67070308 L0.857334624,0.135700092 C0.660916158,-0.0455414255 0.342910131,-0.0452367391 0.146820759,0.136637589 C-0.0491167226,0.318488479 -0.0486104242,0.613073328 0.147833356,0.79445547 L5.78597237,6.00002217 L0.147630837,11.2055654 C-0.0487876286,11.386971 -0.049293927,11.6813684 0.14661824,11.8632427 C0.244916075,11.9544142 0.373693074,12 0.502470073,12 C0.630917978,12 0.759188678,11.9547189 0.857309309,11.8641802 L6.85231276,6.32931783 C6.94691461,6.24217753 7,6.12358422 7,6.00002217 C7,5.87646013 6.94676272,5.75800744 6.85231276,5.67070308 Z\" id=\"Path\"><\/path><\/g><\/g><\/g><\/g><\/svg>\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t<span class=\"elementor-button-text\">\u7533\u8bf7License<\/span>\n\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t\t\t<\/div>\n\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<div class=\"elementor-column elementor-col-50 elementor-inner-column elementor-element elementor-element-2720baf1\" data-id=\"2720baf1\" 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-3b3e03e elementor-widget__width-inherit elementor-view-default elementor-widget elementor-widget-icon\" data-id=\"3b3e03e\" data-element_type=\"widget\" data-widget_type=\"icon.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-icon-wrapper\">\n\t\t\t<div class=\"elementor-icon elementor-animation-grow\">\n\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" viewBox=\"0 0 576 512\"><path d=\"M446.8 310.1c1.617-3.91 1.617-8.309 0-12.22c-.8145-1.969-1.992-3.742-3.477-5.223l-63.98-63.98c-6.25-6.25-16.38-6.25-22.62 0s-6.25 16.38 0 22.62L393.4 288H182.6l36.69-36.69c6.25-6.25 6.25-16.38 0-22.62s-16.38-6.25-22.62 0L132.7 292.7C131.2 294.1 130 295.9 129.2 297.9c-1.617 3.91-1.617 8.309 0 12.22C130 312.1 131.2 313.9 132.7 315.3l63.98 63.98C199.8 382.4 203.9 384 208 384s8.188-1.562 11.31-4.688c6.25-6.25 6.25-16.38 0-22.62L182.6 320h210.8l-36.69 36.69c-6.25 6.25-6.25 16.38 0 22.62C359.8 382.4 363.9 384 368 384s8.188-1.562 11.31-4.688l63.98-63.98C444.8 313.9 445.1 312.1 446.8 310.1zM96 128c35.38 0 64-28.62 64-64S131.4 0 96 0S32 28.62 32 64S60.63 128 96 128zM96 32c17.64 0 32 14.36 32 32S113.6 96 96 96S64 81.64 64 64S78.36 32 96 32zM144 384C135.2 384 128 391.2 128 400v96C128 504.8 135.2 512 144 512S160 504.8 160 496v-96C160 391.2 152.8 384 144 384zM137.8 216.3C142.3 223.7 151.9 226.2 159.4 221.8c7.656-4.422 10.28-14.2 5.844-21.86C151 175.3 124.5 160 96 160H80C35.82 160 0 195.8 0 240V320c0 17.67 14.33 32 31.1 32L32 496C32 504.8 39.16 512 48 512S64 504.8 64 496v-160C64 327.2 56.84 320 48 320H32V240c0-26.51 21.49-47.1 48-47.1l19.27 0C115.7 192 129.2 202.2 137.8 216.3zM480 128c35.38 0 64-28.62 64-64s-28.62-64-64-64s-64 28.62-64 64S444.6 128 480 128zM480 32c17.64 0 32 14.36 32 32s-14.36 32-32 32s-32-14.36-32-32S462.4 32 480 32zM432 384c-8.844 0-16 7.156-16 16v96c0 8.844 7.156 16 16 16s16-7.156 16-16v-96C448 391.2 440.8 384 432 384zM496 160H480c-28.47 0-55.03 15.31-69.28 39.97c-4.438 7.656-1.812 17.44 5.844 21.86c7.499 4.413 17.16 1.908 21.68-5.544c8.507-14.05 22.01-24.28 38.43-24.28L496 192C522.5 192 544 213.5 544 240V320h-16c-8.837 0-16 7.163-16 16v160c0 8.844 7.156 16 16 16s16-7.156 16-16V352c17.67 0 32-14.33 32-32V240C576 195.8 540.2 160 496 160z\"><\/path><\/svg>\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-6a313daf animated-fast elementor-invisible elementor-widget elementor-widget-heading\" data-id=\"6a313daf\" data-element_type=\"widget\" data-settings=\"{&quot;_animation&quot;:&quot;fadeInUp&quot;}\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">\u9884\u5b9a\u4e0e\u6211\u4eec\u7684\u5de5\u7a0b\u56e2\u961f\u7684\u4f1a\u8bae<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-6c3585f6 elementor-widget elementor-widget-text-editor\" data-id=\"6c3585f6\" 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<p class=\"p1\">\u60a8\u6709\u4efb\u4f55\u95ee\u9898\u6216\u5e0c\u671b\u770b\u5230\u6211\u4eec\u7684\u5de5\u5177\u5728\u5b9e\u9645\u9879\u76ee\u4e2d\u8fd0\u884c\u5417\uff1f\u5982\u679c\u662f\u8fd9\u6837\uff0c\u8bf7\u4f7f\u7528\u4e0b\u9762\u7684\u94fe\u63a5\u5b89\u6392\u4f1a\u8bae\uff0c\u6211\u4eec\u7684\u5de5\u7a0b\u56e2\u961f\u6210\u5458\u5c06\u5f88\u4e50\u610f\u5411\u60a8\u5c55\u793a\u529f\u80fd\u548c\u7528\u4f8b\uff0c\u5e76\u76f4\u63a5\u56de\u7b54\u60a8\u53ef\u80fd\u9047\u5230\u7684\u4efb\u4f55\u95ee\u9898\u3002<\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-5f1052f6 elementor-widget elementor-widget-button\" data-id=\"5f1052f6\" data-element_type=\"widget\" data-widget_type=\"button.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-button-wrapper\">\n\t\t\t\t\t<a class=\"elementor-button elementor-button-link elementor-size-xs elementor-animation-sink\" href=\"mailto:sales@btc-ag.com.cn\">\n\t\t\t\t\t\t<span class=\"elementor-button-content-wrapper\">\n\t\t\t\t\t\t<span class=\"elementor-button-icon\">\n\t\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"45px\" height=\"45px\" viewBox=\"0 0 45 45\"><title>Group 26<\/title><g id=\"Page-1-Copy\" stroke=\"none\" stroke-width=\"1\" fill=\"none\" fill-rule=\"evenodd\"><g id=\"Start\" transform=\"translate(-91.000000, -964.000000)\"><g id=\"Group-26\" transform=\"translate(91.000000, 964.000000)\"><g id=\"Group-4\" fill=\"#FFFFFF\"><circle id=\"Oval-Copy-3\" cx=\"22.5\" cy=\"22.5\" r=\"22.5\"><\/circle><\/g><g id=\"next\" transform=\"translate(19.000000, 17.000000)\" fill=\"#1D5781\" fill-rule=\"nonzero\"><path d=\"M6.85231276,5.67070308 L0.857334624,0.135700092 C0.660916158,-0.0455414255 0.342910131,-0.0452367391 0.146820759,0.136637589 C-0.0491167226,0.318488479 -0.0486104242,0.613073328 0.147833356,0.79445547 L5.78597237,6.00002217 L0.147630837,11.2055654 C-0.0487876286,11.386971 -0.049293927,11.6813684 0.14661824,11.8632427 C0.244916075,11.9544142 0.373693074,12 0.502470073,12 C0.630917978,12 0.759188678,11.9547189 0.857309309,11.8641802 L6.85231276,6.32931783 C6.94691461,6.24217753 7,6.12358422 7,6.00002217 C7,5.87646013 6.94676272,5.75800744 6.85231276,5.67070308 Z\" id=\"Path\"><\/path><\/g><\/g><\/g><\/g><\/svg>\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t<span class=\"elementor-button-text\">\u9884\u5b9a\u4f1a\u8bae<\/span>\n\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t\t\t<\/div>\n\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\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-8e14b4a elementor-hidden-desktop elementor-hidden-tablet_extra elementor-hidden-tablet elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"8e14b4a\" data-element_type=\"section\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\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-a5bd3a6\" data-id=\"a5bd3a6\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<section class=\"elementor-section elementor-inner-section elementor-element elementor-element-b037bb3 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"b037bb3\" 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-inner-column elementor-element elementor-element-cafa89b\" data-id=\"cafa89b\" 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-b5cb0b9 elementor-widget__width-inherit elementor-view-default elementor-widget elementor-widget-icon\" data-id=\"b5cb0b9\" data-element_type=\"widget\" data-widget_type=\"icon.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-icon-wrapper\">\n\t\t\t<div class=\"elementor-icon elementor-animation-grow\">\n\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" viewBox=\"0 0 576 512\"><path d=\"M208 112c-4.094 0-8.188 1.562-11.31 4.688c-6.25 6.25-6.25 16.38 0 22.62l80 80c6.25 6.25 16.38 6.25 22.62 0l80-80c6.25-6.25 6.25-16.38 0-22.62s-16.38-6.25-22.62 0L304 169.4V16C304 7.156 296.8 0 288 0S272 7.156 272 16v153.4L219.3 116.7C216.2 113.6 212.1 112 208 112zM512 0h-144C359.2 0 352 7.162 352 16C352 24.84 359.2 32 368 32H512c17.67 0 32 14.33 32 32v192H32V64c0-17.67 14.33-32 32-32h144C216.8 32 224 24.84 224 16C224 7.162 216.8 0 208 0H64C28.65 0 0 28.65 0 64v288c0 35.35 28.65 64 64 64h149.7l-19.2 64H144C135.2 480 128 487.2 128 496S135.2 512 144 512h288c8.836 0 16-7.164 16-16S440.8 480 432 480h-50.49l-19.2-64H512c35.35 0 64-28.65 64-64V64C576 28.65 547.3 0 512 0zM227.9 480l19.2-64h81.79l19.2 64H227.9zM544 352c0 17.64-14.36 32-32 32H64c-17.64 0-32-14.36-32-32V288h512V352z\"><\/path><\/svg>\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-86bf7ff animated-fast elementor-invisible elementor-widget elementor-widget-heading\" data-id=\"86bf7ff\" data-element_type=\"widget\" data-settings=\"{&quot;_animation&quot;:&quot;fadeInUp&quot;}\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">\u7533\u8bf7\u8bd5\u7528license<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-f4ceb98 elementor-widget elementor-widget-text-editor\" data-id=\"f4ceb98\" 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\u5982\u679c\u60a8\u60f3\u8bd5\u7528\u6211\u4eec\u7684\u5de5\u5177\uff0c\u6211\u4eec\u5f88\u4e50\u610f\u514d\u8d39\u63d0\u4f9b\u8bc4\u8bd5\u7528License\u3002\u8bc4\u4f30\u5305\u62ec\u514d\u8d39\u7684\u53d1\u5e03\u7814\u8ba8\u4f1a\uff0c\u8fd8\u4e3a\u60a8\u63d0\u4f9b\u4e86\u4e0e\u6211\u4eec\u7684\u652f\u6301\u548c\u5de5\u7a0b\u56e2\u961f\u8fdb\u884c\u4e00\u5bf9\u4e00\u4f1a\u9762\u7684\u673a\u4f1a\u3002\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-6d03203 elementor-widget elementor-widget-button\" data-id=\"6d03203\" data-element_type=\"widget\" data-widget_type=\"button.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-button-wrapper\">\n\t\t\t\t\t<a class=\"elementor-button elementor-button-link elementor-size-xs elementor-animation-sink\" href=\"https:\/\/www.btc-embedded.com\/zh-hans\/%e8%af%95%e7%94%a8license\/\">\n\t\t\t\t\t\t<span class=\"elementor-button-content-wrapper\">\n\t\t\t\t\t\t<span class=\"elementor-button-icon\">\n\t\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"45px\" height=\"45px\" viewBox=\"0 0 45 45\"><title>Group 6<\/title><g id=\"Page-1-Copy\" stroke=\"none\" stroke-width=\"1\" fill=\"none\" fill-rule=\"evenodd\"><g id=\"Start\" transform=\"translate(-337.000000, -964.000000)\"><g id=\"Group-6\" transform=\"translate(337.000000, 964.000000)\"><circle id=\"Oval\" fill=\"#38C99E\" cx=\"22.5\" cy=\"22.5\" r=\"22.5\"><\/circle><g id=\"next\" transform=\"translate(19.000000, 17.000000)\" fill=\"#FFFFFF\" fill-rule=\"nonzero\"><path d=\"M6.85231276,5.67070308 L0.857334624,0.135700092 C0.660916158,-0.0455414255 0.342910131,-0.0452367391 0.146820759,0.136637589 C-0.0491167226,0.318488479 -0.0486104242,0.613073328 0.147833356,0.79445547 L5.78597237,6.00002217 L0.147630837,11.2055654 C-0.0487876286,11.386971 -0.049293927,11.6813684 0.14661824,11.8632427 C0.244916075,11.9544142 0.373693074,12 0.502470073,12 C0.630917978,12 0.759188678,11.9547189 0.857309309,11.8641802 L6.85231276,6.32931783 C6.94691461,6.24217753 7,6.12358422 7,6.00002217 C7,5.87646013 6.94676272,5.75800744 6.85231276,5.67070308 Z\" id=\"Path\"><\/path><\/g><\/g><\/g><\/g><\/svg>\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t<span class=\"elementor-button-text\">\u7533\u8bf7 License<\/span>\n\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t\t\t<\/div>\n\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\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-c07b051 elementor-hidden-desktop elementor-hidden-tablet_extra elementor-hidden-tablet elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"c07b051\" data-element_type=\"section\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\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-942ff6e\" data-id=\"942ff6e\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<section class=\"elementor-section elementor-inner-section elementor-element elementor-element-4e9b183 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"4e9b183\" 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-inner-column elementor-element elementor-element-abd7aee\" data-id=\"abd7aee\" 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-04308bc elementor-widget__width-inherit elementor-view-default elementor-widget elementor-widget-icon\" data-id=\"04308bc\" data-element_type=\"widget\" data-widget_type=\"icon.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-icon-wrapper\">\n\t\t\t<div class=\"elementor-icon elementor-animation-grow\">\n\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" viewBox=\"0 0 576 512\"><path d=\"M446.8 310.1c1.617-3.91 1.617-8.309 0-12.22c-.8145-1.969-1.992-3.742-3.477-5.223l-63.98-63.98c-6.25-6.25-16.38-6.25-22.62 0s-6.25 16.38 0 22.62L393.4 288H182.6l36.69-36.69c6.25-6.25 6.25-16.38 0-22.62s-16.38-6.25-22.62 0L132.7 292.7C131.2 294.1 130 295.9 129.2 297.9c-1.617 3.91-1.617 8.309 0 12.22C130 312.1 131.2 313.9 132.7 315.3l63.98 63.98C199.8 382.4 203.9 384 208 384s8.188-1.562 11.31-4.688c6.25-6.25 6.25-16.38 0-22.62L182.6 320h210.8l-36.69 36.69c-6.25 6.25-6.25 16.38 0 22.62C359.8 382.4 363.9 384 368 384s8.188-1.562 11.31-4.688l63.98-63.98C444.8 313.9 445.1 312.1 446.8 310.1zM96 128c35.38 0 64-28.62 64-64S131.4 0 96 0S32 28.62 32 64S60.63 128 96 128zM96 32c17.64 0 32 14.36 32 32S113.6 96 96 96S64 81.64 64 64S78.36 32 96 32zM144 384C135.2 384 128 391.2 128 400v96C128 504.8 135.2 512 144 512S160 504.8 160 496v-96C160 391.2 152.8 384 144 384zM137.8 216.3C142.3 223.7 151.9 226.2 159.4 221.8c7.656-4.422 10.28-14.2 5.844-21.86C151 175.3 124.5 160 96 160H80C35.82 160 0 195.8 0 240V320c0 17.67 14.33 32 31.1 32L32 496C32 504.8 39.16 512 48 512S64 504.8 64 496v-160C64 327.2 56.84 320 48 320H32V240c0-26.51 21.49-47.1 48-47.1l19.27 0C115.7 192 129.2 202.2 137.8 216.3zM480 128c35.38 0 64-28.62 64-64s-28.62-64-64-64s-64 28.62-64 64S444.6 128 480 128zM480 32c17.64 0 32 14.36 32 32s-14.36 32-32 32s-32-14.36-32-32S462.4 32 480 32zM432 384c-8.844 0-16 7.156-16 16v96c0 8.844 7.156 16 16 16s16-7.156 16-16v-96C448 391.2 440.8 384 432 384zM496 160H480c-28.47 0-55.03 15.31-69.28 39.97c-4.438 7.656-1.812 17.44 5.844 21.86c7.499 4.413 17.16 1.908 21.68-5.544c8.507-14.05 22.01-24.28 38.43-24.28L496 192C522.5 192 544 213.5 544 240V320h-16c-8.837 0-16 7.163-16 16v160c0 8.844 7.156 16 16 16s16-7.156 16-16V352c17.67 0 32-14.33 32-32V240C576 195.8 540.2 160 496 160z\"><\/path><\/svg>\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-5843b5e animated-fast elementor-invisible elementor-widget elementor-widget-heading\" data-id=\"5843b5e\" data-element_type=\"widget\" data-settings=\"{&quot;_animation&quot;:&quot;fadeInUp&quot;}\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">\u9884\u5b9a\u4e0e\u6211\u4eec\u7684\u5de5\u7a0b\u56e2\u961f\u7684\u4f1a\u8bae<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-14d6ae9 elementor-widget elementor-widget-text-editor\" data-id=\"14d6ae9\" 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<p class=\"p1\">\u60a8\u6709\u4efb\u4f55\u95ee\u9898\u6216\u5e0c\u671b\u770b\u5230\u6211\u4eec\u7684\u5de5\u5177\u5728\u5b9e\u9645\u9879\u76ee\u4e2d\u8fd0\u884c\u5417\uff1f\u5982\u679c\u662f\u8fd9\u6837\uff0c\u8bf7\u4f7f\u7528\u4e0b\u9762\u7684\u94fe\u63a5\u5b89\u6392\u4f1a\u8bae\uff0c\u6211\u4eec\u7684\u5de5\u7a0b\u56e2\u961f\u6210\u5458\u5c06\u5f88\u4e50\u610f\u5411\u60a8\u5c55\u793a\u529f\u80fd\u548c\u7528\u4f8b\uff0c\u5e76\u76f4\u63a5\u56de\u7b54\u60a8\u53ef\u80fd\u9047\u5230\u7684\u4efb\u4f55\u95ee\u9898\u3002<\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-df3d1d2 elementor-widget elementor-widget-button\" data-id=\"df3d1d2\" data-element_type=\"widget\" data-widget_type=\"button.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-button-wrapper\">\n\t\t\t\t\t<a class=\"elementor-button elementor-button-link elementor-size-xs elementor-animation-sink\" href=\"mailto:sales@btc-ag.com.cn\">\n\t\t\t\t\t\t<span class=\"elementor-button-content-wrapper\">\n\t\t\t\t\t\t<span class=\"elementor-button-icon\">\n\t\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"45px\" height=\"45px\" viewBox=\"0 0 45 45\"><title>Group 26<\/title><g id=\"Page-1-Copy\" stroke=\"none\" stroke-width=\"1\" fill=\"none\" fill-rule=\"evenodd\"><g id=\"Start\" transform=\"translate(-91.000000, -964.000000)\"><g id=\"Group-26\" transform=\"translate(91.000000, 964.000000)\"><g id=\"Group-4\" fill=\"#FFFFFF\"><circle id=\"Oval-Copy-3\" cx=\"22.5\" cy=\"22.5\" r=\"22.5\"><\/circle><\/g><g id=\"next\" transform=\"translate(19.000000, 17.000000)\" fill=\"#1D5781\" fill-rule=\"nonzero\"><path d=\"M6.85231276,5.67070308 L0.857334624,0.135700092 C0.660916158,-0.0455414255 0.342910131,-0.0452367391 0.146820759,0.136637589 C-0.0491167226,0.318488479 -0.0486104242,0.613073328 0.147833356,0.79445547 L5.78597237,6.00002217 L0.147630837,11.2055654 C-0.0487876286,11.386971 -0.049293927,11.6813684 0.14661824,11.8632427 C0.244916075,11.9544142 0.373693074,12 0.502470073,12 C0.630917978,12 0.759188678,11.9547189 0.857309309,11.8641802 L6.85231276,6.32931783 C6.94691461,6.24217753 7,6.12358422 7,6.00002217 C7,5.87646013 6.94676272,5.75800744 6.85231276,5.67070308 Z\" id=\"Path\"><\/path><\/g><\/g><\/g><\/g><\/svg>\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t<span class=\"elementor-button-text\">\u9884\u5b9a\u4f1a\u8bae<\/span>\n\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t\t\t<\/div>\n\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\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\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-84351b0 btc-home-blog e-flex e-con-boxed e-con e-parent\" data-id=\"84351b0\" data-element_type=\"container\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t<div class=\"elementor-element elementor-element-13ed0e7 e-flex e-con-boxed e-con e-child\" data-id=\"13ed0e7\" data-element_type=\"container\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t\t\t<div class=\"elementor-element elementor-element-79ac75d elementor-widget elementor-widget-heading\" data-id=\"79ac75d\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">BTC EMBEDDED SYSTEMS BLOG<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-ffb7e12 animated-fast elementor-invisible elementor-widget elementor-widget-heading\" data-id=\"ffb7e12\" data-element_type=\"widget\" data-settings=\"{&quot;_animation&quot;:&quot;fadeInUp&quot;}\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">From our Blog<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-acbd5e5 elementor-widget elementor-widget-text-editor\" data-id=\"acbd5e5\" 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<p>Sharing insights on embedded software development, model-based design, automatic code generation and ISO 26262 compliant testing.<\/p>\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\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-d00d2f0 e-con-full e-flex e-con e-child\" data-id=\"d00d2f0\" data-element_type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-5605619 btc-carousel-paginated right elementor-arrows-position-inside elementor-widget elementor-widget-loop-carousel\" data-id=\"5605619\" data-element_type=\"widget\" data-settings=\"{&quot;template_id&quot;:20140,&quot;slides_to_show&quot;:&quot;2&quot;,&quot;slides_to_show_tablet_extra&quot;:&quot;1&quot;,&quot;slides_to_show_tablet&quot;:&quot;1&quot;,&quot;image_spacing_custom&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:90,&quot;sizes&quot;:[]},&quot;_skin&quot;:&quot;post&quot;,&quot;slides_to_show_mobile&quot;:&quot;1&quot;,&quot;slides_to_scroll&quot;:&quot;1&quot;,&quot;edit_handle_selector&quot;:&quot;.elementor-loop-container&quot;,&quot;infinite&quot;:&quot;yes&quot;,&quot;speed&quot;:500,&quot;offset_sides&quot;:&quot;none&quot;,&quot;arrows&quot;:&quot;yes&quot;,&quot;image_spacing_custom_tablet_extra&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;image_spacing_custom_tablet&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;image_spacing_custom_mobile&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]}}\" data-widget_type=\"loop-carousel.post\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"e-loop-nothing-found-message\">\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-b8759b5 btc-home-videos e-flex e-con-boxed e-con e-parent\" data-id=\"b8759b5\" data-element_type=\"container\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t<div class=\"elementor-element elementor-element-dd6349f e-flex e-con-boxed e-con e-child\" data-id=\"dd6349f\" data-element_type=\"container\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t\t\t<div class=\"elementor-element elementor-element-5539f06 elementor-widget elementor-widget-heading\" data-id=\"5539f06\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">PRODUCT VIDEOS, VIDEO BLOG &amp; WEBINARS<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-76fbfbf animated-fast elementor-invisible elementor-widget elementor-widget-heading\" data-id=\"76fbfbf\" data-element_type=\"widget\" data-settings=\"{&quot;_animation&quot;:&quot;fadeInUp&quot;}\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">Videos &amp; Webinars<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-8a6eeb5 elementor-widget elementor-widget-text-editor\" data-id=\"8a6eeb5\" 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\tDiscover some of the main features of our products in these short videos. \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\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-5a28354 e-con-full e-flex e-con e-child\" data-id=\"5a28354\" data-element_type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-81fbcf0 btc-carousel-paginated secondary elementor-arrows-position-inside elementor-widget elementor-widget-loop-carousel\" data-id=\"81fbcf0\" data-element_type=\"widget\" data-settings=\"{&quot;template_id&quot;:20148,&quot;slides_to_show&quot;:&quot;2&quot;,&quot;slides_to_show_tablet_extra&quot;:&quot;2&quot;,&quot;slides_to_show_tablet&quot;:&quot;1&quot;,&quot;image_spacing_custom&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:90,&quot;sizes&quot;:[]},&quot;_skin&quot;:&quot;post&quot;,&quot;slides_to_show_mobile&quot;:&quot;1&quot;,&quot;slides_to_scroll&quot;:&quot;1&quot;,&quot;edit_handle_selector&quot;:&quot;.elementor-loop-container&quot;,&quot;infinite&quot;:&quot;yes&quot;,&quot;speed&quot;:500,&quot;offset_sides&quot;:&quot;none&quot;,&quot;arrows&quot;:&quot;yes&quot;,&quot;image_spacing_custom_tablet_extra&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;image_spacing_custom_tablet&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;image_spacing_custom_mobile&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]}}\" data-widget_type=\"loop-carousel.post\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"swiper elementor-loop-container elementor-grid\" role=\"list\" dir=\"ltr\">\n\t\t\t\t<div class=\"swiper-wrapper\" aria-live=\"polite\">\n\t\t\t\t<div data-elementor-type=\"loop-item\" data-elementor-id=\"20148\" class=\"elementor elementor-20148 swiper-slide e-loop-item e-loop-item-6526 post-6526 videos type-videos status-publish has-post-thumbnail hentry tag-requirements-engineering tag-requirements-based-testing product-btc-embeddedplatform product-btc-embeddedspecifier product-btc-embeddedtester-base video_type-product-video\" data-elementor-post-type=\"elementor_library\" role=\"group\" aria-roledescription=\"slide\" data-custom-edit-handle=\"1\">\n\t\t\t<div class=\"elementor-element elementor-element-2919a9af btc-grow btc-video-en e-flex e-con-boxed e-con e-parent\" data-id=\"2919a9af\" data-element_type=\"container\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t<div class=\"elementor-element elementor-element-76e2b7ab e-con-full btcc-track-click e-flex e-con e-child\" data-id=\"76e2b7ab\" data-element_type=\"container\" data-target=\"6526\">\n\t\t\t\t<div class=\"elementor-element elementor-element-495b026a elementor-position-left elementor-mobile-position-right elementor-widget__width-auto elementor-absolute btc-play-video elementor-hidden-mobile elementor-view-default elementor-widget elementor-widget-icon-box\" data-id=\"495b026a\" data-element_type=\"widget\" data-settings=\"{&quot;_position&quot;:&quot;absolute&quot;}\" data-widget_type=\"icon-box.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-icon-box-wrapper\">\n\n\t\t\t\t\t\t<div class=\"elementor-icon-box-icon\">\n\t\t\t\t<span  class=\"elementor-icon\">\n\t\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" id=\"Layer_1\" height=\"512\" viewBox=\"0 0 512 512\" width=\"512\" data-name=\"Layer 1\"><path d=\"m383.048 233.23-172.848-99.795a26.293 26.293 0 0 0 -39.442 22.765v199.6a26.236 26.236 0 0 0 39.442 22.765l172.85-99.8a26.292 26.292 0 0 0 0-45.54zm-180.29 112.679v-179.818l155.728 89.909zm53.242-345.909c-141.159 0-256 114.841-256 256s114.841 256 256 256 256-114.841 256-256-114.841-256-256-256zm0 480c-123.514 0-224-100.486-224-224s100.486-224 224-224 224 100.486 224 224-100.486 224-224 224z\"><\/path><\/svg>\t\t\t\t<\/span>\n\t\t\t<\/div>\n\t\t\t\n\t\t\t\t\t\t<div class=\"elementor-icon-box-content\">\n\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-icon-box-title\">\n\t\t\t\t\t\t<span  >\n\t\t\t\t\t\t\tPlay now\t\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/div>\n\t\t\t\t\n\t\t\t\t\n\t\t\t<\/div>\n\t\t\t\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-75e4e713 elementor-position-left elementor-mobile-position-right elementor-widget__width-auto elementor-absolute btc-play-video elementor-hidden-desktop elementor-hidden-tablet_extra elementor-hidden-tablet elementor-view-default elementor-widget elementor-widget-icon-box\" data-id=\"75e4e713\" data-element_type=\"widget\" data-settings=\"{&quot;_position&quot;:&quot;absolute&quot;}\" data-widget_type=\"icon-box.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-icon-box-wrapper\">\n\n\t\t\t\t\t\t<div class=\"elementor-icon-box-icon\">\n\t\t\t\t<span  class=\"elementor-icon\">\n\t\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" id=\"Layer_1\" height=\"512\" viewBox=\"0 0 512 512\" width=\"512\" data-name=\"Layer 1\"><path d=\"m383.048 233.23-172.848-99.795a26.293 26.293 0 0 0 -39.442 22.765v199.6a26.236 26.236 0 0 0 39.442 22.765l172.85-99.8a26.292 26.292 0 0 0 0-45.54zm-180.29 112.679v-179.818l155.728 89.909zm53.242-345.909c-141.159 0-256 114.841-256 256s114.841 256 256 256 256-114.841 256-256-114.841-256-256-256zm0 480c-123.514 0-224-100.486-224-224s100.486-224 224-224 224 100.486 224 224-100.486 224-224 224z\"><\/path><\/svg>\t\t\t\t<\/span>\n\t\t\t<\/div>\n\t\t\t\n\t\t\t\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-498c2a9d btc-video-en-inner elementor-widget elementor-widget-video\" data-id=\"498c2a9d\" data-element_type=\"widget\" data-settings=\"{&quot;youtube_url&quot;:&quot;https:\\\/\\\/www.youtube.com\\\/watch?v=z2FkWAqH1HI&quot;,&quot;yt_privacy&quot;:&quot;yes&quot;,&quot;lazy_load&quot;:&quot;yes&quot;,&quot;show_image_overlay&quot;:&quot;yes&quot;,&quot;lightbox&quot;:&quot;yes&quot;,&quot;image_overlay&quot;:{&quot;id&quot;:6506,&quot;url&quot;:&quot;https:\\\/\\\/www.btc-embedded.com\\\/wp-content\\\/uploads\\\/2022\\\/07\\\/IBMDoors_Start-1.webp&quot;},&quot;video_type&quot;:&quot;youtube&quot;,&quot;controls&quot;:&quot;yes&quot;}\" data-target=\"6526\" data-widget_type=\"video.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-wrapper elementor-open-lightbox\">\n\t\t\t\t\t\t\t<div class=\"elementor-custom-embed-image-overlay\" data-elementor-open-lightbox=\"yes\" data-elementor-lightbox=\"{&quot;type&quot;:&quot;video&quot;,&quot;videoType&quot;:&quot;youtube&quot;,&quot;url&quot;:&quot;https:\\\/\\\/www.youtube-nocookie.com\\\/embed\\\/z2FkWAqH1HI?feature=oembed&amp;start&amp;end&amp;wmode=opaque&amp;loop=0&amp;controls=1&amp;mute=0&amp;rel=0&amp;cc_load_policy=0&quot;,&quot;autoplay&quot;:&quot;&quot;,&quot;modalOptions&quot;:{&quot;id&quot;:&quot;elementor-lightbox-498c2a9d&quot;,&quot;entranceAnimation&quot;:&quot;&quot;,&quot;entranceAnimation_tablet&quot;:&quot;&quot;,&quot;entranceAnimation_mobile&quot;:&quot;&quot;,&quot;videoAspectRatio&quot;:&quot;169&quot;}}\" data-e-action-hash=\"#elementor-action%3Aaction%3Dlightbox%26settings%3DeyJ0eXBlIjoidmlkZW8iLCJ2aWRlb1R5cGUiOiJ5b3V0dWJlIiwidXJsIjoiaHR0cHM6XC9cL3d3dy55b3V0dWJlLW5vY29va2llLmNvbVwvZW1iZWRcL3oyRmtXQXFIMUhJP2ZlYXR1cmU9b2VtYmVkJnN0YXJ0JmVuZCZ3bW9kZT1vcGFxdWUmbG9vcD0wJmNvbnRyb2xzPTEmbXV0ZT0wJnJlbD0wJmNjX2xvYWRfcG9saWN5PTAiLCJhdXRvcGxheSI6IiIsIm1vZGFsT3B0aW9ucyI6eyJpZCI6ImVsZW1lbnRvci1saWdodGJveC00OThjMmE5ZCIsImVudHJhbmNlQW5pbWF0aW9uIjoiIiwiZW50cmFuY2VBbmltYXRpb25fdGFibGV0IjoiIiwiZW50cmFuY2VBbmltYXRpb25fbW9iaWxlIjoiIiwidmlkZW9Bc3BlY3RSYXRpbyI6IjE2OSJ9fQ%3D%3D\">\n\t\t\t\t\t\t\t\t\t\t\t<img decoding=\"async\" src=\"https:\/\/www.btc-embedded.com\/wp-content\/uploads\/elementor\/thumbs\/IBMDoors_Start-1-r3eas94qmiiaw9015na2294de9ojyrx47c741tgkr4.webp\" title=\"IBMDoors_Start-1\" alt=\"IBMDoors_Start-1\" loading=\"lazy\" \/>\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"elementor-custom-embed-play\" role=\"button\" aria-label=\"\u64ad\u653e\u89c6\u9891\" tabindex=\"0\">\n\t\t\t\t\t\t\t<svg aria-hidden=\"true\" class=\"e-font-icon-svg e-eicon-play\" viewBox=\"0 0 1000 1000\" xmlns=\"http:\/\/www.w3.org\/2000\/svg\"><path d=\"M838 162C746 71 633 25 500 25 371 25 258 71 163 162 71 254 25 367 25 500 25 633 71 746 163 837 254 929 367 979 500 979 633 979 746 933 838 837 929 746 975 633 975 500 975 367 929 254 838 162M808 192C892 279 933 379 933 500 933 621 892 725 808 808 725 892 621 938 500 938 379 938 279 896 196 808 113 725 67 621 67 500 67 379 108 279 196 192 279 108 383 62 500 62 621 62 721 108 808 192M438 392V642L642 517 438 392Z\"><\/path><\/svg>\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-524d620c btc-grow btc-video-ch e-flex e-con-boxed e-con e-parent\" data-id=\"524d620c\" data-element_type=\"container\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t<div class=\"elementor-element elementor-element-a5f037 e-con-full btcc-track-click e-flex e-con e-child\" data-id=\"a5f037\" data-element_type=\"container\" data-target=\"6526\">\n\t\t\t\t<div class=\"elementor-element elementor-element-76d8fff elementor-position-left elementor-mobile-position-right elementor-widget__width-auto elementor-absolute btc-play-video elementor-hidden-mobile elementor-view-default elementor-widget elementor-widget-icon-box\" data-id=\"76d8fff\" data-element_type=\"widget\" data-settings=\"{&quot;_position&quot;:&quot;absolute&quot;}\" data-widget_type=\"icon-box.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-icon-box-wrapper\">\n\n\t\t\t\t\t\t<div class=\"elementor-icon-box-icon\">\n\t\t\t\t<span  class=\"elementor-icon\">\n\t\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" id=\"Layer_1\" height=\"512\" viewBox=\"0 0 512 512\" width=\"512\" data-name=\"Layer 1\"><path d=\"m383.048 233.23-172.848-99.795a26.293 26.293 0 0 0 -39.442 22.765v199.6a26.236 26.236 0 0 0 39.442 22.765l172.85-99.8a26.292 26.292 0 0 0 0-45.54zm-180.29 112.679v-179.818l155.728 89.909zm53.242-345.909c-141.159 0-256 114.841-256 256s114.841 256 256 256 256-114.841 256-256-114.841-256-256-256zm0 480c-123.514 0-224-100.486-224-224s100.486-224 224-224 224 100.486 224 224-100.486 224-224 224z\"><\/path><\/svg>\t\t\t\t<\/span>\n\t\t\t<\/div>\n\t\t\t\n\t\t\t\t\t\t<div class=\"elementor-icon-box-content\">\n\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-icon-box-title\">\n\t\t\t\t\t\t<span  >\n\t\t\t\t\t\t\tPlay now\t\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/div>\n\t\t\t\t\n\t\t\t\t\n\t\t\t<\/div>\n\t\t\t\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-6e9c95a8 elementor-position-left elementor-mobile-position-right elementor-widget__width-auto elementor-absolute btc-play-video elementor-hidden-desktop elementor-hidden-tablet_extra elementor-hidden-tablet elementor-view-default elementor-widget elementor-widget-icon-box\" data-id=\"6e9c95a8\" data-element_type=\"widget\" data-settings=\"{&quot;_position&quot;:&quot;absolute&quot;}\" data-widget_type=\"icon-box.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-icon-box-wrapper\">\n\n\t\t\t\t\t\t<div class=\"elementor-icon-box-icon\">\n\t\t\t\t<span  class=\"elementor-icon\">\n\t\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" id=\"Layer_1\" height=\"512\" viewBox=\"0 0 512 512\" width=\"512\" data-name=\"Layer 1\"><path d=\"m383.048 233.23-172.848-99.795a26.293 26.293 0 0 0 -39.442 22.765v199.6a26.236 26.236 0 0 0 39.442 22.765l172.85-99.8a26.292 26.292 0 0 0 0-45.54zm-180.29 112.679v-179.818l155.728 89.909zm53.242-345.909c-141.159 0-256 114.841-256 256s114.841 256 256 256 256-114.841 256-256-114.841-256-256-256zm0 480c-123.514 0-224-100.486-224-224s100.486-224 224-224 224 100.486 224 224-100.486 224-224 224z\"><\/path><\/svg>\t\t\t\t<\/span>\n\t\t\t<\/div>\n\t\t\t\n\t\t\t\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-2ca6cc39 btc-video-ch-inner elementor-widget elementor-widget-video\" data-id=\"2ca6cc39\" data-element_type=\"widget\" data-settings=\"{&quot;show_image_overlay&quot;:&quot;yes&quot;,&quot;lightbox&quot;:&quot;yes&quot;,&quot;video_type&quot;:&quot;hosted&quot;,&quot;image_overlay&quot;:{&quot;id&quot;:6506,&quot;url&quot;:&quot;https:\\\/\\\/www.btc-embedded.com\\\/wp-content\\\/uploads\\\/2022\\\/07\\\/IBMDoors_Start-1.webp&quot;},&quot;controls&quot;:&quot;yes&quot;}\" data-widget_type=\"video.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"e-hosted-video elementor-wrapper elementor-open-lightbox\">\n\t\t\t\t\t\t\t<div class=\"elementor-custom-embed-image-overlay\" data-elementor-open-lightbox=\"yes\" data-elementor-lightbox=\"{&quot;type&quot;:&quot;video&quot;,&quot;videoType&quot;:&quot;hosted&quot;,&quot;url&quot;:&quot;https:\\\/\\\/player.bilibili.com\\\/player.html?aid=556307407&amp;bvid=BV1ie4y1Q7Hz&amp;cid=784299690&amp;page=1&quot;,&quot;autoplay&quot;:&quot;&quot;,&quot;modalOptions&quot;:{&quot;id&quot;:&quot;elementor-lightbox-2ca6cc39&quot;,&quot;entranceAnimation&quot;:&quot;&quot;,&quot;entranceAnimation_tablet&quot;:&quot;&quot;,&quot;entranceAnimation_mobile&quot;:&quot;&quot;,&quot;videoAspectRatio&quot;:&quot;169&quot;},&quot;videoParams&quot;:{&quot;controls&quot;:&quot;&quot;,&quot;preload&quot;:&quot;metadata&quot;,&quot;controlsList&quot;:&quot;nodownload&quot;}}\" data-e-action-hash=\"#elementor-action%3Aaction%3Dlightbox%26settings%3DeyJ0eXBlIjoidmlkZW8iLCJ2aWRlb1R5cGUiOiJob3N0ZWQiLCJ1cmwiOiJodHRwczpcL1wvcGxheWVyLmJpbGliaWxpLmNvbVwvcGxheWVyLmh0bWw%2FYWlkPTU1NjMwNzQwNyZhbXA7YnZpZD1CVjFpZTR5MVE3SHomYW1wO2NpZD03ODQyOTk2OTAmYW1wO3BhZ2U9MSIsImF1dG9wbGF5IjoiIiwibW9kYWxPcHRpb25zIjp7ImlkIjoiZWxlbWVudG9yLWxpZ2h0Ym94LTJjYTZjYzM5IiwiZW50cmFuY2VBbmltYXRpb24iOiIiLCJlbnRyYW5jZUFuaW1hdGlvbl90YWJsZXQiOiIiLCJlbnRyYW5jZUFuaW1hdGlvbl9tb2JpbGUiOiIiLCJ2aWRlb0FzcGVjdFJhdGlvIjoiMTY5In0sInZpZGVvUGFyYW1zIjp7ImNvbnRyb2xzIjoiIiwicHJlbG9hZCI6Im1ldGFkYXRhIiwiY29udHJvbHNMaXN0Ijoibm9kb3dubG9hZCJ9fQ%3D%3D\">\n\t\t\t\t\t\t\t\t\t\t\t<img decoding=\"async\" src=\"https:\/\/www.btc-embedded.com\/wp-content\/uploads\/elementor\/thumbs\/IBMDoors_Start-1-r3eas94qmiiaw9015na2294de9ojyrx47c741tgkr4.webp\" title=\"IBMDoors_Start-1\" alt=\"IBMDoors_Start-1\" loading=\"lazy\" \/>\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"elementor-custom-embed-play\" role=\"button\" aria-label=\"\u64ad\u653e\u89c6\u9891\" tabindex=\"0\">\n\t\t\t\t\t\t\t<svg aria-hidden=\"true\" class=\"e-font-icon-svg e-eicon-play\" viewBox=\"0 0 1000 1000\" xmlns=\"http:\/\/www.w3.org\/2000\/svg\"><path d=\"M838 162C746 71 633 25 500 25 371 25 258 71 163 162 71 254 25 367 25 500 25 633 71 746 163 837 254 929 367 979 500 979 633 979 746 933 838 837 929 746 975 633 975 500 975 367 929 254 838 162M808 192C892 279 933 379 933 500 933 621 892 725 808 808 725 892 621 938 500 938 379 938 279 896 196 808 113 725 67 621 67 500 67 379 108 279 196 192 279 108 383 62 500 62 621 62 721 108 808 192M438 392V642L642 517 438 392Z\"><\/path><\/svg>\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div data-elementor-type=\"loop-item\" data-elementor-id=\"20148\" class=\"elementor elementor-20148 swiper-slide e-loop-item e-loop-item-6318 post-6318 videos type-videos status-publish has-post-thumbnail hentry tag-requirements-engineering tag-requirements-based-testing product-btc-embeddedplatform product-btc-embeddedspecifier product-btc-embeddedtester-base product-btc-embeddedvalidator video_type-product-video\" data-elementor-post-type=\"elementor_library\" role=\"group\" aria-roledescription=\"slide\" data-custom-edit-handle=\"1\">\n\t\t\t<div class=\"elementor-element elementor-element-2919a9af btc-grow btc-video-en e-flex e-con-boxed e-con e-parent\" data-id=\"2919a9af\" data-element_type=\"container\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t<div class=\"elementor-element elementor-element-76e2b7ab e-con-full btcc-track-click e-flex e-con e-child\" data-id=\"76e2b7ab\" data-element_type=\"container\" data-target=\"6318\">\n\t\t\t\t<div class=\"elementor-element elementor-element-495b026a elementor-position-left elementor-mobile-position-right elementor-widget__width-auto elementor-absolute btc-play-video elementor-hidden-mobile elementor-view-default elementor-widget elementor-widget-icon-box\" data-id=\"495b026a\" data-element_type=\"widget\" data-settings=\"{&quot;_position&quot;:&quot;absolute&quot;}\" data-widget_type=\"icon-box.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-icon-box-wrapper\">\n\n\t\t\t\t\t\t<div class=\"elementor-icon-box-icon\">\n\t\t\t\t<span  class=\"elementor-icon\">\n\t\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" id=\"Layer_1\" height=\"512\" viewBox=\"0 0 512 512\" width=\"512\" data-name=\"Layer 1\"><path d=\"m383.048 233.23-172.848-99.795a26.293 26.293 0 0 0 -39.442 22.765v199.6a26.236 26.236 0 0 0 39.442 22.765l172.85-99.8a26.292 26.292 0 0 0 0-45.54zm-180.29 112.679v-179.818l155.728 89.909zm53.242-345.909c-141.159 0-256 114.841-256 256s114.841 256 256 256 256-114.841 256-256-114.841-256-256-256zm0 480c-123.514 0-224-100.486-224-224s100.486-224 224-224 224 100.486 224 224-100.486 224-224 224z\"><\/path><\/svg>\t\t\t\t<\/span>\n\t\t\t<\/div>\n\t\t\t\n\t\t\t\t\t\t<div class=\"elementor-icon-box-content\">\n\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-icon-box-title\">\n\t\t\t\t\t\t<span  >\n\t\t\t\t\t\t\tPlay now\t\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/div>\n\t\t\t\t\n\t\t\t\t\n\t\t\t<\/div>\n\t\t\t\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-75e4e713 elementor-position-left elementor-mobile-position-right elementor-widget__width-auto elementor-absolute btc-play-video elementor-hidden-desktop elementor-hidden-tablet_extra elementor-hidden-tablet elementor-view-default elementor-widget elementor-widget-icon-box\" data-id=\"75e4e713\" data-element_type=\"widget\" data-settings=\"{&quot;_position&quot;:&quot;absolute&quot;}\" data-widget_type=\"icon-box.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-icon-box-wrapper\">\n\n\t\t\t\t\t\t<div class=\"elementor-icon-box-icon\">\n\t\t\t\t<span  class=\"elementor-icon\">\n\t\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" id=\"Layer_1\" height=\"512\" viewBox=\"0 0 512 512\" width=\"512\" data-name=\"Layer 1\"><path d=\"m383.048 233.23-172.848-99.795a26.293 26.293 0 0 0 -39.442 22.765v199.6a26.236 26.236 0 0 0 39.442 22.765l172.85-99.8a26.292 26.292 0 0 0 0-45.54zm-180.29 112.679v-179.818l155.728 89.909zm53.242-345.909c-141.159 0-256 114.841-256 256s114.841 256 256 256 256-114.841 256-256-114.841-256-256-256zm0 480c-123.514 0-224-100.486-224-224s100.486-224 224-224 224 100.486 224 224-100.486 224-224 224z\"><\/path><\/svg>\t\t\t\t<\/span>\n\t\t\t<\/div>\n\t\t\t\n\t\t\t\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-498c2a9d btc-video-en-inner elementor-widget elementor-widget-video\" data-id=\"498c2a9d\" data-element_type=\"widget\" data-settings=\"{&quot;youtube_url&quot;:&quot;https:\\\/\\\/www.youtube.com\\\/watch?v=rhLrYzWJuxs&quot;,&quot;yt_privacy&quot;:&quot;yes&quot;,&quot;lazy_load&quot;:&quot;yes&quot;,&quot;show_image_overlay&quot;:&quot;yes&quot;,&quot;lightbox&quot;:&quot;yes&quot;,&quot;image_overlay&quot;:{&quot;id&quot;:6319,&quot;url&quot;:&quot;https:\\\/\\\/www.btc-embedded.com\\\/wp-content\\\/uploads\\\/2022\\\/07\\\/Start_Polarion-1.webp&quot;},&quot;video_type&quot;:&quot;youtube&quot;,&quot;controls&quot;:&quot;yes&quot;}\" data-target=\"6318\" data-widget_type=\"video.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-wrapper elementor-open-lightbox\">\n\t\t\t\t\t\t\t<div class=\"elementor-custom-embed-image-overlay\" data-elementor-open-lightbox=\"yes\" data-elementor-lightbox=\"{&quot;type&quot;:&quot;video&quot;,&quot;videoType&quot;:&quot;youtube&quot;,&quot;url&quot;:&quot;https:\\\/\\\/www.youtube-nocookie.com\\\/embed\\\/rhLrYzWJuxs?feature=oembed&amp;start&amp;end&amp;wmode=opaque&amp;loop=0&amp;controls=1&amp;mute=0&amp;rel=0&amp;cc_load_policy=0&quot;,&quot;autoplay&quot;:&quot;&quot;,&quot;modalOptions&quot;:{&quot;id&quot;:&quot;elementor-lightbox-498c2a9d&quot;,&quot;entranceAnimation&quot;:&quot;&quot;,&quot;entranceAnimation_tablet&quot;:&quot;&quot;,&quot;entranceAnimation_mobile&quot;:&quot;&quot;,&quot;videoAspectRatio&quot;:&quot;169&quot;}}\" data-e-action-hash=\"#elementor-action%3Aaction%3Dlightbox%26settings%3DeyJ0eXBlIjoidmlkZW8iLCJ2aWRlb1R5cGUiOiJ5b3V0dWJlIiwidXJsIjoiaHR0cHM6XC9cL3d3dy55b3V0dWJlLW5vY29va2llLmNvbVwvZW1iZWRcL3JoTHJZeldKdXhzP2ZlYXR1cmU9b2VtYmVkJnN0YXJ0JmVuZCZ3bW9kZT1vcGFxdWUmbG9vcD0wJmNvbnRyb2xzPTEmbXV0ZT0wJnJlbD0wJmNjX2xvYWRfcG9saWN5PTAiLCJhdXRvcGxheSI6IiIsIm1vZGFsT3B0aW9ucyI6eyJpZCI6ImVsZW1lbnRvci1saWdodGJveC00OThjMmE5ZCIsImVudHJhbmNlQW5pbWF0aW9uIjoiIiwiZW50cmFuY2VBbmltYXRpb25fdGFibGV0IjoiIiwiZW50cmFuY2VBbmltYXRpb25fbW9iaWxlIjoiIiwidmlkZW9Bc3BlY3RSYXRpbyI6IjE2OSJ9fQ%3D%3D\">\n\t\t\t\t\t\t\t\t\t\t\t<img decoding=\"async\" src=\"https:\/\/www.btc-embedded.com\/wp-content\/uploads\/elementor\/thumbs\/Start_Polarion-1-r3eas94qmiiaw9015na2294de9ojyrx47c741tgkr4.webp\" title=\"Start_Polarion-1\" alt=\"Start_Polarion-1\" loading=\"lazy\" \/>\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"elementor-custom-embed-play\" role=\"button\" aria-label=\"\u64ad\u653e\u89c6\u9891\" tabindex=\"0\">\n\t\t\t\t\t\t\t<svg aria-hidden=\"true\" class=\"e-font-icon-svg e-eicon-play\" viewBox=\"0 0 1000 1000\" xmlns=\"http:\/\/www.w3.org\/2000\/svg\"><path d=\"M838 162C746 71 633 25 500 25 371 25 258 71 163 162 71 254 25 367 25 500 25 633 71 746 163 837 254 929 367 979 500 979 633 979 746 933 838 837 929 746 975 633 975 500 975 367 929 254 838 162M808 192C892 279 933 379 933 500 933 621 892 725 808 808 725 892 621 938 500 938 379 938 279 896 196 808 113 725 67 621 67 500 67 379 108 279 196 192 279 108 383 62 500 62 621 62 721 108 808 192M438 392V642L642 517 438 392Z\"><\/path><\/svg>\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-524d620c btc-grow btc-video-ch e-flex e-con-boxed e-con e-parent\" data-id=\"524d620c\" data-element_type=\"container\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t<div class=\"elementor-element elementor-element-a5f037 e-con-full btcc-track-click e-flex e-con e-child\" data-id=\"a5f037\" data-element_type=\"container\" data-target=\"6318\">\n\t\t\t\t<div class=\"elementor-element elementor-element-76d8fff elementor-position-left elementor-mobile-position-right elementor-widget__width-auto elementor-absolute btc-play-video elementor-hidden-mobile elementor-view-default elementor-widget elementor-widget-icon-box\" data-id=\"76d8fff\" data-element_type=\"widget\" data-settings=\"{&quot;_position&quot;:&quot;absolute&quot;}\" data-widget_type=\"icon-box.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-icon-box-wrapper\">\n\n\t\t\t\t\t\t<div class=\"elementor-icon-box-icon\">\n\t\t\t\t<span  class=\"elementor-icon\">\n\t\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" id=\"Layer_1\" height=\"512\" viewBox=\"0 0 512 512\" width=\"512\" data-name=\"Layer 1\"><path d=\"m383.048 233.23-172.848-99.795a26.293 26.293 0 0 0 -39.442 22.765v199.6a26.236 26.236 0 0 0 39.442 22.765l172.85-99.8a26.292 26.292 0 0 0 0-45.54zm-180.29 112.679v-179.818l155.728 89.909zm53.242-345.909c-141.159 0-256 114.841-256 256s114.841 256 256 256 256-114.841 256-256-114.841-256-256-256zm0 480c-123.514 0-224-100.486-224-224s100.486-224 224-224 224 100.486 224 224-100.486 224-224 224z\"><\/path><\/svg>\t\t\t\t<\/span>\n\t\t\t<\/div>\n\t\t\t\n\t\t\t\t\t\t<div class=\"elementor-icon-box-content\">\n\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-icon-box-title\">\n\t\t\t\t\t\t<span  >\n\t\t\t\t\t\t\tPlay now\t\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/div>\n\t\t\t\t\n\t\t\t\t\n\t\t\t<\/div>\n\t\t\t\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-6e9c95a8 elementor-position-left elementor-mobile-position-right elementor-widget__width-auto elementor-absolute btc-play-video elementor-hidden-desktop elementor-hidden-tablet_extra elementor-hidden-tablet elementor-view-default elementor-widget elementor-widget-icon-box\" data-id=\"6e9c95a8\" data-element_type=\"widget\" data-settings=\"{&quot;_position&quot;:&quot;absolute&quot;}\" data-widget_type=\"icon-box.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-icon-box-wrapper\">\n\n\t\t\t\t\t\t<div class=\"elementor-icon-box-icon\">\n\t\t\t\t<span  class=\"elementor-icon\">\n\t\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" id=\"Layer_1\" height=\"512\" viewBox=\"0 0 512 512\" width=\"512\" data-name=\"Layer 1\"><path d=\"m383.048 233.23-172.848-99.795a26.293 26.293 0 0 0 -39.442 22.765v199.6a26.236 26.236 0 0 0 39.442 22.765l172.85-99.8a26.292 26.292 0 0 0 0-45.54zm-180.29 112.679v-179.818l155.728 89.909zm53.242-345.909c-141.159 0-256 114.841-256 256s114.841 256 256 256 256-114.841 256-256-114.841-256-256-256zm0 480c-123.514 0-224-100.486-224-224s100.486-224 224-224 224 100.486 224 224-100.486 224-224 224z\"><\/path><\/svg>\t\t\t\t<\/span>\n\t\t\t<\/div>\n\t\t\t\n\t\t\t\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-2ca6cc39 btc-video-ch-inner elementor-widget elementor-widget-video\" data-id=\"2ca6cc39\" data-element_type=\"widget\" data-settings=\"{&quot;show_image_overlay&quot;:&quot;yes&quot;,&quot;lightbox&quot;:&quot;yes&quot;,&quot;video_type&quot;:&quot;hosted&quot;,&quot;image_overlay&quot;:{&quot;id&quot;:6319,&quot;url&quot;:&quot;https:\\\/\\\/www.btc-embedded.com\\\/wp-content\\\/uploads\\\/2022\\\/07\\\/Start_Polarion-1.webp&quot;},&quot;controls&quot;:&quot;yes&quot;}\" data-widget_type=\"video.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"e-hosted-video elementor-wrapper elementor-open-lightbox\">\n\t\t\t\t\t\t\t<div class=\"elementor-custom-embed-image-overlay\" data-elementor-open-lightbox=\"yes\" data-elementor-lightbox=\"{&quot;type&quot;:&quot;video&quot;,&quot;videoType&quot;:&quot;hosted&quot;,&quot;url&quot;:&quot;https:\\\/\\\/player.bilibili.com\\\/player.html?aid=258827105&amp;bvid=BV1Wa411U7ts&amp;cid=784299801&amp;page=1&quot;,&quot;autoplay&quot;:&quot;&quot;,&quot;modalOptions&quot;:{&quot;id&quot;:&quot;elementor-lightbox-2ca6cc39&quot;,&quot;entranceAnimation&quot;:&quot;&quot;,&quot;entranceAnimation_tablet&quot;:&quot;&quot;,&quot;entranceAnimation_mobile&quot;:&quot;&quot;,&quot;videoAspectRatio&quot;:&quot;169&quot;},&quot;videoParams&quot;:{&quot;controls&quot;:&quot;&quot;,&quot;preload&quot;:&quot;metadata&quot;,&quot;controlsList&quot;:&quot;nodownload&quot;}}\" data-e-action-hash=\"#elementor-action%3Aaction%3Dlightbox%26settings%3DeyJ0eXBlIjoidmlkZW8iLCJ2aWRlb1R5cGUiOiJob3N0ZWQiLCJ1cmwiOiJodHRwczpcL1wvcGxheWVyLmJpbGliaWxpLmNvbVwvcGxheWVyLmh0bWw%2FYWlkPTI1ODgyNzEwNSZhbXA7YnZpZD1CVjFXYTQxMVU3dHMmYW1wO2NpZD03ODQyOTk4MDEmYW1wO3BhZ2U9MSIsImF1dG9wbGF5IjoiIiwibW9kYWxPcHRpb25zIjp7ImlkIjoiZWxlbWVudG9yLWxpZ2h0Ym94LTJjYTZjYzM5IiwiZW50cmFuY2VBbmltYXRpb24iOiIiLCJlbnRyYW5jZUFuaW1hdGlvbl90YWJsZXQiOiIiLCJlbnRyYW5jZUFuaW1hdGlvbl9tb2JpbGUiOiIiLCJ2aWRlb0FzcGVjdFJhdGlvIjoiMTY5In0sInZpZGVvUGFyYW1zIjp7ImNvbnRyb2xzIjoiIiwicHJlbG9hZCI6Im1ldGFkYXRhIiwiY29udHJvbHNMaXN0Ijoibm9kb3dubG9hZCJ9fQ%3D%3D\">\n\t\t\t\t\t\t\t\t\t\t\t<img decoding=\"async\" src=\"https:\/\/www.btc-embedded.com\/wp-content\/uploads\/elementor\/thumbs\/Start_Polarion-1-r3eas94qmiiaw9015na2294de9ojyrx47c741tgkr4.webp\" title=\"Start_Polarion-1\" alt=\"Start_Polarion-1\" loading=\"lazy\" \/>\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"elementor-custom-embed-play\" role=\"button\" aria-label=\"\u64ad\u653e\u89c6\u9891\" tabindex=\"0\">\n\t\t\t\t\t\t\t<svg aria-hidden=\"true\" class=\"e-font-icon-svg e-eicon-play\" viewBox=\"0 0 1000 1000\" xmlns=\"http:\/\/www.w3.org\/2000\/svg\"><path d=\"M838 162C746 71 633 25 500 25 371 25 258 71 163 162 71 254 25 367 25 500 25 633 71 746 163 837 254 929 367 979 500 979 633 979 746 933 838 837 929 746 975 633 975 500 975 367 929 254 838 162M808 192C892 279 933 379 933 500 933 621 892 725 808 808 725 892 621 938 500 938 379 938 279 896 196 808 113 725 67 621 67 500 67 379 108 279 196 192 279 108 383 62 500 62 621 62 721 108 808 192M438 392V642L642 517 438 392Z\"><\/path><\/svg>\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<div class=\"elementor-swiper-button elementor-swiper-button-prev\" role=\"button\" tabindex=\"0\" aria-label=\"Previous\">\n\t\t\t\t<svg aria-hidden=\"true\" class=\"e-font-icon-svg e-eicon-chevron-left\" viewBox=\"0 0 1000 1000\" xmlns=\"http:\/\/www.w3.org\/2000\/svg\"><path d=\"M646 125C629 125 613 133 604 142L308 442C296 454 292 471 292 487 292 504 296 521 308 533L604 854C617 867 629 875 646 875 663 875 679 871 692 858 704 846 713 829 713 812 713 796 708 779 692 767L438 487 692 225C700 217 708 204 708 187 708 171 704 154 692 142 675 129 663 125 646 125Z\"><\/path><\/svg>\t\t\t<\/div>\n\t\t\t<div class=\"elementor-swiper-button elementor-swiper-button-next\" role=\"button\" tabindex=\"0\" aria-label=\"Next\">\n\t\t\t\t<svg aria-hidden=\"true\" class=\"e-font-icon-svg e-eicon-chevron-right\" viewBox=\"0 0 1000 1000\" xmlns=\"http:\/\/www.w3.org\/2000\/svg\"><path d=\"M696 533C708 521 713 504 713 487 713 471 708 454 696 446L400 146C388 133 375 125 354 125 338 125 325 129 313 142 300 154 292 171 292 187 292 204 296 221 308 233L563 492 304 771C292 783 288 800 288 817 288 833 296 850 308 863 321 871 338 875 354 875 371 875 388 867 400 854L696 533Z\"><\/path><\/svg>\t\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-22ac0ba e-flex e-con-boxed e-con e-parent\" data-id=\"22ac0ba\" data-element_type=\"container\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t<div class=\"elementor-element elementor-element-7e04d4c e-con-full e-flex e-con e-child\" data-id=\"7e04d4c\" data-element_type=\"container\">\n\t\t<div class=\"elementor-element elementor-element-99ab11b e-con-full e-flex e-con e-child\" data-id=\"99ab11b\" data-element_type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-67bc010 animated-fast elementor-invisible elementor-widget elementor-widget-heading\" data-id=\"67bc010\" data-element_type=\"widget\" data-settings=\"{&quot;_animation&quot;:&quot;fadeInUp&quot;}\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">BTC EmbeddedSpecifier<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-72fb7d1 elementor-widget elementor-widget-text-editor\" data-id=\"72fb7d1\" 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<p class=\"p1\"><span class=\"s1\">Step into the formal world with ease!<\/span><\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-d1f9158 e-con-full e-flex e-con e-child\" data-id=\"d1f9158\" data-element_type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-1cb9637 elementor-align-right elementor-mobile-align-center elementor-widget elementor-widget-button\" data-id=\"1cb9637\" data-element_type=\"widget\" data-widget_type=\"button.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-button-wrapper\">\n\t\t\t\t\t<a class=\"elementor-button elementor-button-link elementor-size-sm elementor-animation-grow\" href=\"https:\/\/www.btc-embedded.com\/zh-hans\/products\/btc-%e5%bd%a2%e5%bc%8f%e6%b5%8b%e8%af%95%e5%a5%97%e4%bb%b6\/\">\n\t\t\t\t\t\t<span class=\"elementor-button-content-wrapper\">\n\t\t\t\t\t\t\t\t\t<span class=\"elementor-button-text\">Product details<\/span>\n\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t","protected":false},"featured_media":0,"template":"","class_list":["post-4717","use_cases","type-use_cases","status-publish","hentry"],"acf":[],"_links":{"self":[{"href":"https:\/\/www.btc-embedded.com\/zh-hans\/wp-json\/wp\/v2\/use_cases\/4717"}],"collection":[{"href":"https:\/\/www.btc-embedded.com\/zh-hans\/wp-json\/wp\/v2\/use_cases"}],"about":[{"href":"https:\/\/www.btc-embedded.com\/zh-hans\/wp-json\/wp\/v2\/types\/use_cases"}],"version-history":[{"count":20,"href":"https:\/\/www.btc-embedded.com\/zh-hans\/wp-json\/wp\/v2\/use_cases\/4717\/revisions"}],"predecessor-version":[{"id":21056,"href":"https:\/\/www.btc-embedded.com\/zh-hans\/wp-json\/wp\/v2\/use_cases\/4717\/revisions\/21056"}],"wp:attachment":[{"href":"https:\/\/www.btc-embedded.com\/zh-hans\/wp-json\/wp\/v2\/media?parent=4717"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}