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

SCADE Editor & SSM Editor SCADE數據流及狀態機建模模塊 SCADE基本模塊

SCADE基本模塊由SCADEAdvanced Modeler（SCADE高級建模器）以及SCADE KCG（代碼生成器）組成。其中SCADE Advanced Modeler包含以下5個模塊： SCADE Editor SCADE Simulator SCADE SSM Editor SCADE SSM Simulator SCADE Configuration Management Gateway SCADE Editor & SSM Editor（數據流及狀態機建模模塊）該模塊主要有如下兩個功能：  根據需求建立模型該模塊可以根據需求，運用數據流圖和狀態機來建立模型，數據流圖特別適合于連續系統的建模，狀態機則適合于離散系統的建模。這兩套開發機制可以混合使用，適合于不同類型的系統尤其是混合系統的開發。 SCADE提供的這兩套建模機制都建立在嚴格的數學模型基礎之上，具有嚴格的數學語義，它們保證了設計模型的精確性、完整性、一致性和無二義性。SCADE模型就是需求的一種明確、無歧義的表達方式。因此，它可以作為一種良好的介質來實現不同項目組、制造商與供應商之間的需求交流。  檢查模型的合法性建立模型后，該模塊還可以靜態檢查模型的合法性，幫助我們在開發的早期就排除模型中的錯誤。通過這一檢查，主要保證模型的一致性（如數據流的平衡和匹配等）和完整性（所有輸出和操作都已經明確定義等）。

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

錢經理