您的位置： 专家智库 > >

梁盟磊

作品数：2 被引量：15H指数：2
供职机构：同济大学电子与信息工程学院计算机科学与技术系更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇中文期刊文章

领域

  • 2篇自动化与计算...

主题

  • 1篇形式化
  • 1篇形式化方法
  • 1篇形式化验证
  • 1篇行为时序逻辑
  • 1篇预编译
  • 1篇预编译器
  • 1篇时序逻辑
  • 1篇统一建模
  • 1篇统一建模语言
  • 1篇建模语言
  • 1篇故障检测
  • 1篇编译器
  • 1篇UML模型

机构

  • 2篇同济大学

作者

  • 2篇薛小平
  • 2篇李刚
  • 2篇王小平
  • 2篇梁盟磊
  • 1篇丁佳

传媒

  • 2篇计算机工程

年份

  • 2篇2011
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
安全编码预编译器的设计与实现被引量：12
2011年
针对轨道交通车载装备的安全性问题,基于安全编码处理器(VCP)的编码思想,设计并实现安全编码预编译器(VCPC)。VCPC能将没有安全性的源代码转换成具有验证能力的安全代码,生成的安全代码可应用于VCP中的单处理器,实现对处理器各种故障的监测和保护。测试结果表明,该安全代码的剩余错误率可以达到1/A。
李刚丁佳梁盟磊薛小平王小平
关键词：预编译器故障检测
基于TLA的UML模型形式化验证被引量：3
2011年
统一建模语言(UML)不能直接对所建立模型的正确性进行形式化验证。为解决上述问题,从UML模型的静态结构和动态行为2个方面分别提出结合行为时序逻辑(TLA)的模型形式化方法,在此基础上提出将UML模型转化为TLA+的形式化描述方法,并用TLC工具形式化检测TLA+描述的正确性。通过实例分析证明了该方法的有效性。
梁盟磊王小平薛小平李刚
关键词：形式化方法形式化验证统一建模语言行为时序逻辑
全选 清除 导出
共1页<1>
聚类工具0