登录/注册
您当前的位置:成果库 > 一种基于TMSVL的C语言实时系统运行形式化分析方法

一种基于TMSVL的C语言实时系统运行形式化分析方法

3282018/09/14
基本信息
  • 成果类型 高等院校
  • 委托机构 西安电子科技大学
  • 成果持有方 西安电子科技大学
  • 行业领域 其他电子信息
  • 项目名称 一种基于TMSVL的C语言实时系统运行形式化分析方法
  • 知识产权 发明专利
  • 项目简介 本发明公开了一种基于TMSVL的C语言实时系统运行形式化分析方法,所述方法使用TMSVL语言来描述C语言实时系统的性质,即描述待验证性质变量在特定时间的值,同时在C语言实时系统源代码中加入断言语句,通过执行加入断言语句后的C语言实时系统来获得待验证性质变量的信息,最终完成对C语言实时系统的运行形式化分析。本发明使得TMSVL验证C语言实时系统的性质更加容易,克服了人工建模工作量大、难度大以及容易出错的问题,同时相比于自动建模,本发明不需要建立复杂的转换器,提高了C语言实时系统形式化分析的效率。
项目咨询
查看更多咨询
交易信息
  • 意向交易额 面议
  • 挂牌时间 2019/09/14
  • 委托机构 西安电子科技大学
  • 联系人姓名 王小刚
  • 联系人电话 15802954800
  • 联系人邮箱 745490733@qq.com
  • 分享至:

地址:中国·西安 太白南路2号 西安电子科技大学 邮编:710071 电话&传真:029-88202821

版权所有:西安电子科技大学工程技术研究院有限公司陕ICP备17012907号