| 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)
|
|---|
| 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.
|
