PEARL语言在实时系统开发模式中的应用研究

• 作者: 张立臣 陈广明 陈生庆
• 来源期刊: 兰州理工大学学报
• 学科: 工学
• 关键词: 实时系统 PEARL语言 形式化方法 开发模式
• 年，卷（期）: 2006,（1）
• 所属期刊栏目: 自动化技术与计算机技术
• 页码范围: 94-97
• 页数: 4页
• 分类号: TP311
• 字数: 3628字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-5196.2006.01.026

摘要

通过对PEARL语言特性的研究和对集成的形式化方法RT-Z语法、语义及结构的分析,提出了一种将二者相结合的实时系统开发模式.该模式充分发挥了实时语言和形式化方法的优点,使系统开发的整个过程无须依赖具体的硬件和应用环境,同时对实时约束灵活的分解降低了系统开发的难度.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈生庆	嘉应学院计算机系	23	55	4.0	7.0
2	陈广明	嘉应学院计算机系	21	59	4.0	7.0
3	张立臣	广东工业大学计算机学院	158	820	14.0	21.0