{"id":11072,"date":"2022-05-12T09:00:09","date_gmt":"2022-05-12T00:00:09","guid":{"rendered":"https:\/\/www.btc-embedded.jp\/news\/btc-embeddedplatform-22-1%e3%81%ae%e3%83%aa%e3%83%aa%e3%83%bc%e3%82%b9\/"},"modified":"2024-04-17T10:36:01","modified_gmt":"2024-04-17T01:36:01","slug":"btc-embeddedplatform-22-1","status":"publish","type":"news","link":"https:\/\/www.btc-embedded.jp\/ja\/news\/btc-embeddedplatform-22-1\/","title":{"rendered":"BTC EmbeddedPlatform 22.1\u306e\u30ea\u30ea\u30fc\u30b9\u306e\u3054\u6848\u5185"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-post\" data-elementor-id=\"11072\" class=\"elementor elementor-11072 elementor-5160\" data-elementor-post-type=\"news\">\n\t\t\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-c9a3003 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"c9a3003\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-9f65f6b\" data-id=\"9f65f6b\" 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-a8f7b0c elementor-widget elementor-widget-text-editor\" data-id=\"a8f7b0c\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<style>\/*! elementor - v3.20.0 - 26-03-2024 *\/\n.elementor-widget-text-editor.elementor-drop-cap-view-stacked .elementor-drop-cap{background-color:#69727d;color:#fff}.elementor-widget-text-editor.elementor-drop-cap-view-framed .elementor-drop-cap{color:#69727d;border:3px solid;background-color:transparent}.elementor-widget-text-editor:not(.elementor-drop-cap-view-default) .elementor-drop-cap{margin-top:8px}.elementor-widget-text-editor:not(.elementor-drop-cap-view-default) .elementor-drop-cap-letter{width:1em;height:1em}.elementor-widget-text-editor .elementor-drop-cap{float:left;text-align:center;line-height:1;font-size:50px}.elementor-widget-text-editor .elementor-drop-cap-letter{display:inline-block}<\/style>\t\t\t\t<p>BTC EmbeddedPlatform 22.1\u304c\u30ea\u30ea\u30fc\u30b9\u3055\u308c\u307e\u3057\u305f\u3002<\/p>\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-f5dd601 elementor-widget elementor-widget-image\" data-id=\"f5dd601\" data-element_type=\"widget\" data-widget_type=\"image.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<style>\/*! elementor - v3.20.0 - 26-03-2024 *\/\n.elementor-widget-image{text-align:center}.elementor-widget-image a{display:inline-block}.elementor-widget-image a img[src$=\".svg\"]{width:48px}.elementor-widget-image img{vertical-align:middle;display:inline-block}<\/style>\t\t\t\t\t\t\t\t\t\t<img fetchpriority=\"high\" decoding=\"async\" width=\"800\" height=\"450\" src=\"https:\/\/www.btc-embedded.jp\/wp-content\/uploads\/2022\/03\/ep29-collage.001-1920x1920-e32.jpeg\" class=\"attachment-large size-large wp-image-5163\" alt=\"\" srcset=\"https:\/\/www.btc-embedded.jp\/wp-content\/uploads\/2022\/03\/ep29-collage.001-1920x1920-e32.jpeg 1920w, https:\/\/www.btc-embedded.jp\/wp-content\/uploads\/2022\/03\/ep29-collage.001-1920x1920-e32-768x432.jpeg 768w, https:\/\/www.btc-embedded.jp\/wp-content\/uploads\/2022\/03\/ep29-collage.001-1920x1920-e32-1536x864.jpeg 1536w\" sizes=\"(max-width: 800px) 100vw, 800px\" \/>\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-3757c12 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"3757c12\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-4d20668\" data-id=\"4d20668\" 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-c2a5fba elementor-widget elementor-widget-text-editor\" data-id=\"c2a5fba\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<p><strong>\u30cf\u30a4\u30e9\u30a4\u30c8<\/strong><\/p>\n<p><span style=\"text-decoration: underline;\">\u30c4\u30fc\u30eb\u30b3\u30f3\u30d5\u30a3\u30b0\u30ec\u30fc\u30b7\u30e7\u30f3<\/span><br \/>\nMATLAB2021b\u306b\u5bfe\u5fdc\u3057\u307e\u3057\u305f\u3002<br \/>\nTargetLink5.2\u306b\u5bfe\u5fdc\u3057\u307e\u3057\u305f\u3002<\/p>\n<p><span style=\"text-decoration: underline;\">Formal Specification\u30a8\u30c7\u30a3\u30bf<\/span><br \/>\nUniversal Pattern\u306e\u30c6\u30f3\u30d7\u30ec\u30fc\u30c8\u4f5c\u6210\u304a\u3088\u3073\u5171\u6709\u306b\u5bfe\u5fdc\u3057\u307e\u3057\u305f\u3002<\/p>\n<p><span style=\"text-decoration: underline;\">\u81ea\u52d5\u30d9\u30af\u30bf\u751f\u6210<\/span><br \/>\nATG\u30a8\u30f3\u30b8\u30f3\u306b\u65e2\u5b58\u306e\u30d9\u30af\u30bf\u3092\u5229\u7528\u3057\u3066\u65b0\u3057\u3044\u30d9\u30af\u30bf\u3092\u751f\u6210\u3059\u308b\u30aa\u30d7\u30b7\u30e7\u30f3\u304c\u5c0e\u5165\u3055\u308c\u307e\u3057\u305f\u3002<br \/>\nmath.h\u306esqrtf, ceilf, floorf, powf\u304c\u81ea\u52d5\u30d9\u30af\u30bf\u751f\u6210\u3067\u30b5\u30dd\u30fc\u30c8\u3055\u308c\u307e\u3057\u305f\u3002<br \/>\n\u81ea\u52d5\u30d9\u30af\u30bf\u751f\u6210\u30a8\u30f3\u30b8\u30f3\u306e\u521d\u671f\u5316\u306b\u304a\u3044\u3066\u3001\u65e2\u5b58\u306e\u30d9\u30af\u30bf\u3092\u4f7f\u7528\u3059\u308b\u6a5f\u80fd\u304c\u8ffd\u52a0\u3055\u308c\u307e\u3057\u305f\u3002<\/p>\n<p><span style=\"text-decoration: underline;\">Formal Verification<\/span><br \/>\nFormal Requirements\u306eOverflow\/Underflow\u30c1\u30a7\u30c3\u30af\u304c\u30b5\u30dd\u30fc\u30c8\u3055\u308c\u307e\u3057\u305f\u3002<\/p>\n<p><span style=\"text-decoration: underline;\">Formal Test<\/span><br \/>\nFormal Requirements\u306eOverflow\/Underflow\u30c1\u30a7\u30c3\u30af\u304c\u30b5\u30dd\u30fc\u30c8\u3055\u308c\u307e\u3057\u305f\u3002<\/p>\n<p><span style=\"text-decoration: underline;\">Embedded Coder\u30a2\u30fc\u30ad\u30c6\u30af\u30c1\u30e3<\/span><br \/>\nSimulink\u3068EmbeddedCoder\u30e2\u30c7\u30eb\u3067\u30e2\u30c7\u30eb\u30ef\u30fc\u30af\u30b9\u30da\u30fc\u30b9\u30d1\u30e9\u30e1\u30fc\u30bf\u304c\u30b5\u30dd\u30fc\u30c8\u3055\u308c\u307e\u3057\u305f\u3002<\/p>\n<p><span style=\"text-decoration: underline;\">\u30c6\u30b9\u30c8\u30b1\u30fc\u30b9\u30a8\u30c7\u30a3\u30bf<\/span><br \/>\nJSON\u30d5\u30a9\u30fc\u30de\u30c3\u30c8\u306b\u3088\u308b\u30c6\u30b9\u30c8\u30b1\u30fc\u30b9\u306e\u30a4\u30f3\u30dd\u30fc\u30c8\/\u30a8\u30af\u30b9\u30dd\u30fc\u30c8\u304c\u30b5\u30dd\u30fc\u30c8\u3055\u308c\u307e\u3057\u305f\u3002<\/p>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-e6fa827 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"e6fa827\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-0db137d\" data-id=\"0db137d\" data-element_type=\"column\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\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>\u65b0\u30d0\u30fc\u30b8\u30e7\u30f3BTC EmbeddedPlatform 22.1 \u304c\u30ea\u30ea\u30fc\u30b9\u3055\u308c\u307e\u3057\u305f\u3002<\/p>\n","protected":false},"featured_media":11070,"template":"elementor_theme","class_list":["post-11072","news","type-news","status-publish","has-post-thumbnail","hentry"],"acf":[],"_links":{"self":[{"href":"https:\/\/www.btc-embedded.jp\/ja\/wp-json\/wp\/v2\/news\/11072","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.btc-embedded.jp\/ja\/wp-json\/wp\/v2\/news"}],"about":[{"href":"https:\/\/www.btc-embedded.jp\/ja\/wp-json\/wp\/v2\/types\/news"}],"version-history":[{"count":9,"href":"https:\/\/www.btc-embedded.jp\/ja\/wp-json\/wp\/v2\/news\/11072\/revisions"}],"predecessor-version":[{"id":14898,"href":"https:\/\/www.btc-embedded.jp\/ja\/wp-json\/wp\/v2\/news\/11072\/revisions\/14898"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.btc-embedded.jp\/ja\/wp-json\/wp\/v2\/media\/11070"}],"wp:attachment":[{"href":"https:\/\/www.btc-embedded.jp\/ja\/wp-json\/wp\/v2\/media?parent=11072"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}