文献

J-GLOBAL ID：201702253536448956   整理番号：17A1265502

組込み制御システムのためのイベント駆動状態遷移のリアルタイム制約意味論【Powered by NICT】

The real-time constraint semantics of events-driven state transition for embedded control systems

著者 (4件)： Jing Zhang (Computer Technology Application Key Lab of Yunnan Province, Kunming University of Science and Technology, Kunming 650500, China) ,  Yao Chen (Computer Technology Application Key Lab of Yunnan Province, Kunming University of Science and Technology, Kunming 650500, China) ,  Jun Sun (Computer Technology Application Key Lab of Yunnan Province, Kunming University of Science and Technology, Kunming 650500, China) ,  Hongbo Fan (Computer Technology Application Key Lab of Yunnan Province, Kunming University of Science and Technology, Kunming 650500, China)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： CCDC  ページ： 2557-2562  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 本論文では,組込みシステムにおける物理的状態遷移の過程を研究した。システムの効率を劇的に増加する鍵は,デッドラインおよび実時間事象を放出された関係者のためのタスクプロセスの品質を満たすために重要であり,系の状態を移動させるために駆動された。同時にこれら二つの目標を解決するために,値制約とクロック制約条件の実時間イベントラベルを定義し,制約条件を含んでいた超ちゅう密時間モデルを確立した。状態時間配列順序をシミュレートするための半順序モデルに基づいて,組み込み制御システムのための状態遷移の実時間意味論を提案した。値制約に対応しながら,組込みシステム状態遷移制約を提案し,このモデルは,イベントのクロック制約下での確認,ある事象と状態をどのような実行順序のプロセスにおける実時間動作を確保した。レーザジャイロスコープブロッキングしきい値試験システムの例は,システムの状態遷移の値拘束の影響を持つフィードバック制御器大研究の性能を評価した。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST.【Powered by NICT】

シソーラス用語： フィードバック制御 ,  *意味論 ,  品質 ,  *制御系 ,  クロック ,  組込みシステム ,  半順序 ,  時間制限
準シソーラス用語： *実時間 ,  *状態遷移 ,  *イベント駆動 , 【Automatic Indexing@JST】

分類 (2件)： 計算機システム開発  (JD02010R) ,  オペレーティングシステム  (JD03020J)

タイトルに関連する用語 (7件)： 組込み ,  制御システム ,  イベント駆動 ,  状態遷移 ,  リアルタイム ,  制約 ,  意味論