Art

J-GLOBAL ID：201902252107195065   Reference number：19A1061320

Layered Verification Architecture for Functional Safety Basic Software

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

Author (2)： NARISAWA FUMIO ((株)日立オートモティブシステムズ) ,  UEDA YOSHIKAZU (茨城大学大学院理工学研究科)
Material： 自動車技術会論文集(Web)  (Transactions of Society of Automotive Engineers of Japan (Web))
Volume： 50  Issue： 2  Page： 603-608(J-STAGE)  Publication year： 2019 
JST Material Number： U1353A  ISSN： 1883-0811  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *safety ,  *diagnosis ,  *verification ,  *hierarchical structure ,  *modeling ,  *hardware ,  *software
Semi thesaurus term： *functional safety ,  *hierarchy

Author keywords (4)： electronics and control ,  software platform ,  functional safety ,  autosar

JST classification (1)： Automobile performance in general  (QG02010H)

Reference (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)

Terms in the title (6)： 機能安全 ,  基盤 ,  ソフト ,  階層 ,  検証 ,  システムアーキテクチャ