最近更新中文字幕mv,中文字幕无码人妻aaa片,亚洲欧美中文字幕国产,又爽又黄又无遮挡网站 ,永久黄网站色视频免费观看

上海星葩信息科技有限公司

檢測認證人脈交流通訊錄

SCADE Design Verifier（形式驗證）

  • 這真不是您需要的產(chǎn)品？
  • 品　　牌：
  • 主要規(guī)格：
  • 用　　途：
    • 模擬仿真能夠測試系統(tǒng)模型是否實現(xiàn)了我們所期望的功能，但并不能保證系統(tǒng)百分之百滿足安全性要求。以電梯設(shè)計為例，“電梯在運行過程中門必須是關(guān)著的”就是安全性要求之一。由于測試的局限性，我們不可能通過模擬仿真來完全保證這樣的安全性，對于復雜的邏輯控制系統(tǒng)來說尤是如此。形式驗證這一功能彌補了這一局限性。 詳盡的形式驗證，不需要借助測試用例，就可以檢驗SCADE模型是否達到安全性。只需在SCADE中描述安全性要求，并設(shè)置一個“特性觀察器”，用戶按一個鍵就可驗證SCADE模型的安全性。如果模型是安全的，它能給出一個安全的證明；如果模型是不安全的，它能給出一個反例幫助我們進行錯誤定位。形式驗證很大程度上保證了目標系統(tǒng)的安全性。 SCADE同時還內(nèi)置了兩個形式驗證的應(yīng)用功能：除零檢查和溢出檢查，可以幫助用戶快速定位可能的除零隱患和溢出危險。

    • 檢測通手機版

    • 檢測通官方微信

    •  檢測通QQ群