嵌入式系统软件体系结构动态建模及应用研究

• 作者: 王霖 郭荣佐 郭进
• 来源期刊: 计算机应用
• 学科: 工学
• 关键词: π演算 Petri网 嵌入式系统 软件体系结构
• 年，卷（期）: 2009,（4）
• 所属期刊栏目: 软件过程技术
• 页码范围: 1143-1146,1158
• 页数: 5页
• 分类号: TP311.52
• 字数: 6056字
• 语种: 中文

摘要

应用π演算方法,结合Petri网中的面向对象Petri网和时间Petri网,建立了嵌入式系统软件体系结构抽象模型ESAM,研究了ESAM模型的动态演化、一致性和死锁.应用ESAM抽象模型,对车站信号联锁控制器进行了建模与分析.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郭进	西南交通大学信息科学与技术学院	122	918	16.0	23.0
2	王霖	成都纺织高等专科学校电子信息与电气工程系	18	63	5.0	7.0
4	郭荣佐	西南交通大学信息科学与技术学院	8	36	4.0	5.0