文献

J-GLOBAL ID：201902252107195065   整理番号：19A1061320

機能安全対応基盤ソフト向け階層型検証システムアーキテクチャ

Layered Verification Architecture for Functional Safety Basic Software

著者 (2件)： 成沢文雄 ((株)日立オートモティブシステムズ) ,  上田賀一 (茨城大学大学院理工学研究科)
資料名： 自動車技術会論文集(Web)  (Transactions of Society of Automotive Engineers of Japan (Web))
巻： 50  号： 2  ページ： 603-608(J-STAGE)  発行年： 2019年 
JST資料番号： U1353A  ISSN： 1883-0811  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 高安全システムにおける診断機能はハードウェアとソフトウェアの連携動作で構成されるため,複数の並行プロセスの検証となり多大な工数を要する.AUTOSARに対応した検証システムの階層化アーキテクチャと,形式検証器CBMC上を用い非決定論的なハードウェアイベントと複数のタスクをモデル化した検証手法を提案する。(著者抄録)

シソーラス用語： *安全性 ,  *診断 ,  *検証 ,  *階層構造 ,  *モデリング ,  *ハードウェア ,  *ソフトウェア ,  *機能安全
準シソーラス用語： *階層化

著者キーワード (4件)： electronics and control ,  software platform ,  functional safety ,  autosar

分類 (1件)： 自動車性能一般  (QG02010H)

引用文献 (12件)：

• (1) AUTOSAR AUTomotive Open System ARchitecture, http://www.autosar.org, (Accessed: 10. 3. 2017)
• (2) ISO 26262 Road Vehicles-Functional Safety, Part 1-10, International Organization for Standardization (2011)
• (3) Edmund Clarke, Daniel Kroening, and Flavio Lerda. A tool for checking ANSI-C programs. In Tools and Algorithms for the Construction and Analysis of Systems, Springer, pp. 168-176 (2004)
• (4) J. Chen and T. Aoki, Conformance Testing for OSEK/VDX Operating System Using Model Checking, 2011 18th Asia-Pacific Software Engineering Conference, Ho Chi Minh, 2011, pp. 274-281 (2011)
• (5) Narisawa, F., Matsubara, M., Nishi, M., and Ebina, T., Formal Verification Method for Safety Diagnosis Software, SAE Technical Paper 2015-01-0279, (2015)

タイトルに関連する用語 (6件)： 機能安全 ,  基盤 ,  ソフト ,  階層 ,  検証 ,  システムアーキテクチャ