A reliable design method for embedded systems based on choreography descriptions
Project/Area Number |
19500026
|
Research Category |
Grant-in-Aid for Scientific Research (C)
|
Allocation Type | Single-year Grants |
Section | 一般 |
Research Field |
Software
|
Research Institution | Nagoya University |
Principal Investigator |
YUEN Shoji Nagoya University, 大学院・情報科学研究科, 教授 (70230612)
|
Research Collaborator |
LI Guoqiang
IMAI Keigo
|
Project Period (FY) |
2007 – 2009
|
Project Status |
Completed (Fiscal Year 2009)
|
Budget Amount *help |
¥4,030,000 (Direct Cost: ¥3,100,000、Indirect Cost: ¥930,000)
Fiscal Year 2009: ¥1,820,000 (Direct Cost: ¥1,400,000、Indirect Cost: ¥420,000)
Fiscal Year 2008: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2007: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
|
Keywords | プログラム言語 / 並行プログラミング / プロセス代数 / コレオグラフィー / 組込みシステム / セッション型 / GUI応用プログラム / プログラミング言語 / 組み込みシステム / コレオグラフィー記述言語 / 通信プロセス計算 / エンドポイント射影 / ネットワーク家電 / エンドポイント展開 |
Research Abstract |
We investigated a design method based on the notion of 'choreography' which controls a distributed concurrent system without any central control mechanism. We have shown a distributed construction from a global description with priority in the home appliance network and GUI application software. We also investigated a composition of timed automata, called 'Control automaton', with a global transition where we showed that the expressive power remain unchanged if there is an order between states. By this, it is shown that a timed automaton is used to verify the timed behavior with interrupts.
|
Report
(4 results)
Research Products
(36 results)
-
-
-
-
-
-
-
[Presentation] Session Type Inference in Haskell2010
Author(s)
Keigo Imai, Shoji Yuen, Kiyoshi Agusa
Organizer
PLACES'10 : Programming Language Approaches to Concurrency and Communication-cEntric Software
Place of Presentation
Paphos, Cyprus
Year and Date
2010-03-21
Related Report
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-