2009 Fiscal Year Final Research Report
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
|
| Keywords | プログラム言語 / 並行プログラミング |
|---|
| 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.
|
-
-
-
-
-
[Presentation] Session Type Inference in Haskell2010
Author(s)
Keigo Imai, Shoji Yuen, Kiyoshi Agusa
Organizer
In PLACES '10: Programming Language Approaches to Concurrency and Communication-cEntric Software
Place of Presentation
Paphos(キプロス)
Year and Date
20100300
-
-
-
-
-
-
-
-
-
-
-
-
-
-
