文献

J-GLOBAL ID：201502245172824856   整理番号：15A0568550

安定状態と優先イベント規定によるコントローラ生成

Controller Synthesis by Stable States and Event Priorities Rules

著者 (1件)： 紫合治 (東京電機大 情報環境)
資料名： 情報処理学会論文誌ジャーナル(Web)
巻： 56  号： 2  ページ： 555-568 (WEB ONLY)  発行年： 2015年02月15日 
JST資料番号： U0452A  ISSN： 1882-7764  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 環境の規定に基づき,その環境を適切に制御するコントローラを生成する方式として,Uchitelらは,シナリオとFLTL(Fluent Linear Temporal Logic)による環境規定からコントローラ生成する手法を提案している。しかし,一般のソフトウェア技術者にとっては,FLTLの適切な規定は難しく,Uchitelらの例題でも,何度かの試行錯誤を経て解に行きついている。ここではより簡単で分かりやすい手法として,プロブレムフレームの枠組みでコントローラ生成をとらえ,ドメイン規定のLTS(Labeled Transition System)と,安定状態と優先度による要求規定からコントローラのLTSを生成する手法について提案する。(著者抄録)

シソーラス用語： *環境管理 ,  優先度 ,  制御装置 ,  *要求分析 ,  安定性 ,  生産 ,  *製造
準シソーラス用語： *コントローラ生成 ,  *環境制御 ,  自動生成

分類 (2件)： システム設計・解析  (IA02030D) ,  制御機器一般  (IC02010N)

引用文献 (17件)：

• Whittle, J. and Schumann, J.: Generating Statechart Designs From Scenarios, 22nd International Conference on Software Engineering (2000).
• Sibay, G.M., Braberman, V., Uchitel, S. and Kramer, J.: Synthesizing Modal Transition Systems from Triggered Scenarios, IEEE Trans. SE, Vol.39, No.7, pp.975-1001 (2013).
• Letier, E. and Heaven, W.: Requirements Modelling by Synthesis of Deontic Input-Output Automata, ICSE 2013, pp.592-601 (2013).
• Uchitel, S., Brunet, G. and Chechik, M.: Synthesis of Partial Behavior Models from Properties and Scenarios, IEEE Trans. SE, Vol.35, No.3, pp.384-406 (2009).
• 金井勇人,岸知二:ソフトウェア設計に対するモデル検査のための検証パターン,情報処理学会論文誌,Vol.49,No.10,pp.3493-3507(2008).

タイトルに関連する用語 (5件)： 安定状態 ,  優先 ,  イベント ,  規定 ,  コントローラ