{"id":9909,"date":"2022-08-16T12:15:06","date_gmt":"2022-08-16T10:15:06","guid":{"rendered":"https:\/\/www.btc-embedded.com\/%e5%8f%91%e8%a1%a8%e6%96%87%e7%ab%a0\/"},"modified":"2022-08-24T05:06:37","modified_gmt":"2022-08-24T03:06:37","slug":"%e5%8f%91%e8%a1%a8%e6%96%87%e7%ab%a0","status":"publish","type":"page","link":"https:\/\/www.btc-embedded.com\/zh-hans\/%e5%8f%91%e8%a1%a8%e6%96%87%e7%ab%a0\/","title":{"rendered":"\u53d1\u8868\u6587\u7ae0"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-page\" data-elementor-id=\"9909\" class=\"elementor elementor-9909 elementor-9698\" data-elementor-post-type=\"page\">\n\t\t\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-f59aeef btc-hero elementor-section-height-min-height elementor-section-boxed elementor-section-height-default elementor-section-items-middle\" data-id=\"f59aeef\" 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-be802c6\" data-id=\"be802c6\" 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-f43da77 elementor-widget elementor-widget-heading\" data-id=\"f43da77\" 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\">BTC EMBEDDED Systems<\/h4>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-c76d631 animated-fast elementor-invisible elementor-widget elementor-widget-heading\" data-id=\"c76d631\" 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\">\u53d1\u8868\u6587\u7ae0<\/h1>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-aa09749 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"aa09749\" 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-0902914\" data-id=\"0902914\" 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-cf4fc4d elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"cf4fc4d\" 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-ad20f0d\" data-id=\"ad20f0d\" 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-1570833 elementor-widget elementor-widget-text-editor\" data-id=\"1570833\" 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=\"text-align: start; caret-color: #222222; color: #222222; font-family: Raleway, sans-serif;\"><a style=\"color: #004590;\" title=\"Modeling Requirements for Quantitative Consistency Analysis and Automatic Test Case Generation\" href=\"http:\/\/www.btc-embedded.com\/downloads\/whitepapers\/modeling-requirements-for-quantitative-consistency-analysis-and-automatic-test-case-generation.pdf\" target=\"_blank\" rel=\"noopener\">Modeling Requirements for Quantitative Consistency Analysis and Automatic Test Case Generatio<\/a>n<\/p><p style=\"text-align: start; caret-color: #222222; color: #222222; font-family: Raleway, sans-serif;\">\u00a0\u00a0 \u00a0 \u00a0 \u00a0\u00a0(Tom Bienm\u00fcller, Tino Teige, Andreas Eggers, and Matthias Stasch)<\/p><p style=\"text-align: start; caret-color: #222222; color: #222222; font-family: Raleway, sans-serif;\"><a style=\"color: #004590;\" title=\"Significant Quality and Performance Gains through Fully Automated Back-to-Back Testing\" href=\"http:\/\/www.btc-embedded.com\/downloads\/whitepapers\/significant-quality-and-performance-gains-through.pdf\" target=\"_blank\" rel=\"noopener\">Significant Quality and Performance Gains through Fully Automated Back-to-Back Testing<\/a><\/p><p style=\"text-align: start; caret-color: #222222; color: #222222; font-family: Raleway, sans-serif;\">\u00a0\u00a0 \u00a0 \u00a0 \u00a0\u00a0(Hans J. Holberg, Dr. Udo Brockmeyer)<\/p><p style=\"text-align: start; caret-color: #222222; color: #222222; font-family: Raleway, sans-serif;\"><a style=\"color: #004590;\" title=\"ISO 26262 compliant verification of functional requirements in the model-based software development process\" href=\"http:\/\/www.btc-embedded.com\/downloads\/whitepapers\/iso-26262-compliant-verification-of-functional.pdf\" target=\"_blank\" rel=\"noopener\">ISO 26262 compliant verification of functional requirements in the model-based software development process<\/a><\/p><p style=\"text-align: start; caret-color: #222222; color: #222222; font-family: Raleway, sans-serif;\">\u00a0\u00a0 \u00a0 \u00a0 \u00a0\u00a0(Hans J. Holberg, Dr. Udo Brockmeyer)<\/p><p style=\"text-align: start; caret-color: #222222; color: #222222; font-family: Raleway, sans-serif;\"><a style=\"color: #004590;\" title=\"Computer-aided Formal Specification to enable a fully automated Requirements-based Testing Process\" href=\"http:\/\/www.btc-embedded.com\/downloads\/whitepapers\/computer-aided-formal-specification-to-enable.pdf\" target=\"_blank\" rel=\"noopener\">Computer-aided Formal Specification to enable a fully automated Requirements-based Testing Process<\/a><\/p><p style=\"text-align: start; caret-color: #222222; color: #222222; font-family: Raleway, sans-serif;\">\u00a0\u00a0 \u00a0 \u00a0 \u00a0\u00a0(Hans J. Holberg, Dr. Udo Brockmeyer)<\/p><p style=\"text-align: start; caret-color: #222222; color: #222222; font-family: Raleway, sans-serif;\"><a style=\"color: #004590;\" title=\"From Safety Requirements to Safety Monitors \u2013 Automatic Synthesis in Compliance with ISO 26262\" href=\"http:\/\/www.btc-embedded.com\/downloads\/whitepapers\/from-safety-requirements-to-safety-monitors-automatic-synthesis-in-compliance-with-iso-26262.pdf\" target=\"_blank\" rel=\"noopener\">From Safety Requirements to Safety Monitors \u2013 Automatic Synthesis in Compliance with ISO 26262<\/a><\/p><p style=\"text-align: start; caret-color: #222222; color: #222222; font-family: Raleway, sans-serif;\">\u00a0\u00a0 \u00a0 \u00a0 \u00a0\u00a0(Hans J. Holberg, Dr.-Ing Stefan H\u00e4usler)<\/p><p style=\"text-align: start; caret-color: #222222; color: #222222; font-family: Raleway, sans-serif;\"><a style=\"color: #004590;\" title=\"Beyond MC\/DC Coverage Testing\" href=\"http:\/\/www.btc-embedded.com\/downloads\/whitepapers\/beyond-mcdc-coverage-testing.pdf\" target=\"_blank\" rel=\"noopener\">Beyond MC\/DC Coverage Testing<\/a><\/p><p style=\"text-align: start; caret-color: #222222; color: #222222; font-family: Raleway, sans-serif;\">\u00a0\u00a0 \u00a0 \u00a0 \u00a0\u00a0(Hans J. Holberg, Dr.-Ing Stefan H\u00e4usler)<\/p><p style=\"text-align: start; caret-color: #222222; color: #222222; font-family: Raleway, sans-serif;\"><a style=\"color: #004590;\" title=\"Formal Verification for safety critical requirements\" href=\"http:\/\/www.btc-embedded.com\/downloads\/whitepapers\/formal-verification-for-safety-critical-requirements.pdf\" target=\"_blank\" rel=\"noopener\">Formal Verification for safety critical requirements<\/a><\/p><p style=\"text-align: start; caret-color: #222222; color: #222222; font-family: Raleway, sans-serif;\">\u00a0\u00a0 \u00a0 \u00a0 \u00a0\u00a0(Markus Gros, Hans J. Holberg)<\/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<\/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-0033d2f elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"0033d2f\" 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-fc3ecf4\" data-id=\"fc3ecf4\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap\">\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<\/div>\n\t\t","protected":false},"excerpt":{"rendered":"<p>BTC EMBEDDED Systems \u53d1\u8868\u6587\u7ae0 Modeling Requirements for Qua [&hellip;]<\/p>\n","protected":false},"author":3,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_acf_changed":false,"inline_featured_image":false,"footnotes":""},"class_list":["post-9909","page","type-page","status-publish","hentry"],"acf":[],"_links":{"self":[{"href":"https:\/\/www.btc-embedded.com\/zh-hans\/wp-json\/wp\/v2\/pages\/9909","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.btc-embedded.com\/zh-hans\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.btc-embedded.com\/zh-hans\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.btc-embedded.com\/zh-hans\/wp-json\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/www.btc-embedded.com\/zh-hans\/wp-json\/wp\/v2\/comments?post=9909"}],"version-history":[{"count":0,"href":"https:\/\/www.btc-embedded.com\/zh-hans\/wp-json\/wp\/v2\/pages\/9909\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.btc-embedded.com\/zh-hans\/wp-json\/wp\/v2\/media?parent=9909"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}