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

作     者：李乃斌 

作者机构：中国重型汽车公司技术发展中心山东济南250002 

出 版 物：《航空计算技术》 (Aeronautical Computing Technique)

年 卷 期：2004年第34卷第4期

页      码：70-72页

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

主 题 词：UPPAAL 时间状态机 模拟 模型检查 校验 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1671-654X.2004.04.021

馆 藏 号：203669566...