文献

J-GLOBAL ID：201602206515618427   整理番号：16A0148682

自動車安全のための,自然言語からセミフォーマル表記への要件

From Natural Language to Semi-Formal Notation Requirements for Automotive Safety

著者 (3件)： KRAMMER Martin (Virtual Vehicle Res. Center) ,  STIRGWOLT Philip (Infineon Technol. AG) ,  MARTIN Helmut (Virtual Vehicle Res. Center)
資料名： SAE Technical Paper Series (Society of Automotive Engineers)  (SAE Technical Paper Series (Society of Automotive Engineers))
ページ： 12P  発行年： 2015年 
JST資料番号： D0244B  ISSN： 0148-7191  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 本報は,次世代自動車の機能安全に関する要件の規定化に関し,特に,自然言語表現の要求事項をセミフォーマルな表記に変換するための方法について記述した。安全目標を正しく規定化するためには要件の形式化が有利である。筆者等は,ISO26262の要求記載方法をターゲットとして,自動車の機能安全の要件を形式化する新しいアプローチを提案した。本報では,始めにISO26262の記載方法を紹介し,次に対象とした安全要件の論理的根拠を説明し,安全規定として記述するために要求事項,仕様内容及び実装の関連を記載する方法を示した。最後に,要件を形式化するためのテンプレートを示した。提案のテンプレートはエアーバックシステムを例として適用し,安全要件を体系的に記述出来ることを検証した。

シソーラス用語： *安全性 ,  国際規格 ,  表記法 ,  *形式記述 ,  *型枠 ,  *板 ,  規則化 ,  要求仕様 ,  実装 ,  自然言語
準シソーラス用語： *テンプレート【型板】 ,  機能安全規格 ,  *形式的記述 ,  仕様書要求事項 ,  *自動車安全性 ,  性能規定化

分類 (2件)： 自動車設計・構造・材料一般  (QG03010O) ,  ドキュメンテーション  (QA01030E)

タイトルに関連する用語 (3件)： 自動車 ,  言語 ,  表記