基于模型的系统工程设计软件ModelCoder在航空发动机控制设计中的应用
基于模型的系統工程(MBSE)使用數字模型的方式表達描述工程系統的完整生命周期中的需求和設計等活動,以無歧義、模塊化等優點快速覆蓋了如航空航天、船舶、衛星等相關安全關鍵領域。在系統工程的初期,系統產生的信息都以文檔得形式描述。但是隨著系統規模和復雜程度的不斷提高,基于文檔的系統工程面臨的困難逐漸突出,如信息表示不準確造成的歧義、難以從大量的文檔中查找所需要的信息、無法和其他工程領域的設計相銜接。于是基于模型的系統工程設計軟件ModelCoder應用應運而生,MBSE也將是未來系統工程發展的必然趨勢。
MBSE的優勢
相對基于文檔的系統工程方法,MBSE的優勢主要體現在以下?4個方面:
(1)信息表達唯一性。系統模型具有直觀、準確唯一、結構化的優點,可以準確統一地描述系統的各個方面,對整個系統內部的各個細節形成統一的理解。
(2)一體化設計。系統模型提供了一個覆蓋全生命周期的完整的、信息一致且可追溯的系統設計方案,避免各組成部分間的設計沖突,降低風險。
(3)知識積累和沉淀。成熟型號的知識是以系統模型的形式表示和存儲的,便于捕獲、查詢、理解和重用,而且重用的級別可以大幅度提高。
(4)早期全系統仿真。利用系統建模語言及支持軟件,可以建立動態可執行的系統模型,對系統模型進行全系統仿真、隨時仿真和全周期仿真,及時發現設計的問題并加以修改。
MBSE?過程最終的輸出是一個可重用的系統數據模型。MBSE的落地實施依賴于3個方面:建模語言、建模工具和方法論。
系統建模語言SysML
為了支持?MBSE,INCOSE?和對象管理組織(Object Management Group,OMG)聯合提出一種通用的針對系統工程應用的“標準系統建模語言”SysML(Systems Modeling Language),它可以支持系統工程應用的多領域系統,包含硬件、軟件、信息等系統的需求分析、系統設計、功能描述及系統驗證等。
系統建模、分析、仿真和驗證軟件工具ModelCodoer
在安全關鍵領域,基于模型的軟件工程已逐漸進入了我國的裝備研制過程中。使用SimuLink或者SCADE等嵌入式軟件建模工具進行可視化建模,然后生成高可靠的二進制代碼逐漸成為了安全關鍵領域的主流軟件開發方式。由迪捷軟件自主研發的系統建模、分析、仿真和驗證軟件工具ModelCodoer可以替代國外SimuLink或者SCADE實現基于模型的系統工程的開發。
ModelCoder簡介
基于模型的系統工程設計軟件ModelCoder是一款支持多種嵌入式系統建模并可以自動生成高安全可靠的C代碼的軟件設計和開發工具。ModelCoder支持同步數據流以及狀態機等嵌入式模型,其從模型生成代碼的過程經過了形式化驗證,保證生成過程的正確無誤性,能夠用飛控,航電,核電DCS等多個安全關鍵領域的嵌入式軟件的設計和開發。
ModelCoder的3大功能
Modelcoder的優勢
本文標題:基于模型的系統工程設計軟件ModelCoder在航空發動機控制設計中的應用
文本鏈接:http://www.digiproto.com
總結
以上是生活随笔為你收集整理的基于模型的系统工程设计软件ModelCoder在航空发动机控制设计中的应用的全部內容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: web html介绍笔记,WEB 之 H
- 下一篇: python实现knn算法鸢尾花_Pyt