西部产学研在线服务平台
| 关注我们
扫描二维码
口袋专利

专利在线查询

描二维码
西部产学研在线

官方公众号

|关于我们
平台简介 帮助中心
|网站导航
| 咨询热线：029-88202821
您当前的位置：科技成果 > 一种基于TMSVL的C语言实时系统运行形式化分析方法

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

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