Art

J-GLOBAL ID：201702282982447475   Reference number：17A0464227

自動運転車を取り巻くSystem of Systemsの安全性要求の妥当性確認と検証

Author (4)： KINOSHITA SATOKO (慶応大) ,  NISHIMURA HIDEKAZU (慶応大) ,  YUN Sunkil (慶応大) ,  KITAMURA NORIYASU (慶応大)
Material： SEC Journal  (SEC J)
Volume： 12  Issue： 4  Page： 10-17  Publication year： Mar. 01, 2017 
JST Material Number： L5846A  ISSN： 1349-8622  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *automatic operative method ,  *safety ,  robustness ,  *system engineering ,  automobile ,  reliability(property) ,  effectiveness ,  transit system ,  system model ,  model checking ,  CSP
Semi thesaurus term： *system safety ,  validity check ,  traffic environment

JST classification (3)： Driver  (TB01040V) ,  Motor vehicle accidents,traffic safety  (TB01050G) ,  System engineering in general  (IB01000S)

Reference (15)：

• [内閣府2016]戦略的イノベーション創造プログラム(SIP)自動走行システム 研究計画,内閣府,(2016).
• [BCG2015]自動運転車市場の将来予測,ボストンコンサルティンググループ,2015,(http://www.bcg.co.jp/documents/file197533.pdf).
• [Jamshidi2011] M. Jamshidi, System of systems engineering: innovations for the twenty-first century, John Wiley & Sons, 2011.
• [DeLaurentis2005] D. DeLaurentis, Understanding transportation as a system of systems design problem, presented at the 43rd AIAA Aerosp. Sci. Meet., Reno, NV, 2005.
• [COMPASS] COMPASS, Available: http://www.compass-research.eu/index.html

Terms in the title (4)： 自動運転車 ,  安全性 ,  妥当性確認 ,  検証