モデル検査とテストによる車載オペレーティングシステムのシームレスな検証

• Item type: Symposium(1)
• 公開日: 2012-10-10
• タイトル: モデル検査とテストによる車載オペレーティングシステムのシームレスな検証
• タイトル / 言語: en
• タイトル: Seamlessly Model Checking and Testing Automotive Operating System
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: モデル検査
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_5794
• 資源タイプ: conference paper
• 著者所属: 北陸先端科学技術大学院大学
• 著者所属: ルネサスマイクロシステム株式会社
• 著者所属: (株)デンソー
• 著者所属: 北陸先端科学技術大学院大学
• 著者所属(英): en
• 著者所属(英): Japan Advanced Institute of Science and Technology
• 著者所属(英): en
• 著者所属(英): Renesas Micro Systems Co., Ltd.
• 著者所属(英): en
• 著者所属(英): DENSO CORPORATION
• 著者所属(英): en
• 著者所属(英): Japan Advanced Institute of Science and Technology
• 著者名: 青木, 利晃; 佐藤, 信; 谷, 充弘; 矢竹, 健朗
• 著者名(英): Toshiaki, Aoki; Makoto, Satoh; Mitsuhiro, Tani; Kenro, Yatake
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 車載ソフトウェアの安全性や信頼性に関する問題は，社会において非常に大きな関心となりつつある．最近では，車載システムに特化された機能安全の世界標準も策定されており，実社会では，トヨタ車の電子スロットル制御システムの検証が NASA により実施されたという事案も生じている．このような問題を背景に，我々は，車載オペレーティングシステムの検証手法の研究と実践を行っている．我々が対象としている OS は， OSEK/VDX に準拠するものである．本論文では，モデル検査とテスト手法を組み合わせて，設計検証から実装のテストまでシームレスに検証を行う手法，および，実際の製品への適用について紹介する．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: The safety and reliability of automotive systems are becoming a big concern in our daily life. Actually, a functional safety standard which is specilized in automotive systems has been proposed by ISO. In addition, electorical throttle systems have been inspected by NASA due to the unintended acceleration problem of Toyota's cars. To follow such recent circumstance, we are studying about practical vericiation of automotive operating systems. The operating system which we focus on is the one conforming OSEK/VDX standard. In this paper, we show an approach to seamlessly connect design verification with implementation testing based on model checking, and its application to a real product.
• 書誌情報: 組込みシステムシンポジウム2012論文集; 巻 2012, p. 178-187, 発行日 2012-10-10
• 出版者 / 言語: ja
• 出版者: 情報処理学会