|
| <![CDATA[<dfn id="n8ud1"><thead id="n8ud1"></thead></dfn>]]>
| | | | |
| |
| | |
| | | |
檢測認證人脈交流通訊錄
SCADE Design Verifier（形式驗證）
-
模擬仿真能夠測試系統模型是否實現了我們所期望的功能，但并不能保證系統百分之百滿足安全性要求。以電梯設計為例，“電梯在運行過程中門必須是關著的”就是安全性要求之一。由于測試的局限性，我們不可能通過模擬仿真來完全保證這樣的安全性，對于復雜的邏輯控制系統來說尤是如此。形式驗證這一功能彌補了這一局限性。
詳盡的形式驗證，不需要借助測試用例，就可以檢驗SCADE模型是否達到安全性。只需在SCADE中描述安全性要求，并設置一個“特性觀察器”，用戶按一個鍵就可驗證SCADE模型的安全性。如果模型是安全的，它能給出一個安全的證明；如果模型是不安全的，它能給出一個反例幫助我們進行錯誤定位。形式驗證很大程度上保證了目標系統的安全性。
SCADE同時還內置了兩個形式驗證的應用功能：除零檢查和溢出檢查，可以幫助用戶快速定位可能的除零隱患和溢出危險。
主站蜘蛛池模板：
两个人的视频www国产精品|
两个人的视频www国产精品|
91精品久久久久久久久久久
|
日韩av一区二区三区在线|
亚洲国产精品影视|
日韩精品无码一区二区三区免费|
日本欧美精品久久久|
97色伦亚洲国产|
国产精品视频自拍|
国产欧美精品aaaaaa片|
国产精品一区电影|
欧美中文字幕视频在线观看|
欧美交换配乱吟粗大25p|
国产精品美女久久|
好吊色欧美一区二区三区视频|
日韩一级在线免费观看|
午夜精品久久久久久久99热|
国产精品自产拍在线观看中文|
亚洲狠狠婷婷综合久久久|
国产精品美女xx|
国产日韩第一页v|
手机看片福利永久国产日韩|
亚洲人精品午夜射精日韩|
久久久国产视频|
少妇av一区二区三区无码
|
午夜精品免费视频|
国产欧美在线观看|
国产精品成久久久久三级|
国产精品视频免费在线|
成人免费网站在线|
久久精品国产电影|
日韩中文不卡|
国内精品久久久久伊人av|
在线一区亚洲V|
午夜免费日韩视频|
国产极品在线视频|
91久久久久久国产精品|
欧美日韩视频在线一区二区观看视频|
激情五月六月婷婷|
中文精品无码中文字幕无码专区|
久久久久国色av免费观看性色|
