Scade One是繼Scade Suite version 6自2008年起發展近20年后的首次主要改進版本。在Scade One發布的同時,Scade團隊發布了一系列介紹Scade One的博客。本篇
Scade One - Democratizing model-based development
是其中的一部分。在后面的內容中,將復述博客中的要點。更多內容,可參考Scade One - Democratizing model-based development
SCADE One 入門級解決方案
隨著2024 R1版本首次發布SCADE One產品,其中包含了"SCADE One Essential"入門級解決方案。這款簡化版產品專為開發可靠嵌入式軟件的小型團隊定制。
SCADE One Essential能做什么?
這是一款從設計到代碼生成全流程覆蓋的非認證嵌入式軟件開發一體化解決方案,包含:
? 建模能力:完整支持Swan語言,首篇博客所述所有建模功能(包括實時檢查、自動布局等)均可使用
? 模型調試功能:支持逐步執行模型
? 代碼生成能力:可生成安全、可移植且高效的C代碼,輕松集成至任意嵌入式平臺
SCADE One Essential的限制?
? 快速原型工具(用于創建仿真調試圖形面板)僅包含在SCADE One Studio中
? 完整代碼生成及模型-代碼追溯功能需使用SCADE One Code Gen版本
? 未來版本中,高級建模與生產力功能將僅集成至SCADE One Studio
? Essential版代碼生成器不會進行認證
? 不支持軟件安全認證相關功能(測試執行、覆蓋率分析、需求追溯等)
注:Essential版與Studio版采用相同語言和項目/模型格式。
SCADE One Essential 適合的用戶群體
SCADE One Essential適合開發關鍵任務嵌入式軟件(無認證需求)的系統/軟件工程師小型團隊。
學生可免費下載學生版軟件,SCADE One學生版將于2025 R1版本推出。
為何將SCADE用于非認證項目?
作為航空國防、汽車、軌道交通、能源及工業領域安全關鍵應用的標桿,SCADE能通過簡化和自動化安全標準要求流程來保障認證:
? 汲取安全關鍵領域最佳實踐:25年安全可靠軟件構建經驗沉淀,連電傳飛控系統/核電站都信賴的工具
? 基于模型設計及早發現缺陷:大部分開發在主機端模型層面完成,既能精細調校行為又可早期發現錯誤,且確保生成代碼在目標平臺表現一致
? 降低對編程技能的依賴:系統/控制工程師無需編程即可通過可視化方式構建復雜行為,打破系統與軟件團隊的協作壁壘
? 專為控制任務設計的領域特定語言:基于Swan語言建模,該語言專為安全可靠嵌入式軟件設計,天然融合數據流與狀態機范式,比C/C++等通用語言更易描述和驗證實時響應行為。Swan模型生成的C代碼無外部依賴、高度可移植;同時模型也能直接調用現有C代碼庫。這種混合開發模式既保留傳統代碼資產價值,又能利用模型化開發優勢。