• <th id="mdm3y"><pre id="mdm3y"></pre></th>
    <rp id="mdm3y"></rp>

    立即登錄

    如果您已經擁有本站賬號,可以直接登錄。

    *為必填項注冊新會員

    • 登錄名: *  
    • 登錄密碼: *
    • 重復密碼: *  
    • 姓名: *  
    • 公司名稱: *  
    • 職務:
    • 聯系電話: *  
    • 電子郵件: *  
    • 驗證碼: *  

    立即登錄

    如果您已經擁有本站賬號,可以直接登錄。

    *為必填項找回密碼

    • 注冊郵箱:

      驗證碼會以郵件的方式發送到您的郵箱!

    • 驗證碼: *
    • 請輸入新密碼: *

    安全關鍵系統集成研制環境ASIDE

    提供軟件全生命周期研制、管理和審定的綜合支持

    SCADE

    您的位置: 首頁 > 產品中心 > SCADE高 > SCADE

    SCADE高安全性應用開發環境



    法國愛斯特爾技術有限公司是一家專注于為關鍵系統、軟件研制人員提供認證級解決方案的公司,協助用戶提升軟件質量、提高開發效率、縮短軟件研制周期并降低軟件研制成本。


    愛斯特爾正式成立于1999年11月,總部設在法國的Elancourt,在中國、美國、德國、英國、俄羅斯、巴西、印度、韓國設有分公司或代表處。公司在全球擁有超過300家大型客戶,其解決方案已經在全球100多所知名高校進行教學,是為關鍵嵌入式系統提供基于模型設計和驗證工具的世界級知名廠商。


    SCADE產品體系


    SCADE是法國愛斯特爾技術有限公司的主要產品系列。SCADE是高安全性應用開發環境(Safety Critical Application Development Environment)的簡稱,產品涵蓋了高安全性嵌入式系統開發的各個內容和階段。其主要產品有:


    1.  SCADE Suite:業內領先的面向高安全性的集成軟件開發環境,通過采用scade語言和統一的形式化語義,可實現基于模型的設計、仿真、驗證、認證級代碼生成以及與其他開發工具和平臺的交互。SCADE Suite代碼生成器可以自動生成C代碼和 Ada代碼。

    SCADE Suite基本模塊由SCADE Suite Advanced Modeler(SCADE高級建模器)、SCADE Suite KCG(代碼生成器),以及SCADE Suite Documentation Generator(模型設計文檔生成器)組成。


    2.  SCADE Display:是一套靈活的面向高安全性圖形顯示和HMIs的設計與開發環境。是新一代圖形軟件開發平臺,基于該平臺可完成原型生成、設計仿真、驗證和認證級代碼生成等工作。


    3.  SCADE LifeCycle:擴展了SCADE產品對面向高安全性系統和軟件的完整生命周期的管理功能。主要功能包括需求和可追溯性管理工具、符合DO-178B標準的認證計劃模板以及自動化文檔生成器。


    4.  SCADE System:基于SysML和Eclipse 標準,通過使用SCADE System來聯接 SCADE Suite、SCADE Display和SCADE LifeCycle,系統工程師和軟件工程師可以在同一構架下工作,從而避免重復勞動以及系統結構和軟件行為定義之間的偏差。


    5.  SCADE ARINC 661解決方案:SCADE為航空電子設備顯示系統研制單位提供了一套符合ARINC 661標準的完整解決方案。該方案基于現有的SCADE產品模塊,提供基于“所見即所得”的UA頁面定制、Server端widget定制以及通信代碼的生成,確保運行時和定制時看到的外觀一致。同時,開發人員可以在SCADE Suite中對UA端邏輯與Server端Widgets屬性或事件進行綁定和映射,實現對UA端控制邏輯與Server端圖形頁面(DF文件)的聯合仿真。



    SCADE的功能特點


    SCADE是一種高安全性嵌入式軟件的開發環境,它具有的以下特點,能夠有效地解決目前傳統軟件開發中存在的問題:

    采用形式化的設計方法,以嚴格的數學理論保證設計的完整性和無二義性;

    使用圖形化建模方式,易學易用,采用“基于模型”開發方式替代傳統的“基于代碼”的開發方式,減少了開發人員的工作量;

    自動生成高質量、無需單元測試的產品級C/Ada代碼,代碼與模型嚴格一致;

    提供高效和可靠的仿真和測試手段,可對各個開發流程進行定量的驗證。


    法國愛斯特爾技術有限公司提供的SCADE解決方案,依靠其準確的軟件需求描述、模型仿真、形式化驗證以及高質量的自動代碼生成技術等手段對安全嵌入式軟件開發進行了標準化和自動化處理,能夠生成70%以上的產品代碼;省略大規模的單元測試;減少一半以上的驗證工作;節約50%以上的開發成本;成倍地加快開發進度;可靠地保證產品的安全性;并幫助我們達到DO-178B標準的要求。


    上海愛韋訊信息技術股份有限公司 版權所有 滬ICP備13019901號-1 COPYRIGHT ? 2017SHAVIATION 郵政編碼:201203
    日本线在免费线播放,日本亚洲欧美在线视观看|日本一区二区 亚洲人成影院在线播放 亚洲国产精品无码久久一线 亚洲无线观看国产 天天添夭天啪天天谢 亚洲中文欧美日韩在线不卡 亚洲va在线va天堂va电影 高清无码一区二区在线观看 三级特黄60分钟在线播放 丁香五月开心婷婷综合 日本在线不卡v二区三区 特黄特黄的欧美大片 天天干夜夜操 天天综合网网欲色 精品国产品在线2019 欧美a级v片 九九热这里只有精品视频 无码中文字幕av免费放 中国大陆国产高清aⅴ毛片 激情综合色综合啪啪五月 岛国av动作片免费观看 无码视频无需播放器a 日本成本人片视频免费 三级片网 亚洲综合欧美在线一区 超碰人妻97东京热 国产人成视频在线视频 久草视频新免费 黄页大全视频 精品人妻av区 无毒不卡亚洲 欧美 日韩 综合aⅴ 欧美日本日韩AⅤ在线视频 黄页网址大全免费观看 中文字幕精品亚洲人成在线 亚洲国产欧美国产综合一区 在线香蕉精品视频 岛国av动作片免费观看 三级片在线播放 不卡无在线一区二区三区视频 欧美午夜片在线观看 亚洲愉拍自拍视频一区 久99久视频免费观看视频 青青青国产在线观看手机免费 免费人成视频x8x8 亚洲av片在线观看 精品国产免费第一区二区三区 波多野结衣无码 av色图 2020国产亚洲在线播放 美国a级毛片 学生巨乳人妻视频 你懂的电影网