抄録/ポイント：
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
特にサイバー-物理,リアルタイムandsafety臨界系工業コンピューティングデバイスは機能的システムを創生する外部事象と必要性tocooperateに反応する他のデバイスとに焦点を当てた。acomponentは外部入力データと刺激にどのように反応するかの簡単な,局所的記述に焦点を当てた言語であるoftenimplemented。構造システムにinmodernソフトウェアアーキテクチャ大きくindependentcomponentsへの傾向にもかかわらず,残りの相互依存性は小さな系に対しても豊富なbehavioraldynamicsを生成した。標準と工業的プログラミングapproachesdoは通常モデル化ないまたはentiresystemの大域的性質を広く記述した。このジレンマを解決するために多数のアプローチはbeensuggestedたが,システムwithcomplex相互依存性を実装正確にハードおよび誤りがちな課題として残っている。多重結合有限状態機械(McFSMs),このような相互依存性をモデル化し,管理することを可能にするnovelmechanismを導入した。は,一貫性のあるよく構造化された簡単な大域的記述にisbased。soundtheoretical基礎が提供されると,関連ツールはモデルdriventechniquesを用いて種々のプログラミング言語における低レベルコードをgenerateefficientを可能にした。も他の系にMcFSMsとその関係を表現するために,それらの動的挙動をモデル化し,コンパイル時でのそれらの効率と正確さをtoinvestigateにドメイン固有言語を提案した。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】
