亚洲 日本 欧美 另类_女人张开腿被男人桶爽视频_香蕉网址在线观看_精品少妇无码流白浆视频_国产日韩另类视频一区爱_夜夜38亚洲综合网_亚洲乳大丰满中文字幕_狠狠燥六月婷婷七月丁香_国产91青青成人a在线_日韩无码中文无码

首頁軌道交通基于模型的軟件設計和代碼自動生成工具?軌交

方案概述

基于模型的軟件設計和代碼自動生成工具?軌交解決方案

基于模型的軟件設計和代碼自動生成工具支持對控制系統軟件及顯示系統軟件的建模，支持高安全嵌入式軟件的設計以及代碼生成，主要功能包括：

(1) 控制系統軟件詳細設計；

支持數據流、控制流、狀態機等建模能力，用于滿足高安全軟件設計要求。

(2) 顯示系統軟件詳細設計；

支持通用顯示畫面設計，圖符接口、邏輯與顯示交互接口，用于設計傳統顯示系統架構下的顯示軟件。

(3) 支持控制軟件模型和顯示軟件模型聯合設計及聯合仿真；

(4) 支持從控制系統軟件模型和顯示系統模型生成產品級代碼。

方案特點

01

基于模型的軟件設計和代碼自動生成工具提供基于模型的控制軟件及顯示系統軟件建模，提供圖形化的建模方式。基于形式化同步語言，具備嚴謹的數學基礎，可從根本上保證軟件模型具備精確性、一致性、可驗證性、無二義性，以及模型行為的確定性，非常適合高安全性關鍵領域的嵌入式系統軟件研制開發。

 

基于模型可自動生成產品級C代碼或Ada代碼，并能保證代碼和模型的一致性，生成的代碼具有以下特點：

  • 與硬件平臺無關，可移植性好，兼容 ISO-C 標準；
  • 代碼反映數據流模型架構，可追溯到對應的模型；
  • 代碼可讀性好，生成的 C 代碼符合 MISRA C 的規范；
  • 內存分配完全靜態，沒有動態內存分配；
  • 沒有指針運算，沒有遞歸；
  • 所有變量都被初始化；
  • 所有的循環邊界都是確定的；
  • 所有的數組邊界都是確定的；
  • 最長執行時間都是確定的；

 

且代碼生成器通過了 DO-178C/DO-330 TQL-1、IEC 61508 SIL3、EN 50128 SIL 3/4、ISO 26262 ASIL D 等標準相應安全等級的鑒定，代碼生成器節省了編碼階段諸如代碼審查和代碼的低層驗證的工作，縮短了認證和修改的時間和工作量。

應用案例

案例概況

使用基于模型的軟件設計和代碼自動生成工具進行軌道列控系統的研制，已經完成并通過了 EN50128 SIL4 級認證。幫助提高了開發效率，提高軟件開發質量，幫助規范了符合 EN50128 的研制流程，大量減少認證的工作量。

項目挑戰

當前在航空航天、軌道、汽車電子等領域，隨著飛控、導航、通訊以及顯式等系統所需要承載的任務日益強大，其所包含的子系統的功能以及各個子系統之間的交互關系勢必越來越復雜，從而對系統及其所包含軟硬件的要求也是越來越高，尤其是各個廠家在可獲得同等硬件資源的條件下，軟件通常起著決定性的角色，能夠快速的開發出運行正確、安全可靠以及易于維護的軟件是研制單位產品開發成敗的關鍵。傳統的基于文檔的系統及其軟件開發方法越來越暴露出弊端，諸如需求定義不清晰容易引起二義性、大量手寫代碼容易引入人為錯誤、設計錯誤往往在開發完成集成測試時才能發現，這些都會極大的影響產品的質量，提高產品的開發成本。

用戶價值

通過使用基于模型的軟件設計和代碼自動生成工具提供圖形化的建模方式，基于形式化同步語言，可從根本上保證軟件模型具備精確性、一致性、可驗證性、無二義性，以及模型行為的確定性，在設計階段引入模型仿真能及時的發現需求及設計錯誤，自動生成符合 ISO C 標準的嵌入式源代碼；生成的代碼可以直接嵌入到產品中不需要做任何的修改，極大的減少軟件工程師繁重的編碼工作及人為引入的錯誤，提高研制效率以及軟件的質量，減輕代碼驗證的工作量以及認證成本。