SCADE是一個高安全性的應用開發環境 。法國愛斯特爾技術公司在開發SCADE軟件時聯合了航空電子、汽車電子、軍用飛機以及核電站控制等領域的合作伙伴，如AIRBUS, Schneider Electric, Dassault Aviation和THALES等 ， 綜合了多個領域對嵌入式軟件開發的不同要求 ， 提出了一整套高安全性嵌入式軟件開發的自動化工具和相應方法學 。
SCADE運用了correct by construction的概念，覆蓋了嵌入式軟件開發中從需求到嵌入式代碼的整個流程：需求建模、模型檢查、模擬仿真、模型覆蓋率分析、形式驗證、嵌入式代碼自動生成、以及文檔自動生成等等 。除此之外，它還與許多其它工具進行了橋接 。
SCADE（Safety-Critical Application Develop-ment Environment）高安全性的應用程序開發環境，是法國Esterel Technologies公司研制的一個用于開發達到歐洲航空業DO一178B標準的嵌入式軟件的完整工具包 。它針對嵌入式軟件的特點 ， 運用了正確構建（Correct by Construction）的概念，提出了一種基于模型的圖形化開發方式 ， 覆蓋了從需求分析到代碼實現的整個嵌入式軟件開發流程 。
SCADE開發環境提供的一系列開發工具 ， 實現了直觀的圖形化需求建模功能 ， 基于模型的仿真驗證和軟件測試功能 ， 以及基于模型的標準C代碼和開發文檔的自動生成功能 。其嚴謹的建模理論和經過高安全性驗證的代碼生成器KCG,保證了軟件需求和代碼產品的高度同步 。
SCADE開發環境的出現，使軟件設計工作可以集中在需求建模的層面，為基于模型的軟件開發方法提供了載體 。
SCADE軟件開發環境的出現，提供了一種基于模型的高安全性嵌入式軟件解決方案 ， 使嵌入式軟件的開發效率大大提高 。同時由于使用了基于模型的設計流程和高度自動化的開發進程 ， 研制工作的重心集中在建模層面，把軟件設計人員從繁復的編碼和驗證工作中解放出來，能夠把大量的精力投入到算法設計和建模工作中，這對于嵌入式軟件開發有著重要的意義 。
隨著嵌入式應用技術的發展，嵌入式系統被廣泛應用于人們生活的各個方面 。大量功能強大而價格便宜的通用嵌入式硬件隨之出現在市場上 。而如何能夠在通用硬件平臺上 ， 高效的開發出滿足安全性與可靠性需要的專用嵌入式軟件成為了制約嵌入式技術應用的瓶頸 。在計算機領域，如何為軟件的工業化大生產創造必要的技術條件和設計模式一直是軟件工程研究的首要問題 。無論是軟件工程領域出現過的計算機輔助軟件工程的熱潮，還是，基于面向對象技術和組件技術的“裝配重用”軟件思路，都有一些根本性的問題沒有得到解決，因此大規模的“裝配”軟件生產還處在一個理想階段 。
為廣大企業、商家、個人，提供平面設計、裝修設計、建筑設計、起名改名、策劃文案、網站建設、營銷推廣等服務 。只要能通過網絡解決的任務，都可以通過來完成 。若您有類似需要 ， 請點擊 立即發布項目
【基于SCADE嵌入式開發 SCADE軟件開發環境介紹】另，上也有著各式各樣的任務，無論您是擁有技能的專業人士，還是只剩時間的技術小白 。都能在上找到您能參與的項目 。點擊查看項目 進入懸賞大廳
