|
|
<![CDATA[<kbd id="6zrv5"><center id="6zrv5"></center></kbd>]]> | |
| |
|
|
| |
| | |
|
檢測認證人脈交流通訊錄
SCADE Design Verifier（形式驗證）
-
模擬仿真能夠測試系統模型是否實現了我們所期望的功能，但并不能保證系統百分之百滿足安全性要求。以電梯設計為例，“電梯在運行過程中門必須是關著的”就是安全性要求之一。由于測試的局限性，我們不可能通過模擬仿真來完全保證這樣的安全性，對于復雜的邏輯控制系統來說尤是如此。形式驗證這一功能彌補了這一局限性。
詳盡的形式驗證，不需要借助測試用例，就可以檢驗SCADE模型是否達到安全性。只需在SCADE中描述安全性要求，并設置一個“特性觀察器”，用戶按一個鍵就可驗證SCADE模型的安全性。如果模型是安全的，它能給出一個安全的證明；如果模型是不安全的，它能給出一個反例幫助我們進行錯誤定位。形式驗證很大程度上保證了目標系統的安全性。
SCADE同時還內置了兩個形式驗證的應用功能：除零檢查和溢出檢查，可以幫助用戶快速定位可能的除零隱患和溢出危險。
主站蜘蛛池模板：
国产高清自拍99|
精品丰满人妻无套内射|
日韩中文字幕在线视频观看|
国产综合香蕉五月婷在线|
久久大香伊蕉在人线观看热2|
亚洲人精品午夜射精日韩|
欧美激情精品久久久|
在线视频不卡一区二区|
国产精品精品久久久久久|
久久久精品欧美|
www国产亚洲精品|
狠狠色综合欧美激情|
精品无码久久久久久久动漫|
欧美在线视频一区二区|
欧美久久久精品|
久久99久久久久久|
久久精品在线免费视频|
性欧美精品一区二区三区在线播放V|
99精品在线免费视频|
国产成人精品在线|
久久国产午夜精品理论片最新版本|
国产日韩欧美在线观看|
国产日韩欧美91|
91国在线高清视频|
亚洲欧洲日本国产|
国产精品久久77777|
日韩在线观看a|
亚洲午夜高清视频|
日韩在线视频国产|
国产不卡在线观看|
一区二区视频国产|
精品产品国产在线不卡|
国产精品一区二区免费在线观看|
日本国产精品视频|
久久综合色88|
久久久久国产精品免费网站|
日本精品免费视频|
久久亚洲精品网站|
国产精品aaaa|
免费毛片一区二区三区久久久|
久久久成人的性感天堂|
