Rchr
J-GLOBAL ID：200901057577699429   Update date: Jan. 15, 2024

Saito Naoki

サイトウ ナオキ | Saito Naoki
Research field  (3)： Information networks ,  Computer systems ,  Software
Research keywords  (4)： formal method ,  safety analysis ,  embedded software ,  real-time operating system
Research theme for competitive and other funds  (4)：
  • 2010 - 2010 TOPPERS最小セットカーネルの開発
  • 2006 - 2009 機能安全対応自動車制御向けのソフトウェアプラットフォームの開発
  • 2005 - 2006 自動車統合制御用組込み OS の開発
  • 2002 - 2003 組込みシステム・オープンプラットホームの構築とその実用化開発
MISC (8)：
ｍore...
Lectures and oral presentations  (7)：
  • 公設試験研究機関における深層学習に関する社会人向け研修
    (平成29年度 電気・電子・情報関係学会 東海支部連合大会 2017)
  • Raspberry Pi を用いたIoTシステムの構築実習
    (平成28年度 名古屋市中小企業イノベーション創出プロジェクト IoT新技術応用研究会 第2回セミナー 2017)
  • TOPPERS/SSP 入門研修
    (平成24年度みやぎ IT 技術者等確保・育成支援事業 2013)
  • 小規模リアルタイムOS開発における形式手法の適用について
    (第6回ディペンダブルシステムシンポジウム(DSS2009) 2009)
  • 組込みリアルタイムOSに必要な最小の機能セットについて
    (平成21年度電気関係学会東海支部連合大会 2009)
ｍore...
Works (1)：
  • Development of TOPPERS/SSP kernel
    Naoki Saito 2011 -
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM