| 嵌入式系统软件体系结构动态建模及应用研究 |
| |
| 引用本文： | 郭荣佐,郭进,王霖.嵌入式系统软件体系结构动态建模及应用研究[J].计算机应用,2009,29(4):1143-1146. |
| |
| 作者姓名： | 郭荣佐 郭进 王霖 |
| |
| 作者单位： | 四川省成都市成都纺织高等专科学校 西南交通大学交通信息工程与控制实验室 成都纺织高等专科学校 |
| |
| 基金项目： | 国家自然科学基金，四川省教育厅自然科学基金 |
| |
| 摘 要： | 应用π演算方法，结合Petri网中的面向对象Petri网和时间Petri网，建立了嵌入式系统软件体系结构抽象模型ESAM，研究了ESAM模型的动态演化、一致性和死锁。应用ESAM抽象模型，对车站信号联锁控制器进行了建模与分析。
|
| 关 键 词： | π演算 Petri网 嵌入式系统 软件体系结构 |
| 收稿时间： | 2008-10-20 |
| 修稿时间： | 2008-11-28 |
Dynamic modeling and application research of embedded system software architecture |
| |
| GUO Rong-zuo,GUO Jin,WANG Lin.Dynamic modeling and application research of embedded system software architecture[J].journal of Computer Applications,2009,29(4):1143-1146. |
| |
| Authors: | GUO Rong-zuo GUO Jin WANG Lin |
| |
| Affiliation: | 1.School of Information Science and Technology;Southwest Jiaotong University;Chengdu Sichuan 610031;China;2.Department of Electronic Information and Electrical Engineering;Chengdu Textile College;Chengdu Sichuan 611731;3.School of Computer Science and Engineering;University of Electric Science and Technology of China;Chengdu Sichuan 610054;China |
| |
| Abstract: | Applyingπ-calculus methods and combing the Object-oriented Petri Nets (OPN) and Time Petri Nets (TPN) of the Petri nets theories, embedded-systems software-architecture abstract model（ESAM）was established. And then, dynamic evolving, uniformity and deadlock of the ESAM model were researched. Last, the developed model was used to model and analyze the signal interlocking controller of railway station. |
| |
| Keywords: | π-calculus Petri net embedded system software architecture |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用》浏览原始摘要信息 |
|
点击此处可从《计算机应用》下载全文 |
