立即登錄

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

*為必填項注冊新會員

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

立即登錄

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

*為必填項找回密碼

  • 注冊郵箱:

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

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

安全關鍵軟件集成研制環境ASIDE

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

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
扑克app下载