| 基于UPPAAL软件的实时系统设计研究 |
| |
| 引用本文： | 李乃斌.基于UPPAAL软件的实时系统设计研究[J].航空计算技术,2004,34(4):70-72. |
| |
| 作者姓名： | 李乃斌 |
| |
| 作者单位： | 中国重型汽车公司,技术发展中心,山东,济南,250002 |
| |
| 摘 要： | UPPAAL是丹麦Aalborg和瑞士Uppsala大学联合开发,具有世界先进水平的实时系统模拟,校核的软件,基于对实时系统严密逻辑,真实时间的抽象,而构建时间状态机动态模型网络,模拟,校核系统,检测潜在失败,保证设计可靠性,雷达传感器内存接口实时系统是航天雷达系统重要组成部分。本文UPPAAL软件对此系统精确的动态数学模型,模拟,校核系统,覆盖各设计阶段,保证实时系统设计可靠性。
|
| 关 键 词： | UPPAAL 时间状态机 模拟 模型检查 校验 |
| 文章编号： | 1671-654X(2004)04-0070-03 |
| 修稿时间： | 2004年8月20日 |
Using UPPAAL Tool Modeling and Verifying a Real Time System |
| |
| LI Nai-bin.Using UPPAAL Tool Modeling and Verifying a Real Time System[J].Aeronautical Computer Technique,2004,34(4):70-72. |
| |
| Authors: | LI Nai-bin |
| |
| Abstract: | UPPAAL is integrated tool software of modeling , simulation, verification for the real time system , that developed jointly by Aalborg university in Denmark and Uppsala university in Sweden have the advanced level in the world . that is constructed dynamic model as the network of timed automata with rigorous logic and real timed abstraction of real time system and simulates , verifies the system. That detects potential faults in the system, and guarantee the reliability of the design. the real time system of memory interface in the radar sensor is modeled and verified to check potential faults in the system by UPPAAL software, that covers each phase of the design. And guarantees the reliability of the design of the real time system. |
| |
| Keywords: | UPPAAL timed automata simulation model check verification |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
