コレオグラフィ記述に基づく組込みシステムの高信頼性設計技法

2009 年度 研究成果報告書

• 研究課題/領域番号: 19500026
• 研究種目: 基盤研究(C)
• 配分区分: 補助金
• 応募区分: 一般
• 研究分野: ソフトウエア
• 研究機関: 名古屋大学
• 研究代表者: 結縁 祥治 名古屋大学, 大学院・情報科学研究科, 教授 (70230612)
• 研究協力者: 李 国強 ; 今井 敬吾
• 研究期間 (年度): 2007 – 2009
• キーワード: プログラム言語 / 並行プログラミング

研究概要

集中的な制御を仮定しない分散並行実行の概念としてのコレオグラフィーに基づいたシステム記述とその設計技法を示した。具体的には、家電ネットワークの優先度を導入した記述およびユーザインタフェースの設計技法を提案し、さらに、時間オートマトンを組み合わせた動作モデルを提案し、状態の順序にループのない場合には分散記述と大域記述が同じ能力を持つことを示した。このことは割込みの動作検証が基本的に時間オートマトンで可能なことを示す。

研究成果

• [雑誌論文] 動的電圧制御システムにおける評価戦略選択に基づく高効率消費エネルギー関数型プログラミング (2009)
  • 著者名/発表者名: 横山哲郎, 今井敬吾, 曾剛, 冨山宏之, 高田広章, 結縁祥治
  • 雑誌名: 情報処理学会論文誌 vol.2,no.2 ページ: 54-69
  • 査読あり
• [雑誌論文] Generating Priority Rewrite Systems for Osos Process Langauges (2009)
  • 著者名/発表者名: Irek Ulidowski, Shoji Yuen
  • 雑誌名: Information and Computation vol.207,no.2 ページ: 120-145
  • 査読あり
• [雑誌論文] 通信プロセス計算とその時間拡張 (2008)
  • 著者名/発表者名: 結縁祥治
  • 雑誌名: システム制御情報学会誌 vol.52,no.9 ページ: 322-327
  • 査読あり
• [雑誌論文] 通信プロセスモデルによるAIBO OPEN-Rプログラムのデッドロックフリー解析手法 (2007)
  • 著者名/発表者名: 末次亮, 結縁祥治, 阿草清滋
  • 雑誌名: 情報処理学会論文誌 vol.48,no.9 ページ: 2915-2924
  • 査読あり
• [学会発表] Session Type Inference in Haskell (2010)
  • 著者名/発表者名: Keigo Imai, Shoji Yuen, Kiyoshi Agusa
  • 学会等名: In PLACES '10: Programming Language Approaches to Concurrency and Communication-cEntric Software
  • 発表場所: Paphos(キプロス)
  • 年月日: 20100300
• [学会発表] コレオグラフィに基づく高信頼通信指向GUIプログラミング (2010)
  • 著者名/発表者名: 下村翔, 結縁祥治
  • 学会等名: 電子情報通信学会技術研究報告
  • 発表場所: 鹿児島大学(鹿児島)
  • 年月日: 20100300
• [学会発表] 計算資源へのアクセス能力に基づく競合検査とデッドロック検査のための型解析 (2010)
  • 著者名/発表者名: 坂野吉隆, 結縁祥治
  • 学会等名: 電子情報通信学会技術研究報告
  • 発表場所: 鹿児島大学(鹿児島)
  • 年月日: 20100300
• [学会発表] 極性を持たないセッション型システム (2010)
  • 著者名/発表者名: 今井敬吾、結縁祥治、阿草清滋
  • 学会等名: 第12回プログラミングおよびプログラミング言語ワークショップ
  • 発表場所: 高松(香川)
  • 年月日: 20100000
• [学会発表] 実行履歴にもとづくマルチコア実時間応用プログラムのデバッグモデル (2009)
  • 著者名/発表者名: 水野洋樹, 結縁祥治
  • 学会等名: 電子情報通信学会技術研究報告
  • 発表場所: 香川大学(高松)
  • 年月日: 20091200
• [学会発表] Environmental Simulation of Real-Time Systems with Nested Interrupts (2009)
  • 著者名/発表者名: Guoqiang Li, Shoji Yuen, Masakazu Adachi
  • 学会等名: In Theoretical Aspects of Software Engineering (TASE2009)
  • 発表場所: 天津(中国)
  • 年月日: 20090700
• [学会発表] Maudeによる否定を含んだ構造操作意味定義インタプリタと等価性検証器の構築 (2009)
  • 著者名/発表者名: 伴潤, 今井敬吾, 結縁祥治
  • 学会等名: 電子情報通信学会技術研究報告
  • 発表場所: 秋田大学
  • 年月日: 20090500
• [学会発表] Apache Cocoon Flowscriptのモデル検査によるWeb応用プログラムの動作検証 (2009)
  • 著者名/発表者名: 馬場敬, 結縁祥治, 阿草清滋
  • 学会等名: 電子情報通信学会技術研究報告
  • 発表場所: 電子情報通信学会ソフトウェアサイエンス研究会, 佐賀大学
  • 年月日: 20090302-20090303
• [学会発表] A Full Implementation of Session Types (2009)
  • 著者名/発表者名: Keigo Imai, Shoji Yuen, Kiyoshi Agusa
  • 学会等名: In第11回プログラミングおよびプログラミング言語ワークショップ(PPL2009)
  • 発表場所: 高山(岐阜)
  • 年月日: 20090300
• [学会発表] Environmental Simulation of Real-Time Systems with Nested Interrupts by Maude (2009)
  • 著者名/発表者名: Li Guoqiang, 結縁祥治, 足立正和
  • 学会等名: 第11回プログラミングおよびプログラミング言語ワークショップ(PPL2009)
  • 発表場所: 高山(岐阜)
  • 年月日: 20090300
• [学会発表] 充足可能性判定に基づくリアルタイムシステムのスケジューリング解析 (2008)
  • 著者名/発表者名: 足立正和, 末次亮, 結縁祥治, 手嶋茂晴, 佐野範佳
  • 学会等名: 組込みシステムシンポジウム2008
  • 発表場所: 東京
  • 年月日: 20080900
• [学会発表] 分散環境における家電機器の連携動作の記述手法 (2007)
  • 著者名/発表者名: バンダリさくら, 結縁祥治, 阿草清滋
  • 学会等名: 第5回ディペンダブルシステムワークショップDSW200
  • 発表場所: 函館
  • 年月日: 20070700
• [学会発表] セッション型に基づく高信頼性ネットワークプログラムのHaskell言語による実装 (2007)
  • 著者名/発表者名: 今井敬吾、結縁祥治、阿草清滋
  • 学会等名: 第5回ディペンダブルシステムワークショップDSW2007
  • 発表場所: 函館
  • 年月日: 20070700
• [学会発表] Communication Centered Programming of Integrated Services with Priority in Home Appliance Networ (2007)
  • 著者名/発表者名: バンダリさくら, 結縁祥治, 阿草清滋
  • 学会等名: Apsec 2007, Workshop on Service Oriented Architectur
  • 発表場所: 名古屋
  • 年月日: 20070000
• [学会発表] A Synchronization Flow Analysis of Concurrent Objects in Aibo Open-R Programs Based on Communicating Processes (2007)
  • 著者名/発表者名: Ryo Suetsugu, Shoji Yuen, Kiyoshi Agusa
  • 学会等名: In 14th Asia-Pacific Software Engineering Conference
  • 発表場所: 名古屋
  • 年月日: 20070000