第3回九州組込みソフトウェア研究会(QUEST)
〜高信頼性組込みソフトウェアについて〜 のご報告

(財)九州システム情報技術研究所では、2か月に1度(偶数月)ISIT定期交流会、 年3回程度 ISIT技術セミナーを開催しています。
ISIT定期交流会ISIT技術セミナーにもご参加ください。

第3回九州組込みソフトウェア研究会(QUEST)
 〜高信頼性組込みソフトウェアについて〜 のご報告


■日 時  平成18年8月30日(水) 講演会 15:00〜17:50
                  交流会 18:00〜19:30


■会 場  福岡システムLSI総合開発センター2階 (会議室A/B)
    (福岡市早良区百道浜3丁目8−33)


■プログラム
[主催者挨拶]
      福田 晃
        九州大学大学院システム情報科学研究院(QUEST会長)


[招待講演1]
     「宇宙機ソフトウェアの高信頼性化の現状と組込み分野への応用」

・講 師  片平 真史 氏 
         宇宙航空研究開発機構(JAXA)情報・計算工学センター

・内 容 
  宇宙分野のソフトウェア、特に人工衛星などの宇宙機に搭載する
 ソフトウェアの高信頼性化のために研究・利用されている技術を
 紹介するとともに、組込みソフトウェアへの応用について解説しました。
  また、高信頼性のための設計技術や検証技術について事例を紹介すると
 ともに現在の技術適用時の注意点などを紹介いたしました。

・プロフィール
  宇宙ステーション、ロケットなどの開発業務を得て、
  高信頼ソフトウェア開発保証及びソフトウェア安全性に関する業務に
  長年従事。
  特に、プロセス改善、ソフトウェア独立検証及び妥当性確認(IV&V)、
  高信頼性RTOS開発に関する業務のチームリーダ。

  1987年     宇宙開発事業団(NASDA)入社
  1999年〜2001年 マサチューセッツ工科大学 航空宇宙工学部 
  Complex Systems Research Lab(Prof. Nancy G. Leveson) 研究員・講師


[招待講演2]
     「組込みソフトのテストについて」

・講 師  森 孝夫 氏
        三栄ハイテックス株式会社

・プロフィール
  元高校の数学教師という経歴を持つ、教育者型の組込みエンジニア。 
  1996年、三栄ハイテックス(株)に入社。システム開発課に所属し、 
  デバイス関連のソフトウェアテストを経験後、ソフトウェア、システム
  開発に従事。一方で社内ソフトウェアの教育の立ち上げを推進、確立。
  現在は、プロセス改・ソフトウェア設計のコンサルティングに従事。

  SESSAME/TOPPERS会員
  情報処理学会正会員

・著 書 「組込みソフトウェア開発のための構造化モデリング」共著。




[講 演1]
     「Windows Embedded OSにおける高信頼化組込ソフトウェア開発」

・講 師  奥薗 啓朗 氏  
         安川情報システム(株) 組込コンポーネント事業本部

・プロフィール
  ハードウエア設計を経験したのち、ソフトウェア設計・開発に従事。
  一貫してハードウェア・ソフトウェアに関するEmbedded業務に携わる。
  現在、Microsoft社のEmbedded OSを中心とした、OS・デバイスドライバ
  のポーティング事業のマーケティング・営業管理に従事。

  1984年 東海大学工学部通信工学科卒業
  1984年 (株)日本デジタル研究所入社
  1988年 安川情報システム(株)入社


[講 演2]
     「形式手法に基づく高信頼化組込みソフトウェア開発」

・講 師  荒木 啓二郎 氏  
         九州大学大学院システム情報科学研究院 教授

・プロフィール
  1978年 九州大学大学院修士課程修了
  1982年 工学博士(九州大学)
  1985年 訪問研究員(アメリカ合衆国イリノイ大学)
  1989年 文部省在外研究員(ドイツ連邦共和国パッサウ大学)
  1993年 奈良先端科学技術大学院大学 情報科学研究科教授
  1996年 九州大学大学院システム情報科学研究科情報工学専攻教授
      (財)九州システム情報技術研究所(ISIT) 第2研究室長
  2000年 九州大学大学院システム情報科学研究院情報工学部門教授
  2004年〜九州大学附属図書館副館長(兼)
      (財)九州システム情報技術研究所(ISIT) 客員研究室長
  現在に至る


[交流会]
            福岡システムLSI総合開発センター 4階 (交流サロン)

■主 催
九州組込みソフトウェア研究会(QUEST)
情報処理学会九州支部
(情報処理学会九州支部の特別事業)
■共 催
(財)九州システム情報技術研究所(ISIT)
■後 援
九州経済産業局
(財)福岡県産業・科学技術振興財団(ふくおかIST)
福岡市経済振興局産業政策部新産業課
(社)組込みシステム技術協会九州支部
電波新聞社

■参加者  159名

ISITホームページへ