先進的計算基盤システムシンポジウム:SACSIS 2007:チュートリアル・企業展示資料

[情報処理学会]/[2007]

当館請求記号:M151-H489


目次


目次

  • 基調講演
    • ディペンダブルシステムソフトウェアにおける挑戦
      石川裕(東京大学)
      2
    • メディア処理における超低消費電力化技術
      後藤敏(早稲田大学)
      3
  • セッション1:
    教育
    • [実践論文]情報系学部教育におけるアセンブリ言語を用いた組込みシステム開発実験の試み
      酒居敬一(高知工科大学)
      荻原剛志(大阪大学)
      6
    • [実践論文]ロボットコンテストを利用した組込み教育の実践
      小倉信彦(武蔵工業大学)
      渡辺晴美(東海大学)
      15
  • セッション2:
    リアルタイム
    • [実践論文]組み込みソフトウエアにおける並行実行プログラムの低侵襲リアルタイム関数遷移観測手法
      高野光司(日本IBM)
      大庭信之(日本IBM)
      甲田泰照(日本IBM)
      張綱(日本IBM)
      24
    • [研究論文]OSEKアプリケーション統合のための柔軟なスケジューリングフレームワーク
      松原豊(名古屋大学)
      本田晋也(名古屋大学)
      冨山宏之(名古屋大学)
      高田広章(名古屋大学)
      33
  • セッション3:
    車載システム
    • [実践論文]周期タスク型モデル検査法と車載組込みシステムへの適用事例
      河本孝久(矢崎計器)
      小池憲史(矢崎総業)
      古橋隆宏(矢崎総業)
      鈴木伸一(デイシス)
      44
    • [実践論文]組込みシステムのプロダクトラインにおけるMDA
      加藤滋郎(デンソー)
      後藤祥文(デンソー)
      54
    • [研究論文]障害復旧型車載分散システムアーキテクチャの提案と評価
      鈴木有也(豊田中央研究所)
      手嶋茂晴(豊田中央研究所)
      64
  • セッション4:
    電力最適化と演算器設計
    • [研究論文]A Generalized Framework for Energy and Performance Tradeoff
      Gang Zeng (Nagoya Univ.)
      Hiroyuki Tomiyama (Nagoya Univ.)
      Hiroaki Takada (Nagoya Univ.)
      74
    • [研究論文]リーク電力を考慮したスクラッチパッドメモリの有効性の評価
      高瀬英希(名古屋大学)
      曾剛(名古屋大学)
      冨山宏之(名古屋大学)
      高田広章(名古屋大学)
      82
    • [研究論文]楕円曲線暗号用SIMD型MSD乗算器の設計
      奈良竜太(早稲田大学)
      清水一範(早稲田大学)
      小原俊逸(早稲田大学)
      戸川望(早稲田大学)
      柳澤政生(早稲田大学)
      大附辰夫(早稲田大学)
      90
  • セッション5:
    開発支援I
    • [研究論文]マルチタスクソフトウェアにおけるタスク間状態不一致問題の検出と解析
      青木利晃(北陸先端科学技術大学院大学)
      関口正(情報処理推進機構)
      平山雅之(情報処理推進機構)
      岸知二(北陸先端科学技術大学院大学)
      102
    • [研究論文]UMLによる組込みソフトウェア設計のレビュー支援ツールの開発
      鈴木健司(茨城大学)
      上田賀一(茨城大学)
      111
    • [実践論文]宇宙機ソフトウェアに対するIV&Vとその適用事例
      加藤淳(宇宙航空研究開発機構)
      神武直彦(宇宙航空研究開発機構)
      片平真史(宇宙航空研究開発機構)
      120
  • セッション6:
    プロセッサ設計I
    • [研究論文]VLIWプロセッサ自動生成のための設計品質を考慮したリソース割当て決定アルゴリズム
      小林悠記(大阪大学)
      坂主圭史(大阪大学)
      武内良典(大阪大学)
      今井正治(大阪大学)
      132
    • [研究論文]応用指向動的再構成なネットワークプロセッサ設計手法
      大田元則(早稲田大学)
      小原俊逸(早稲田大学)
      戸川望(早稲田大学)
      柳澤政生(早稲田大学)
      大附辰夫(早稲田大学)
      141
    • [実践論文]Embedded Software Development Flow and Verification for a Heterogeneous MPSoC Based on Tightly Coupled Thread Model
      Arif Ullah Khan (Tokyo Inst. of Tech.)
      Mohammad Zalfany Urifianto (Tokyo Inst. of Tech.)
      Tsuyoshi Isshiki (Tokyo Inst. of Tech.)
      Dongju Li (Tokyo Inst. of Tech.)
      Hiroaki Kunieda (Tokyo Inst. of Tech.)
      151
  • ショートセッション1:
    セキュリティ
    • [研究論文]IXP425におけるXScale利用時の暗号モジュールへの影響
      黒羽秀一(明治大学)
      齋藤孝道(明治大学)
      160
    • [実践論文]組込み機器用Kerberos Version 5の設計と実装
      宮澤和紀(横河電機株式会社)
      鎌田健一(横河電機株式会社)
      坂根昌一(横河電機株式会社)
      岡部宣夫(横河電機株式会社)
      168
  • ショートセッション2:
    開発支援II
    • [研究論文]モデル検査を利用したマルチコアでのタスク設計と検証の提案
      林純也(イーソル)
      藤倉俊幸(イーソル)
      178
    • [研究論文]組み込みシステムに対するOn-Board診断チップについて
      平塚聡(立命館大学)
      房岡璋(立命館大学)
      185
    • [研究論文]UMLメタモデル仕様とOCL制約に基づくUMLモデル検証環境の生成
      浜口優(大阪大学)
      長井栄吾(大阪大学)
      松下誠(大阪大学)
      岡野浩三(大阪大学)
      楠本真二(大阪大学)
      井上克郎(大阪大学)
      我妻智之(NTTデータ)
      梅村晃広(NTTデータ)
      193
  • ショートセッション3:
    発想支援・サービス
    • [研究論文]ふるまい検知に基づく状況を反映した先行的サービス提供
      山原裕之(立命館大学)
      原田史子(立命館大学)
      島田幸廣(ゴビ)
      高田秀志(立命館大学)
      島川博光(立命館大学)
      202
    • [研究論文]品質機能展開(QFD)による組込みソフトウェア開発法
      安部田章(九州日立マクセル株式会社)
      210
    • [実践論文]設計思考過程を支援するCAPIS Webに関する一考察
      飛内拓弥(日本大学)
      八木沼修(日本大学)
      大山勝徳(日本大学)
      薗田孝造(マイクロテクノ)
      武内惇(日本大学)
      藤本洋(日本大学)
      218
  • ショートセッション4:
    プロセッサ設計II
    • [実践論文]組込みマルチコアプロセッサ向けSMP Linuxの移植開発
      出原章雄(三菱電機)
      田原康宏(ルネサステクノロジ)
      山本整(三菱電機)
      落合真一(三菱電機)
      226
    • [研究論文]SIMDプロセッサコアの面積/遅延見積もり手法
      山崎大輔(早稲田大学)
      小原俊逸(早稲田大学)
      戸川望(早稲田大学)
      柳澤政生(早稲田大学)
      大附辰夫(早稲田大学)
      233
    • [研究論文]情報家電用マルチコアSMP実行モードにおける制約付きCプログラムのマルチグレイン並列化
      間瀬正啓(早稲田大学)
      馬場大介(早稲田大学)
      長山晴美(早稲田大学)
      田野裕秋(早稲田大学)
      益浦健(早稲田大学)
      宮本孝道(早稲田大学)
      白子準(早稲田大学)
      中野啓史(早稲田大学)
      木村啓二(早稲田大学)
      笠原博徳(早稲田大学)
      218
  • 特別講演
    • 組込みソフトウェア産業の現状と政府の取り組み
      田丸喜一郎(IPA/SEC)
      250
  • パネルディスカッション
    • 組込み技術者教育,産官学の連携は可能か?—産の本音,官の思惑,学の本気—
      • パネルモデレータ:横田英史(日経BP社,IPA/SEC)
      • パネリスト:近藤満(ビースラッシュ),安田篤(経済産業省),大原茂之(東海大学)
        252
  • チュートリアル
    • リアルタイムシステムの仕様記述と検証
      山根智(金沢大学)
      256
    • ヒューマノイドロボットの認識行動ソフトウェア
      岡田慧(東京大学)
      257
    • マルチコア向けリアルタイムOSとコデザイン
      本田晋也(名古屋大学)
      259
    • モデル駆動型システムズエンジニアリングの課題と実践
      北山文彦(日本IBM)
      260
  • 特別セッション:産業界におけるモデル検査法の適用
    • 開発現場から見たモデル検査導入の課題と対策
      篠崎孝一(関西電力)
      早水公二(メルコ・パワー・システムズ)
      262
    • はじめようモデル検査Early Birdで行こう
      服部彰宏(富士ゼロックス)
      村石理恵(富士ゼロックス)
      263
    • C言語ソースコード検証へのモデル検査法の適用
      池田健次郎(NEC)
      橋本祐介(NEC)
      264
  • ワークショップ
    • MDDロボットチャレンジ2007モデル講評〜審査員他によるワークショップ〜
      鷲崎弘宜(国立情報学研究所)
      太田寛(マイクロソフト)
      久保秋真(アフレル)
      佐藤啓太(デンソー)
      鈴木茂(オージス総研)
      中村宏明(日本IBM)
      二上貴夫(東陽テクニカ)
      266
  • ポスター展示
    • ポスター展示一覧
      270