著者

青木 利晃

出版者

一般社団法人 システム制御情報学会

雑誌

システム/制御/情報 (ISSN:09161600)

巻号頁・発行日

vol.62, no.4, pp.134-140, 2018-04-15 (Released:2018-10-15)

参考文献数

56

著者

青木 利晃 川上 大介 千田 伸男 冨田 尭

雑誌

ソフトウェアエンジニアリングシンポジウム2018論文集

巻号頁・発行日

vol.2018, pp.236-243, 2018-08-29

---

近年,深層学習を代表とする機械学習が脚光を浴びており,様々なシステムへの応用が検討されている.応用対象は,エンターテイメントシステムや事務処理システムなどにとどまらず,自動車の自動運転などの高安全システムなども検討されている.高安全システムでは,安全性に関する十分なテストを実施することが必要である.一方,機械学習システムの安全性をテストする手法は,まだ確立していない.そこで,本論文では,機械学習を用いて実現された分類器に焦点を当て,その安全性を系統的に評価する手法を提案する.提案手法は,データセットに基づいた安全分析とテスト結果の統計的評価方法から構成される.安全分析では,よく知られている FTA (Fault Tree Analysis) をデータセットを取り扱えるように拡張した.そして,安全分析の結果,期待される認識率の水準を求め,テストを実施する.テストでは,この水準を満たしているか統計的に評価を実施する.提案手法は,CNN (Convolutional Neural Network) による手書き文字の分類器に適用し,評価を行った.

著者

青木 利晃 佐藤 信 谷 充弘 矢竹 健朗

雑誌

組込みシステムシンポジウム2012論文集

巻号頁・発行日

vol.2012, pp.178-187, 2012-10-10

---

車載ソフトウェアの安全性や信頼性に関する問題は,社会において非常に大きな関心となりつつある.最近では,車載システムに特化された機能安全の世界標準も策定されており,実社会では,トヨタ車の電子スロットル制御システムの検証が NASA により実施されたという事案も生じている.このような問題を背景に,我々は,車載オペレーティングシステムの検証手法の研究と実践を行っている.我々が対象としている OS は, OSEK/VDX に準拠するものである.本論文では,モデル検査とテスト手法を組み合わせて,設計検証から実装のテストまでシームレスに検証を行う手法,および,実際の製品への適用について紹介する.