文献

J-GLOBAL ID：201802255078092098   整理番号：18A1489707

RT-FRIDAフレームワークに基づく通信プロトコルにおける過渡故障のための要求仕様と評価【JST・京大機械翻訳】

Requirements specification and evaluation for transient faults in communication protocols based on RT-FRIDA framework

著者 (5件)： Roque Alexandre S. (Graduate Program in Electrical Engineering, Federal University of Rio Grande do Sul, UFRGS, Porto Alegre, Brazil) ,  Roque Alexandre S. (Computer Science and Engineering Department, Regional Integrated University of High Uruguay and Missions, URI, Santo Angelo, Brazil) ,  Nunes Gerson L. (Graduate Program in Electrical Engineering, Federal University of Rio Grande do Sul, UFRGS, Porto Alegre, Brazil) ,  Freitas Edison P. (Graduate Program in Electrical Engineering, Federal University of Rio Grande do Sul, UFRGS, Porto Alegre, Brazil) ,  Pereira Carlos E. (Graduate Program in Electrical Engineering, Federal University of Rio Grande do Sul, UFRGS, Porto Alegre, Brazil)
資料名： IFAC PapersOnLine  (IFAC PapersOnLine)
巻： 51  号： 10  ページ： 76-81  発行年： 2018年 
JST資料番号： W3101A  ISSN： 2405-8963  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 本論文は,産業通信プロトコルに依存する2つの重要なリアルタイム制御システムのための要求仕様の評価を提示した。故障モデリング能力のために拡張したRT-FRIDAフレームワークを用いて,設計段階における過渡的故障挙動をマップするためのアスペクト指向モデリング(AOM)の利用を提案した。アクティブサスペンション制御システムのための要求仕様と農業実装に適用される故障検出制御システムを事例研究として行った。故障は非機能的要件として特定され,定量的なソフトゴール重みづけ法を適用して評価される。提示された結果は,リアルタイム制御システムの性能を劣化させる可能性を持つ故障を特定するための重要なこととして,アスペクト指向の故障モデリングを示す。Copyright 2018 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 重みづけ ,  実時間処理 ,  農業 ,  故障検出 ,  事例研究 ,  制御系 ,  *故障
準シソーラス用語： アスペクト指向 ,  アクティブサスペンション ,  アスペクト指向設計 ,  故障モデリング ,  実時間制御 ,  *過渡故障 ,  *通信プロトコル , 【Automatic Indexing@JST】

著者キーワード (4件)： 通信プロトコル ,  過渡故障 ,  リアルタイムシステム ,  要求分析

分類 (3件)： 計算機システム開発  (JD02010R) ,  計算機網  (JC03000K) ,  信頼性  (KB04040H)

タイトルに関連する用語 (6件)： RT ,  フレームワーク ,  通信プロトコル ,  過渡故障 ,  要求仕様 ,  評価