文献

J-GLOBAL ID：201402224672555873   整理番号：14A1146801

組込みシステム検査のための協調解析

A Co-Analysis Method for Embedded System Designs

著者 (3件)： 古川覚 (茨城大学) ,  上田賀一 (茨城大学) ,  中島震 (国立情報学研究所)
資料名： コンピュータソフトウェア  (Computer Software)
巻： 31  号： 3  ページ： 3.307-3.317 (J-STAGE)  発行年： 2014年 
JST資料番号： Y0628A  ISSN： 0289-6540  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 組込みシステムの信頼性向上を目的として,開発の上流工程で不具合を発見することが望ましい.組込みシステムの開発では,制御ソフトウェア(コントローラ)と制御対象(プラント)がどのように影響を及ぼし合うかが設計の主要な関心事になる.一方,これらは性質が大きく異なることから,全体をひとつの枠組みで表現し解析することが難しいという問題がある.本研究では,各々の特徴をいかした設計情報を組み合わせる協調解析という考え方を提案する.コントローラでは,設計に自由度を持たせることから,宣言的な制約表現や非決定性を許す記号的な方法が良い.プラントは制御対象が従う物理法則を数値的な方法で解析する.すなわち,提案する協調解析の方法では,コントローラの記号的な表現とプラントの数値解析を組み合わせることで,組込みシステム全体の振る舞いを調べる.具体的な例題として用いる二輪倒立振子ロボットでは,コントローラをSysMLで,プラントをSimulinkで表す.システムの制約妥当性を検査する適用実験を通して,提案手法の有効性を確認する.(著者抄録)

シソーラス用語： 工程 ,  *プログラム検査 ,  *計算機システム ,  *制御プログラム ,  数値解析 ,  記号処理 ,  倒立振り子 ,  解析 ,  *組込みシステム
準シソーラス用語： 上流工程 ,  協調解析

分類 (1件)： 計算機システム開発  (JD02010R)

タイトルに関連する用語 (4件)： 組込みシステム ,  検査 ,  協調 ,  解析