A reliable design method for embedded systems based on choreography descriptions

一种基于编排描述的嵌入式系统可靠设计方法

• 批准号: 19500026
• 负责人: YUEN Shoji
• 金额: $ 2.58万
• 依托单位: Nagoya University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2007
• 资助国家: 日本
• 起止时间: 2007 至 2009
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-19500026/
• 关键词: プログラム言語; 並行プログラミング; プロセス代数; コレオグラフィー; 組込みシステム; セッション型; GUI応用プログラム; プログラミング言語; 組み込みシステム; コレオグラフィー記述言語; 通信プロセス計算; エンドポイント射影; ネットワーク家電; エンドポイント展開

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.

我们研究了一种基于“编排”概念的设计方法，该方法可以在没有任何中央控制机制的情况下控制分布式并发系统。我们已经展示了一个分布式结构，从一个全球性的描述优先级在家电网络和GUI应用软件。我们还研究了时间自动机的组成，称为“控制自动机”，具有全局过渡，如果状态之间存在顺序，则表达能力保持不变。通过这一点，它表明，一个定时自动机是用来验证与中断的定时行为。

项目成果

Generating Priority Rewrite Systems for Osos Process Langauges

为 Osos 过程语言生成优先级重写系统

• 发表时间: 2009
• 期刊: Information and Computation vol.207,no.2
• 作者: Irek Ulidowski;Shoji Yuen
• 通讯作者: Shoji Yuen

通信プロセスモデルによるAIBO OPEN-Rプログラムのデッドロックフリー解析手法

基于通信过程模型的AIBO OPEN-R程序无死锁分析方法

• 发表时间: 2007
• 期刊: 情報処理学会論文誌 48
• 作者: 末次亮;結縁祥治;阿草清滋
• 通讯作者: 阿草清滋

極性をもたないセッション型システム

基于会话的系统，无极性

• 发表时间: 2010
• 作者: Gurgen;L.;Nystrom-Persson;J.;Cherbal;A.;Labbe;C.;Roncancio;C.;Honiden S.;一林宏憲,塩谷亮太,入江英嗣,五島正裕,坂井修一;今井敬吾,結縁祥治,阿草清滋
• 通讯作者: 今井敬吾,結縁祥治,阿草清滋

Apache Cocoon Flowscriptのモデル検査によるWeb応用プログラムの動作検証

使用 Apache Cocoon Flowscript 模型检查来验证 Web 应用程序的运行

• 发表时间: 2009
• 作者: 馬場敬;結縁祥治;阿草清滋
• 通讯作者: 阿草清滋

動的電圧制御システムにおけるエネルギー効率的なプログラムの導出

动态电压控制系统中节能程序的推导

• 发表时间: 2008
• 作者: 横山哲郎;今井敬吾;曾剛;冨山宏之;高田広章;結縁祥治
• 通讯作者: 結縁祥治