您當前的位置：成果庫 > 一種基于TMSVL的C語言實時系統(tǒng)運行形式化分析方法
408
2018/09/14
咨詢成果
發(fā)布成果基本信息
- 成果類型 高等院校
- 委托機構 西安電子科技大學
- 成果持有方 西安電子科技大學
- 行業(yè)領域 其他電子信息
- 項目名稱 一種基于TMSVL的C語言實時系統(tǒng)運行形式化分析方法
- 知識產權 發(fā)明專利
- 項目簡介 本發(fā)明公開了一種基于TMSVL的C語言實時系統(tǒng)運行形式化分析方法，所述方法使用TMSVL語言來描述C語言實時系統(tǒng)的性質，即描述待驗證性質變量在特定時間的值，同時在C語言實時系統(tǒng)源代碼中加入斷言語句，通過執(zhí)行加入斷言語句后的C語言實時系統(tǒng)來獲得待驗證性質變量的信息，最終完成對C語言實時系統(tǒng)的運行形式化分析。本發(fā)明使得TMSVL驗證C語言實時系統(tǒng)的性質更加容易，克服了人工建模工作量大、難度大以及容易出錯的問題，同時相比于自動建模，本發(fā)明不需要建立復雜的轉換器，提高了C語言實時系統(tǒng)形式化分析的效率。
交易信息
- 意向交易額 面議
- 掛牌時間 2019/09/14
- 委托機構 西安電子科技大學
- 聯(lián)系人姓名 王小剛
- 聯(lián)系人電話 15802954800
- 聯(lián)系人郵箱 745490733@qq.com
- 分享至：
