文献检索-宁波市创意产业特色资源库

限定检索结果

实时系统规范语言STeC的Maude重写系统: 收藏
分享
引用; 《计算机工程》2013年第10期39卷 57-62,67页; 作者：栾天骄陈仪香王江涛华东师范大学软硬件协同设计技术与应用教育部工程研究中心上海200062; 信息物理融合系统的网络化、系统化和信息化等特性使得软件系统的复杂程度不断增加。为此,引入实时系统的规范语言STeC,用于刻画具有时空一致性要求的实时系统。对于STeC语言的自动逻辑推理问题,通过拓展Maude中的关系等式和重写规则,将...; 信息物理融合系统的网络化、系统化和信息化等特性使得软件系统的复杂程度不断增加。为此,引入实时系统的规范语言STeC,用于刻画具有时空一致性要求的实时系统。对于STeC语言的自动逻辑推理问题,通过拓展Maude中的关系等式和重写规则,将STeC语言转化为可执行的基于Maude的形式化描述,使用Maude自动推导功能,自动推导出系统的时间正确性。实例结果表明,该形式化描述语言Maude可有效对实时系统进行安全性验证。; 来源：详细信息评论

限定检索结果