文献

J-GLOBAL ID：201902249715769398   整理番号：19A0516464

EDSPNに基づく割込み駆動埋込みソフトウェアの性能評価【JST・京大機械翻訳】

Performance Evaluation for Interrupt-Driven Embedded Software Based on EDSPN

著者 (5件)： Hou Gang (Key Laboratory for Ubiquitous Network and Service Software of Liaoning Province, School of Software Technology, Dalian University of Technology, Dalian, China) ,  Zhou Kuanjiu (Key Laboratory for Ubiquitous Network and Service Software of Liaoning Province, School of Software Technology, Dalian University of Technology, Dalian, China) ,  Qiu Tie (Key Laboratory for Ubiquitous Network and Service Software of Liaoning Province, School of Software Technology, Dalian University of Technology, Dalian, China) ,  Kong Weiqiang (Key Laboratory for Ubiquitous Network and Service Software of Liaoning Province, School of Software Technology, Dalian University of Technology, Dalian, China) ,  Li Mingchu (Key Laboratory for Ubiquitous Network and Service Software of Liaoning Province, School of Software Technology, Dalian University of Technology, Dalian, China)
資料名： IEEE Access  (IEEE Access)
巻： 5  ページ： 5178-5189  発行年： 2017年 
JST資料番号： W2422A  ISSN： 2169-3536  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： リアルタイム埋込みシステムの信頼できるソフトウェアの設計において,割込み機構は重要な役割を果たす。中断処理挙動のランダム性と非決定性のために,組込みソフトウェアの性能評価は重要であるが,挑戦的な問題である。この問題を解決するために,非決定論的時間遷移を追加するDSPNの意味論的拡張である拡張決定論的および確率的Petriネット(EDSPN)に基づく組込みソフトウェアの性能モデルを提案した。この方法において,性能モデルは,ランダム要求,優先順位に従った応答,中断ネスティング,および非決定的実行時間を含む中断処理挙動を効果的に表現することができる。さらに,Markov再生理論に基づくEDSPNモデルの性能評価法を提供し,特定の例を通して解析プロセスを実証した。最後に,実験を通して中断のすべてのタイプの影響因子を考慮して,埋め込みソフトウェアの性能を解析した。Copyright 2019 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 非決定性 ,  意味論 ,  *ソフトウェア ,  *性能評価
準シソーラス用語： 影響因子 ,  実行時間 ,  入れ子構造 ,  性能モデル ,  確率的Petriネット ,  決定論 ,  組込みソフトウェア ,  ランダム性 ,  埋込みシステム ,  実時間 , 【Automatic Indexing@JST】

分類 (3件)： 専用演算制御装置  (JC04030Y) ,  信号理論  (ND02020G) ,  音声処理  (JE05000E)

タイトルに関連する用語 (4件)： 割込み ,  埋込み ,  ソフトウェア ,  性能評価