基于UPPAAL软件的实时系统设计研究

• 作者: 李乃斌
• 来源期刊: 航空计算技术
• 关键词: UPPAAL 时间状态机 模拟 模型检查 校验
• 年，卷（期）: 2004,（4）
• 所属期刊栏目: 计算机应用
• 页码范围: 70-72
• 页数: 3页
• 分类号: TP317
• 语种: 中文
• DOI: 10.3969/j.issn.1671-654X.2004.04.021

摘要

UPPAAL是丹麦Aalborg和瑞士Uppsala大学联合开发,具有世界先进水平的实时系统模拟,校核的软件,基于对实时系统严密逻辑,真实时间的抽象,而构建时间状态机动态模型网络,模拟,校核系统,检测潜在失败.保证设计可靠性,雷达传感器内存接口实时系统是航天雷达系统重要组成部分.本文UPPAAL软件对此系统精确的动态数学模型,模拟,校核系统,覆盖各设计阶段,保证实时系统设计可靠性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李乃斌	中国重型汽车公司技术发展中心	1	4	1.0	1.0