研究者
J-GLOBAL ID：201701018164345367   更新日: 2024年09月24日

小林 努

コバヤシ ツトム | Kobayashi Tsutomu
所属機関・部署：
宇宙航空研究開発機構 (JAXA) 研究開発部門

宇宙航空研究開発機構 (JAXA) 研究開発部門 について


職名： 研究開発員
研究分野 (1件)： ソフトウェア
研究キーワード (8件)： システムモデリング ,  形式仕様記述 ,  定理証明 ,  モデル検査 ,  形式手法 ,  要求工学 ,  ソフトウェアテスティング ,  ソフトウェア工学
競争的資金等の研究課題 (6件)：
  • 2022 - 2025 段階的詳細化と定理証明を用いた演繹的なリアルタイム異常箇所推論器の構築
  • 2019 - 2023 ソフトウェアの整合性証明情報を演繹的に用いた環境変化への妥協付き適応
  • 2019 - 2021 プログラムコードの整合性ある自動抽象化による表明強化の支援
  • 2017 - 2019 整合性を保持する形式仕様の自動抽象化システム「ソフトウェア顕微鏡」の開発
  • 2017 - 2019 段階的詳細化の柔軟な変更および設計指針の確立
全件表示
論文 (22件)：
  • Tsutomu Kobayashi, Fuyuki Ishikawa. Repairing Event-B Models through Quantifier Elimination. The 25th International Conference on Formal Engineering Methods (ICFEM 2024). 2024
  • Peter Riviere, Tsutomu Kobayashi, Neeraj Singh, Fuyuki Ishikawa, Yamine Ait Ameur, Guillaume Dupon. On-the-Fly Proof-Based Verification of Reachability in Autonomous Vehicle Controllers Relying on Goal-Aware RSS. The 25th International Conference on Formal Engineering Methods (ICFEM 2024). 2024
  • Shoma Takatsuki, Hiroki Umeda, Tsutomu Kobayashi, Takahiro Sasaki, Yasushi Ueda, Masafumi Katahira, Shuji Morisaki. Hazard Scenarios Analysis Method Using STAMP/STPA and Sequence Diagrams in A Collision Avoidance System with Multiple Controllers. 12th IAASS conference. 2023
  • Ichiro Hasuo, Clovis Eberhart, James Haydon, Jérémy Dubut, Rose Bohrer, Tsutomu Kobayashi, Sasinee Pruekprasert, Xiao-Yi Zhang, Erik André Pallas, Akihisa Yamada, et al. Goal-Aware RSS for Complex Scenarios via Program Logic. IEEE Transactions on Intelligent Vehicles. 2023. 8. 4. 3040-3072
  • Masatoshi Horikawa, Tsutomu Kobayashi, Hiroki Umeda, Shoma Takatsuki, Yasushi Ueda. Detecting Faulty Sequences of FDIR Functions on Spacecrafts Using Model Checking. 2023 IEEE Aerospace Conference. 2023
もっと見る
MISC (4件)：
  • 小林 努. 複雑で不確かなソフトウェアの安全性を 「段階的詳細化」で厳密に保証. NII SEEDs 2022. 2022. 21-21
  • 小林 努. 段階的詳細化と定理証明を用いたソフトウェアシステムのモデリングと検証. 日本ロボット学会誌. 2022. 40. 3. 203-207
  • Fuyuki Ishikawa, Tsutomu Kobayashi, Alexander Romanovsky. Proceedings of the Event-B Day 2018 in Tokyo. Technical Report, School of Computing Science, University of Newcastle upon Tyne (CS-TR-1525). 2018
  • 中川 博之, 小林 努, 林 晋平, 吉岡 信和, 鵜林 尚靖. ER 2016 参加報告. コンピュータソフトウェア. 2017. 34. 3. 75-80
特許 (1件)：
  • 情報処理装置、制御設計支援方法およびプログラム
書籍 (1件)：
  • Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
    Springer 2021
講演・口頭発表等 (8件)：
  • アプリの隠れた性質をあぶり出す
    (ACT-I先端研究フォーラム ~「情報と未来」研究者講演会~ - ACT-I 2期生加速フェーズ成果発表会 - 2021)
  • ソフトウェアの働き・性質を正しく要約
    (ACT-I先端研究フォーラム ~「情報と未来」研究者講演会~ 2019)
  • Refactoring Refinement of Event-B Models
    (Shonan Meeting Towards industrial application of advanced formal methods for cyber-physical system engineering 2018)
  • A Framework for Developing Distributed Protocols with Event-B/Rodin
    (Rodin Workshop 2018 at ABZ 2018 2018)
  • 博士論文紹介:Supporting Planning and Refactoring of Refinement Structure of Event-B Models
    (第197回ソフトウェア工学研究発表会 2017)
もっと見る
Works (2件)：
  • Uncertainty Robustifier for Event-B Models
    Tsutomu Kobayashi
  • ソフトウェア展望台
    Tsutomu Kobayashi, Aivar Kripsaar, Fuyuki Ishikawa
学歴 (3件)：
  • 2013 - 2017 東京大学大学院 情報理工学系研究科 コンピュータ科学専攻 博士課程
  • 2011 - 2013 東京大学大学院 情報理工学系研究科 コンピュータ科学専攻 修士課程
  • 2007 - 2011 東京大学 理学部 情報科学科
学位 (1件)：
  • 博士(情報理工学) (東京大学)
経歴 (11件)：
  • 2022/06 - 現在 国立情報学研究所 アーキテクチャ科学研究系 外来研究員
  • 2022/04 - 現在 宇宙航空研究開発機構 研究開発部門 研究開発員
  • 2017/09 - 現在 早稲田大学 基幹理工学部 非常勤講師
  • 2021/04 - 2022/03 国立情報学研究所 アーキテクチャ科学研究系 特任研究員
  • 2021/04 - 2022/03 ERATO 蓮尾メタ数理システムデザインプロジェクト 研究員
全件表示
受賞 (4件)：
  • 2023/01 - International Journal on Software and Systems Modeling (SoSyM) 2022 Best Reviewer Award,
  • 2021/03 - ICFEM 2020 Best paper award, Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement,
  • 2018/11 - ICFEM 2018 Best paper award, Analysis on Strategies of Superposition Refinement of Event-B Specifications,
  • 2017/07 - 情報処理学会 研究会推薦博士論文
所属学会 (2件)：
Formal Methods Europe ,  情報処理学会(ソフトウェア工学研究会)
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM