基于模型的系统与软件开发解决方案.docxVIP

基于模型的系统与

软件开发解决方案

1

ANSYS的MBSE能力

2基于模型的软件工程

3系统仿真与数字孪生

4SCADE应用案例介绍

关于Ansys

3

ANSYS与合作伙伴构建全技术栈

ANSYSPartners

SystemsRequirements(DOORS,Jama,Polarionetc.)

Requirements

Architecture

Simulation

ProcessData

Management

(SPDM)

SystemArchitecture:

Rhapsody,MagicDraw,etc.

PhysicalcomponentsSimulation:

Fluid,Structure,Mechanical,Optics

SCADEArchitect

SystemSafetyCybersecurityAnalysis:medini

EmbeddedSW

EmbeddedSW

(AI-based:

(ControlsHMIs:

SCADEVision)

SCADE)

Components

Simulation

(OpenLoop)

Linkto

PLM/ALM

andPIDO:

ROMs

ClosedLoopSystemSimulation(TwinBuilder,VRXPERIENCE)

SoftwareInthe

LoopSimulation

-SiL(ClosedLoop)

Minerva

Cadence,Synopsys

EDATools

RealTimeOSCommunications:

GreenHills,WindRiver,Khrono-Safeetc.

ElectronicsHardwarePlatform(processor,board,package,ECU..)

HardwareInthe

LoopSimulation

(HiL)

HILSimulation:LabView,Dspace,etc.

TwinBuilder

SystemOperationandDigitalTwin:ThingWorx,SAP,etc.

SystemOperation

Predictivemaintenance

ANSYS系统与嵌入式软件能力

medini

基于模型的系统工程/MBSE

系统安全分析/MBSA

系统仿真数字孪生

SystemSimulationDigitalTwin

TwinBuilder

SCADEArchitect

系统架构

系统/软件架构

SCADESuite

SCADEDisplay

三维物理仿真

基于模型的软件工程

ModelBasedSoftwareEngineering

三维物理场仿真

3-DPhysicsSimulation

构建MBSEMBSwE工具链

需求工程

导出S-Function

联合仿真

控制律仿真

(Simulink)

系统功能分析

(SysMLTools)

系统架构设计

(SysMLTools)

联合仿真

HMI画面

(SCADEDisplay)

算法模型库

(SCADESuite)

模型导入

(Simulink

Importer)

模型同步

功能安全分析

(ANSYS

medini)

模型同步

转换器/软件架构设计

(SCADEArchitect)

模型同步

软件详细设计

(SCADESuite/Display/A661)

软件模型验证

(SCADETest)

代码自动生成

(SCADE代码生成器)

目标机测试

(HIL工具)

SCADE对MBSE能力的扩展

AADLModeler

AADL

analysistool

Import/Export

modelelements,ICDs,…FACEModeler

FACEconformance

andintegration

ARINC653Modeler

Safetyand

Cybersecurity

analysis

SysMLfor

SystemsDesign

SysMLfor

SWArchitecture

ARINC653

wrapper

FACE

wrapper

Customizable

generated

code

SysMLtools

DSLModeler

Qualifiedcode

generator

Qualified

CandAda

code

SCADEArchitectSCADESuite

SCADEArchit