岡本圭史

オカモトケイシ | Okamoto Keishi

所属機関・部署：
ホームページURL (1件)： http://kaken.nii.ac.jp/ja/r/00308214

研究分野 (4件)：応用数学、統計数学 , 数学基礎 , ソフトウェア , 情報学基礎論

研究キーワード (4件)：ハザード分析 , モデル理論 , 様相論理 , 形式手法

競争的資金等の研究課題 (5件)：

論文 (38件)：

岡本圭史, 兼本茂. 複雑システムにおける事故因果分析法と対策案導出システミック思考に基づく分析法 STAMP/CAST. 安全工学. 2024. 63. 5. 322-330
大場諒介, 岡本圭史, 村松竜, 毛利寿志, 三澤学. ISO 21448 及びISO 26262 への対応を目的とした車載システム向けSTPA 拡張手法の提案. 自動車技術会論文集. 2024. 55. 2. 399-404
兼本茂, 岡本圭史. システミック思考による複雑システムの安全分析. 安全工学. 2023. 62. 3. 187-195
Kozo Okanoa, Maiko Onishib, Jo Otsukaa, Shinpei Ogataa, Toshifusa Sekizawac, Keishi Okamotod, Daisuke Bekki. A Bounded Model Checker for Timed Automata and Its Application to LTL Properties. Procedia Computer Science. 2022. 207. 532-541
Keishi Okamoto, Kazuma Kokuta. Supporting the resolution of inconsistencies in specifications based on mathematical argumentation theory. RIMS Kokyuroku. 2022. 2218. 2218. 105-118

MISC (46件)：

大場諒介, 岡本圭史, 村松竜, 毛利寿志, 三澤学. ISO21448及びISO26262への対応を目的とした,車載システム向けSTPA拡張手法の提案. 自動車技術会大会学術講演会講演予稿集(Web). 2023. 2023
鈴木順, 張暁勇, 小林秀幸, 力武克彰, 佐々木正明, 岡本圭史, 千葉慎二, 矢島邦昭, 渡辺義隆, 佐々木匠, et al. 高専ロボコンのものづくり活動を軸とした複合的学習への試み. 電気関係学会東北支部連合大会講演論文集(CD-ROM). 2022. 2022
鈴木順, 張暁勇, 小林秀幸, 力武克彰, 佐々木正明, 岡本圭史, 千葉慎二, 矢島邦昭, 渡辺義隆, 佐々木匠, et al. ロボット製作活動をベースとした他の学習への展開. 日本高専学会年会講演会講演概要集(CD-ROM). 2022. 28th
YANG Pan, 岡野浩三, 小形真平, 岡本圭史. STAMP/STPAとモデル検査の連携によるハザード遷移系列の導出手法. 電子情報通信学会技術研究報告. 2020. 119. 451(SS2019 41-60)(Web)
目黒友貴, 岡本圭史, 大友楓雅, 力武克彰. AADLモデル活用による安全分析STMAP/STPAの支援. 第81回全国大会講演論文集. 2019. 2019. 1. 259-260

書籍 (8件)：

システム理論による安全工学
2024 ISBN:9784320072039
システム技術に基づく安全設計ガイド
電波新聞社 2019
STAMPガイドブック ~システム思考による安全分析~
独立行政法人情報処理推進機構(IPA)社会基盤センター 2019
はじめてのSTAMP/STPA(活用編)~システム思考で考えるこれからの安全~
立行政法人情報処理推進機構(IPA)技術本部ソフトウェア高信頼化センター(SEC) 2018
はじめてのSTAMP/STPA(実践編)~システム思考に基づく新しい安全性解析手法~
独立行政法人情報処理推進機構 2017

講演・口頭発表等 (32件)：

自然言語処理を用いた仕様書からVDM++仕様への変換支援について
(ソフトウェア・シンポジウム2023 2023)
自然言語処理の応用による要求仕様書中の矛盾検出手法の提案
(情報処理学会第84回全国大会 2022)
Supporting the resolution of inconsistencies in specifications based on mathematical argumentation theory
(RIMS Symposia (Open), Model theoretic aspects of the notion of independence and dimension 2021)
鉄道事故調査報告書RA2021-1に基づくCompact CASTによる分析事例の紹介
(2nd Asian STAMP Workshop 2021)
STPA-SecのISO/SAE 21434への対応における課題
(2nd Asian STAMP Workshop 2021)

経歴 (8件)：

全件表示

受賞 (1件)：

所属学会 (3件)：

安全工学会 , 日本数学会 , 日本ソフトウェア科学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

岡本 圭史