著者

山口 智也 足立 憲保 加賀 智之 大桑 芳宏

雑誌

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

巻号頁・発行日

vol.2012, pp.188-196, 2012-10-10

---

近年、自動車制御システムに対する要求は益々高くなってきており、それを実現する制御ソフトウェアの大規模・複雑化が避けられない状況である。一方で、制御ソフトウェアの開発期間の短縮が望まれており、高い品質を維持しつつ、これに対応する為には、開発プロセスの効率化が必須である。筆者らはソフトウェア要求の検証にモデル検査を導入し、網羅的な検査を実施することで、開発プロセスを効率化することを目指している。本稿では、自動車制御ソフトウェア開発プロセスへのモデル検査の適用に向けて、検証ツール開発の取り組み、モデル検査の自動車制御ソフトウェアへの適用事例とツールによるモデル検査の実施時間の低減効果について述べる。

著者

谷川 郁太 石井 貴大 鈴木 智明 渡辺 晴美

雑誌

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

巻号頁・発行日

vol.2012, pp.214-215, 2012-10-10

著者

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

雑誌

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

巻号頁・発行日

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

---

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

著者

榎戸 健二 三好 健文 小池 恵介 船田 悟史 藤波 香織 中條 拓伯

雑誌

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

巻号頁・発行日

vol.2012, pp.144-153, 2012-10-10

---

FPGA 搭載の Android 機器の一形態として Reconfigurable Android を開発し, Android における FPGA によるアプリケーションの高速化を試みている.そのハードウェア・アクセラレーションを設計・開発する上で, Java 言語で記述されたソースコードを直接 VHD Lコードに変換する JavaRock に着目し,その利用可能性の検討を進めている.本研究では JavaRock により合成された回路をさまざまな視点で分析することによって JavaRock の持つ特徴,性能の評価を行い,今後 Reconfigurable Android 上において開発環境として利用する上での課題について検討を行う.