当前位置：首页 > 科技成果 > 详细页

[00298903]基于UPPAAL的实时嵌入式系统构件间协同行为的验证方法

交易价格： 面议

所属行业： 分析仪器

类型： 发明专利

技术成熟度： 正在研发

专利所属地：中国

专利号：CN201110423095.4

交易方式： 技术转让技术转让技术入股

联系人：华东师范大学

进入空间

所在地：上海上海市

服务承诺: 产权明晰; 资料保密
对所交付的所有资料进行保密; 如实描述

登录后向技术服务商咨询

发布技术需求服务免费，交易还可领红包哦

技术详细介绍

摘要：本发明公开了一种基于UPPAAL的实时嵌入式系统构件间协同行为的验证方法，该方法是:将对实时嵌入式系统建模形成的MARTE模型转化为工具UPPAAL能够验证的时间自动机，然后使用UPPAAL工具对时间自动机验证，并得出验证结果；根据得出的验证结果可对实时嵌入式系统构件之间交互行为一致性和时间正确性的判断；并对模型采取相应的动作，减少了由模型生成的实时嵌入式系统在运行和操作过程中错误发生的概率。

[00298903]基于UPPAAL的实时嵌入式系统构件间协同行为的验证方法

技术详细介绍

推荐服务：