Rchr
J-GLOBAL ID：201101012079788184
Update date: Mar. 29, 2024
Okamoto Keishi
オカモト ケイシ | Okamoto Keishi
Affiliation and department：
Homepage URL (1)：
http://kaken.nii.ac.jp/ja/r/00308214
Research field (4)：
Applied mathematics and statistics
, Basic mathematics
, Software
, Information theory
Research keywords (4)：
Hazard Analysis
, モデル理論
, 様相論理
, 形式手法
Research theme for competitive and other funds (4)：
- 2021 - 2025 自然語解析と反例解析を活用したソフトウェア開発
- 2019 - 2022 数理議論学に基づく仕様書の不整合解消支援ツールの作成
- 2015 - 2019 Argument-Based Data-Driven Conflict Studies
- 2010 - 2013 形式手法のための論理の構築と、一階拡張が満たす性質に関する研究
Papers (36)：
-
兼本茂, 岡本圭史. Safety Analysis of Complex Systems Based on Systemic Thinking. 安全工学. 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
-
穀田, 一真, 岡本, 圭史. 自然言語処理の応用による要求仕様書中の矛盾検出手法の提案. 第84回全国大会講演論文集. 2022. 2022. 1. 843-844
-
Yuma Yamano, Toshihiko Ando, Keishi Okamoto. A Tool Generating a C# Code with Contracts of Code Contracts from a VDM++ Model with Conditions. International Journal of Software Engineering (IJSE). 2020. 8. 3. 27-39
ｍore...
MISC (46)：
-
大場諒介, 岡本圭史, 村松竜, 毛利寿志, 三澤学. An Extended STAMP/STPA for Vehicle System Development to Comply with ISO 21448 and ISO 26262. 自動車技術会大会学術講演会講演予稿集(Web). 2023. 2023
-
鈴木順, 張暁勇, 小林秀幸, 力武克彰, 佐々木正明, 岡本圭史, 千葉慎二, 矢島邦昭, 渡辺義隆, 佐々木匠, et al. 高専ロボコンのものづくり活動を軸とした複合的学習への試み. 電気関係学会東北支部連合大会講演論文集(CD-ROM). 2022. 2022
-
鈴木順, 張暁勇, 小林秀幸, 力武克彰, 佐々木正明, 岡本圭史, 千葉慎二, 矢島邦昭, 渡辺義隆, 佐々木匠, et al. ロボット製作活動をベースとした他の学習への展開. 日本高専学会年会講演会講演概要集(CD-ROM). 2022. 28th
-
YANG Pan, 岡野浩三, 小形真平, 岡本圭史. An Approach of Deriving Hazard Transition Series by Cooperation of STAMP/STPA and Model Checking. 電子情報通信学会技術研究報告. 2020. 119. 451(SS2019 41-60)(Web)
-
目黒 友貴, 岡本 圭史, 大友 楓雅, 力武 克彰. AADLモデル活用による安全分析STMAP/STPAの支援. 第81回全国大会講演論文集. 2019. 2019. 1. 259-260
ｍore...
Books (7)：
-
システム技術に基づく安全設計ガイド
電波新聞社 2019
-
STAMPガイドブック ~システム思考による安全分析~
独立行政法人情報処理推進機構(IPA)社会基盤センター 2019
-
はじめてのSTAMP/STPA(活用編)~システム思考で考えるこれからの安全~
立行政法人情報処理推進機構(IPA)技術本部 ソフトウェア高信頼化センター(SEC) 2018
-
はじめてのSTAMP/STPA(実践編)~システム思考に基づく新しい安全性解析手法~
独立行政法人情報処理推進機構 2017
-
大規模・複雑化した組込みシステムのための障害診断手法 ~ 事後V&Vの体系と要素技術 ~
独立行政法人情報処理推進機構 2017
ｍore...
Lectures and oral presentations (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)
ｍore...
Work history (8)：
Awards (1)：
- 2014/11 - 石田實記念財団 石田實記念財団研究奨励賞
Association Membership(s) (3)：
Japan Society for Safety Engineering (JSSE)
, 日本数学会
, 日本ソフトウェア科学会
