• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

OIWA Yutaka  大岩 寛

ORCIDConnect your ORCID iD *help
Researcher Number 20415649
Other IDs
Affiliation (Current) 2025: 国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 研究チーム長
Affiliation (based on the past Project Information) *help 2017 – 2018: 国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 研究チーム長
2015 – 2016: 国立研究開発法人産業技術総合研究所, 情報技術研究部門, 研究グループ長
2015: 産業技術総合研究所, 情報技術研究部門, 研究グループ長
2014: 独立行政法人産業技術総合研究所, 情報・人間工学領域研究戦略部, 主任研究員
2013: 独立行政法人産業技術総合研究所, セキュアシステム研究部門, 研究グループ長
2012: 独立行政法人産業技術総合研究所, セキュアシステム研究部門, 主任研究員
Review Section/Research Field
Except Principal Investigator
Software / Software
Keywords
Except Principal Investigator
並行処理解析器 / 仕様記述・検証 / 有限状態マシン / ロボットソフトウェプラットフォーム / 並行処理 / 定理証明器 / 形式仕様記述・検証 / 協調ロボット制御 / 有限状態機械 / 定理証明 … More / モデル検査 / 検証 / 形式手法 / 安全性 / 制御ソフトウェア / 協調ロボット / 詳細化 / TLS / セキュリティプロトコル / 多倍長整数演算 / Coq / 定理証明支援系 / 組込みソフトウェア / アセンブリ言語 / C言語 / 形式検証 Less
  • Research Projects

    (2 results)
  • Research Products

    (1 results)
  • Co-Researchers

    (6 People)
  •  A Development Process of Control Software for Safe Cooperative Robots

    • Principal Investigator
      Isobe Yoshinao
    • Project Period (FY)
      2015 – 2017
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Software
    • Research Institution
      National Institute of Advanced Industrial Science and Technology
  •  Model and formal verification of the C language for secure construction of embedded software

    • Principal Investigator
      AFFELDT Reynald
    • Project Period (FY)
      2012 – 2015
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Software
    • Research Institution
      National Institute of Advanced Industrial Science and Technology

All 2018

All Presentation

  • [Presentation] 協調ロボット制御ロジックの形式的なモデル化と検証 - FSM4RTC のための有限状態マシン設計の信頼性向上 -2018

    • Author(s)
      磯部 祥尚, 安藤 慶昭, 宮本 信彦, Biggs Geoffrey, 大岩 寛
    • Organizer
      ロボティクス・メカトロニクス講演会 ROBOMECH2018
    • Data Source
      KAKENHI-PROJECT-15H02687
  • 1.  AFFELDT Reynald (40415641)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 2.  Isobe Yoshinao (50356458)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 1 results
  • 3.  花井 亮 (10521255)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 4.  BIGGS Geoffrey (20534803)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 1 results
  • 5.  安藤 慶昭 (50371018)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 1 results
  • 6.  中坊 嘉宏 (70360609)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results

URL: 

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi