基于ANSYS的關鍵軟件研發(fā)工程平臺

1、基于ANSYS 18.0的關鍵軟件研發(fā)工程平臺議題ANSYS SCADE基于模型的關鍵軟件研制綜述ANSYS SCADE 18.0關鍵軟件研發(fā)的新起點基于模型的架構設計和需求驗證新功能為設計加速基于模型的閉環(huán)仿真和測試總結ANSYS SCADE 基于模型的關鍵軟件研制綜述技術解決方案System DevelopmentFunctional AnalysisSafety AnalysisArchitectureProduction IntegrationMulti-Domain SimulationCyber-physical System DevelopmentSystem Prototype

2、Simulation & Optimize Complex SystemSoftwareDevelopmentDesignTestingCode GenerationLifecycle ManagementROMSystem Architecture & System Safety ValidationRequirement AnalysisMode-based DesignHLRArch & LLRMode-based Integration & TestSoftware ValidationCodesQualified KCG Auto-generationCodingANSYS SCAD

3、E 基于模型的關鍵軟件研制綜述基于模型的軟件工程架構設計與驗證控制軟件設計人機交互 界面設計測試驗證環(huán)境0m p- +BatteryEngineTorqueEngineSpeedThrottletransEnginebattpulleyAlternatorCruiseSpeed ThrottleCmd CruiseStateCarSpeed CruiseSpeedCruiseState ThrottleCmdAccelerator AccBrake BrakSet SetQuickAccel QuickAccelecel ele SpeedResume ResumeQuickDecel Qui

4、ckDOn OnOff Off涵蓋：從架構到設計；從模型到代碼；從設計到驗證；完整的軟件研制過程。改進研制流程，縮短研發(fā)周期，符合行業(yè)認證標準幫助企業(yè)實現(xiàn)基于需求的軟件開發(fā)理念，實現(xiàn)設計、驗證和 驗證工作的前置，消除編碼過程，減少迭代環(huán)節(jié)和驗證周期。 完全符合航空、工業(yè)、汽車、軌道、核能的軟件認證要求。ANSYS SCADE 基于模型的關鍵軟件研制綜述涵蓋系統(tǒng)軟件的架構設計、軟件詳細設計、高質量的自動 代碼生成、測試驗證、生命周期數(shù)據(jù)追蹤管理、生命周期 數(shù)據(jù)生成。所有過程圍繞一個模型一個工具來進行。Manage mentVerification優(yōu)勢和特點Design以模型為核心，確保生命周期過

5、程和數(shù)據(jù)的完整性CodingSystemDisplaySimulatorDesignModel ReporterKCGSuiteA Nut Solution VerifierModel Test CoverageDoors GatewayDO-178C/B Qualified up to level ACompiler Verification KitINTEGRITYWrapperModel CheckerDebug & SimulationModel CoverageFormal VerificationTime & Stack Analysis極大提高關鍵安全軟件的質量基于形式化的建模語

6、言、豐富的自動化驗證手段、 高質量的代碼生成器極大的規(guī)避了人為的錯誤，保 證了軟件的完備性、健壯性和系統(tǒng)的可靠性。ANSYS SCADE 基于模型的關鍵軟件研制綜述基于模型的軟件工程架構設計與驗證控制軟件設計人機交互界面設計測試驗證環(huán)境基于模型的軟件架構設計Embedded System DesignSystem Model ChecksSystem Model Diff/MergeVERIFYArchitecture Design & Data PropagationDESIGNANALYZEOperational Requirements AnalysisSystem / Software

7、 Bi-directional Sync UpICDGenerationGENERATECONFIGURE系統(tǒng)安全性分析閉環(huán)仿真與驗證AADL系統(tǒng)性能分析行為分析架構設計模型同步Control Software DesignPROTOTYPE & DESIGNObject Code & Compiler VerificationSCADESuite KCGC & AdaRTOSAdaptor sDO-178B & C IEC 61508EN 50128ISO 26262Certification KitsGENERATECalibrationFormal VerificationTime &

8、StackOptimizationDebug & SimulationModel ChecksPlant Model Co- simulation (incl. FMI)VERIFYHIL/SIL/PILIntegration基于模型的控制軟件設計以嚴格的形式化語言為理論基礎強勁的模型表述能力：數(shù)據(jù)流 +狀態(tài)機完整的模型驗證支持：靜態(tài)分析、動 態(tài)仿真、覆蓋率分析、形式化驗證、 時間堆棧優(yōu)化通過多個行業(yè)標準鑒定的代碼生成器， 生成代碼與平臺無關基于模型的圖形軟件設計HMISoftware DesignPROTOTYPE & DESIGNGENERATESCADEDisplay KCGDO-178

9、B & C IEC 61508EN 50128ISO 26262Certification KitsVERIFYSimulationModel ChecksPlant Model Co- simulation (incl. FMI)完整的模型的靜態(tài)規(guī)則檢查和動態(tài)仿 真支持通過多個行業(yè)標準鑒定的代碼生成器， 生成代碼與平臺無關所見即所得的直觀設計能力OpenGL/ES/SC等標準支持提供與Suite/Simplorer等產品的 聯(lián)合仿真和無縫集成Test Execution on Target (LDRA,RTRT,VectorCAST & Generic)TARGET EXECUTIONTes

10、t Execution on HostHOST EXECUTIONModel CoverageTestingEnvironmentPROTOTYPING & TEST CREATIONInteractive Test CreationRapid Prototyping基于模型的測試System & Software Lifecycle ManagementProject DocumentationGenerationDOCUMENTRequirements Management & TraceabilityTRACEProject Metrics DashboardMONITORConfigu

11、ration & Change ControlCONTROL基于模型的生命周期數(shù)據(jù)管理可定制滿足GJB 438B要求User ApplicationCockpit Display SystemDO-178B/CCertification KitARINC 661 UA & DFUA DFGeneratorGENEPROTOTYPE, DESIGN & SIMULATEWIDGETS & SERVERWidget Creator & Widget Model LibrariesServer CreatorRATEARINC 661 WIDGETS & SERVERPROTOTYPE, DESIG

12、N & SIMULATEUSER APPLICATIONSUA Page Creator & UA Logic Design基于模型的圖形軟件設計交互式航電解決方案Modular Solutions for Interactive Cockpit Displays議題ANSYS SCADE基于模型的關鍵軟件研制綜述ANSYS SCADE 18.0關鍵軟件研發(fā)的新起點基于模型的架構設計和需求驗證新功能為設計加速基于模型的閉環(huán)仿真和測試總結ANSYS SCADE 18.0 新特性概述EmbeddedControlSystem DesignSoftware DesignCalibratio nMod

13、el ChecksFormal VerificationSCADESuite KCGSystem Model ChecksSystem / SoftwareC & AdaBi-directional Sync UpOperational Requirements AnalysisObject Code & CompilerRTOSVerificationDebug & SimulationPlant Model Co-simulation (incl. FMI)AdaptorsDO-178B & C IEC 61508EN 50128ISO 26262Certification KitsSys

14、tem ModelICDDiff/MergeGenerationArchitecture Design & Data PropagationTime & StackHIL/SIL/PILOptimizationIntegrationANALYZEDESIGNVERIFYGENERATEPROTOTYPCONFIGUREE & DESIGNVERIFYGENERATETestingHMIEnvironmentSoftware DesignModel ChecksSCADERapid PrototypingDisplayTest Execution on HostKCGTest Execution

15、 on Target(RTRT, LDRA, VectorCASTDO-178B & C& Generic)SimulationIEC 61508EN 50128ISO 26262Certification KitsInteractiveModel CoverageTest CreationPlant Model Co-simulation (incl. FMI)PROTOTYPINHOSTTARGETG & TESTEXECUTIONEXECUTIONPROTOTYPCREATIONE & DESIGNVERIFYGENERATEHMI自動化測試測試腳本語言的拓展系統(tǒng)和模型閉環(huán) 仿真能力代碼

16、集成能 力的增強支持Khronos OpenGL SC 2.0控件庫的增強內部Suite模 型的白盒仿真易用性的改進易用性的改進新的生命周期數(shù)據(jù)追蹤管理接口汽車應用的支持SCADE語言6.6的全面支持和認證全面支持Ada支持AUTOSAR綜合架構支持FACE 綜合架構建模能力的擴展閉環(huán)的軟件 原型仿真架構與原型的同步架構與設計的同步基于模型的架構設計和需求驗證Embedded System DesignSystemSystem / SoftwareOperationalModelBi-directional SyncRequirementsChecksUpAnalysisSystemICDAr

17、chitecture DesignModelGeneration& Data PropagationDiff/MergeANALYZEDESIGNVERIFYGENERATECONFIGURE支持AUTOSAR綜合架構支持FACE綜合架構建模能力的擴展閉環(huán)的軟件原型仿真架構與原型的同步架構與設計的同步基于模型的架構設計和需求驗證建模能力的擴展Model objectscTablesonfiguration參數(shù)圖的支持繼承表編輯能力的增強Positional insertion in tablesOrdering and sorting in Packages and browserGraphi

18、cal styles consistency between blocks and replicaBuilt-in OCL file editorMS Excel or CSVHierarchical tables增強易用性基于模型的架構設計和需求驗證Seamless workflow fromsystem architecture down to SW code generationArchitectureReuse legacy SCADE Suite components in newBi-directionalarchitecturesEnsure design consistency

19、 with concurrent work &SW Designengineering iterations0- +Batterym pEngineTorqueEngineSpeedThrottletransEnginebattpulleyAlternatorOnSpeedrottleCmdCruiseSpeed ThCruiseStateCarSpeedCruiseSpeedCruiseStateThrottleCmdAccelerator AccelBrake BrakeOnSetSetQuickAccel QuickAccelcelResume ResumeQuickDecel Quic

20、kDeOffOffAutomated creation of Simplorer designs fromSysML block or parametric diagrams建模能力的擴展SCADE Architect 架構應用層與 SCADE Suite 的同步SCADE Architect 架構與 Simplorer 的同步SIMPLORERSWSystem requirements validation in Simplorer基于模型的架構設計和需求驗證閉環(huán)的軟件原型仿真MIL Design/TuningCo-simulationCode GenerationSIL Validatio

21、nCode ImportPhysical ModelTight Integration with Embedded Control & SWModelicaMulti-Domain, Mechanics, FluidsVHDL-AMSElectrical, Digital, Mixed-SignalSPICEElectronic ComponentsC / C+General Programs汽車開放系統(tǒng)架構（AUTOSAR）基于模型的架構設計和需求驗證支持AUTOSAR綜合架構AUTOSAR ModelSCADE ArchitectSCADESuiteAUTOSAR 4.2.2 ARXMLA

22、rchitecture File(s)Control Software DesignSCADE Suite Generated CodeAny AUTOSAR PlatformImport/ExportSynchroCode generationAUTOSAR RTE WrapperCode integrationSystem Design Refinement基于模型的架構設計和需求驗證支持FACE綜合架構未來機載能力環(huán)境（FACE）FACE Wrapper FACE UoPFACE fileControl Software designSCADE Suite generated codeF

23、ACE Transport Service (TSS) & Operating System Segment (OSS)Import/ExportSynchroCode generationCode integrationSystem Design Refinement& Model VerificationANSYS SCADE 18.0 新特性概述ControlSoftware DesignCalibrati onModel ChecksV FormalSCADEerificationSuite KCGC & AdaObject Code &RTOSCompilerDebug &Plant

24、 Model Co-AdaptorsVerificationSimulationsimulation (incl. FMI)DO-178B & C IEC 61508EN 50128ISO 26262Certification KitsTime & StackHIL/SIL/PILOptimizationIntegrationPROTOTYPE &DESIGNVERIFYGENERATE易用性的改進新的生命周期數(shù)據(jù) 追蹤管理接口汽車應用的支持SCADE語言6.6的全面支持和認證全面支持Ada新功能為設計加速SCADE Suite 易用性的改進Extended findUnified enhan

25、ced filters Skip specific operatorsMulti-screens supportFMU/FMI IP protectionAdditional library operators New Equation SetsAnd also Enhanced HIL support of NIVeristandSupport of enum in simulationPython API for code integration.新功能為設計加速SCADE Suite 對汽車應用的支持Library generator for Fixed-Pointconversion,

26、 with various encodingsASAM MCD-2 DC (aka ASAP2) support for software calibration & measurementSCADE Suite and SCADE Display KCG Code Generators have been qualified by TV SD at TCL3 to be usedfor the development of ISO 26262 ASIL D software新功能為設計加速 Scade 6.6 Language的全面支持和認證Scade 6.6 LanguageIntrodu

27、ces new types and operatorsStatic access is improvedA new mapfold-like iterator is defined, which supports multiple accumulatorsSCADE Suite KCG 6.6 Certification Timeline (Ada and C):July 2016: DO-330 TQL-5 certification data for verification toolsJuly 2016: successful DO-178C SOI#4 audit by Rolls R

28、oyce Control SystemsSept 2016: DO-330 TQL-1 certification data for SCADE Suite KCG 6.6Qualification granted by multiple certification authorities including:FAA, EASA, Transport Canada, ANAC, CEAT, CAACDec 2016: ISO 26262, EN 50128, IEC 61508 certified for code generatorANSYS SCADE 18.0 新特性概述HMISoftw

29、are DesignModel ChecksSCADE DisplayKCGSimulatioDO-178B & CnIEC 61508EN 50128ISO 26262Certification KitsPlant Model Co- simulation (incl. FMI)PROTOTYPE& DESIGNVERIFYGENERATE代碼集成能力 的增強支持Khronos OpenGL SC 2.0控件庫的增強內部Suite模型 的白盒仿真易用性的改進新功能為設計加速支持Khronos OpenGL SC 2.0SCADE & CoreAvi SC 2.0（1/2）CoreAVI公司和

30、Khronos組織緊密合作， 是OpenGL SC2.0工作小組的領導者。將ES2.0具有的一系列特性引入到高安 全性環(huán)境中 使產品獲得了GPU的較高 性能ANSYS和CoreAvi聯(lián)合工作使得SC SCADE Display充分發(fā)揮出了CoreAVI 驅動的高性能工程師們對雙方的產品的特性和應用范圍加 深了認識平顯和座艙最高獲得 近50%性能提升SCADE & CoreAvi SC 2.0（2/2）新功能為設計加速SCADE Display 易用性的改進Remember structure tree state during tab navigationContext independent

31、 from selection+ Multi-selection editing in different subtreesVisual clues todifferentiate IOs scopeNew probe kind for embedded HMI testing新功能為設計加速SCADE Display 內部Suite模型的白盒仿真Co-simulation (SCADE Display + SCADE Suite Simulator) of BehaviorsInteractive Debug, Breakpoints, Scenario Recording, Model B

32、rowsing during Simulation新功能為設計加速SCADE Display 控件庫的增強New Icons SetNew Widget “Date & Time”New Look & FeelBEFORENow新功能為設計加速SCADE Display 代碼集成能力的增強Easier Generated Code Integration with New Model Code Mapping FileModel Code Mapping File Java API + Examples1,5 MB3 MB5,5 MBEx: SCADE Display application

33、including a chinese fontEx: SCADE Display application without fonts+SCADE Display binary font format, including achinese fontOption to Store (binary) Font Files aside the Generated ExecutableANSYS SCADE 18.0 新特性概述Testing EnvironmentRapidTestPrototypingExecution onHostTest Execution on Target (RTRT, LDRA,InteractiveModelVectorCASTTest CreationC