研究者
J-GLOBAL ID：200901057577699429   更新日: 2024年01月15日

斉藤 直希

サイトウ ナオキ | Saito Naoki
研究分野 (3件)： 情報ネットワーク ,  計算機システム ,  ソフトウェア
研究キーワード (4件)： 形式手法 ,  安全性分析 ,  組込みソフトウェア ,  リアルタイムOS
競争的資金等の研究課題 (4件)：
  • 2010 - 2010 TOPPERS最小セットカーネルの開発
  • 2006 - 2009 機能安全対応自動車制御向けのソフトウェアプラットフォームの開発
  • 2005 - 2006 自動車統合制御用組込み OS の開発
  • 2002 - 2003 組込みシステム・オープンプラットホームの構築とその実用化開発
MISC (8件)：
もっと見る
講演・口頭発表等 (7件)：
  • 公設試験研究機関における深層学習に関する社会人向け研修
    (平成29年度 電気・電子・情報関係学会 東海支部連合大会 2017)
  • Raspberry Pi を用いたIoTシステムの構築実習
    (平成28年度 名古屋市中小企業イノベーション創出プロジェクト IoT新技術応用研究会 第2回セミナー 2017)
  • TOPPERS/SSP 入門研修
    (平成24年度みやぎ IT 技術者等確保・育成支援事業 2013)
  • 小規模リアルタイムOS開発における形式手法の適用について
    (第6回ディペンダブルシステムシンポジウム(DSS2009) 2009)
  • 組込みリアルタイムOSに必要な最小の機能セットについて
    (平成21年度電気関係学会東海支部連合大会 2009)
もっと見る
Works (1件)：
  • TOPPERS/SSP カーネルの開発
    斉藤直希 2011 -
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM