Ansys2025全球仿真大会：Scade One新一代安全关键嵌入式软件解决方案

powering

InnovationThatDrivesHnnanAdvancennentScade

One新一代安全关键嵌入式软件解决方案侯东

博士Ansys主任应用工程师yn©2025

ANSYS,

Inc./

Proprietary.

Do

NotShare.主要内容•ScadeOne的使命•富有创新性的ScadeOne•ScadeOne发展规划2

©2025

ANSYS,

Inc./

Proprietary.

Do

Not

Share.

P。werinnn。vatienThat

Drves

HnnanAdvancennentnsySafety

is

not

optional!3

©2025

ANSYS,

Inc./

Proprietary.

Do

Not

Share.

P。werinnn。vatienThat

Drves

HnnanAdvancennentnsyElectronicsHFSSMaxwellSIwaveIcepakMotor-CADQ3D

ExtractorNuHertzEMC

PlusCharge

PlusPhotonicsLumerical

FDTDLumerical

FDTDAcceleratorLumerical

MODELumerical

MultiphysicsLumericalINTERCONNECTLumerical

CMLCompilerAnsys为高安全性产品研制提供全方位的产品与技术支持SafetyAnalysisDigitalSafety

Manager

medini

analyzemedini

analyzefor

Cybersecuritymedini

analyzefor

SemiconductorsEmbeddedSoftwareSCADE

SuiteSCADE

DisplaySCADEArchitectSCADETestSCADE

LifecycleConnectGranta

MIGrantaSelectorGranta

MDSoptiSLangMinervaModelCenterCloudAnsys

Cloud

DirectAnsysGatewaypowered

byAWSDigitalTwinTwin

BuilderSemiconductorRedHawk-SCRedHawk-SC

ElectrothermalTotemPowerArtistRaptorHRaptorQuExaltoVeloceRFPathFinderPath

FXClock

FXOpticsZemax

OpticStudioZemax

OpticBuilderSpeosStructuresMechanical

LS-DYNA

Forming

MotionSherlockAdditive

SolutionsnCode

DesignLifeAutodynAcoustics

SimulationSound3D

DesignDiscoveryMission

EngineeringSTKODTKTETKAVSimulationAVxcelerate

HeadlampAVxcelerateSensor4

©2025

ANSYS,

Inc./

Proprietary.

Do

Not

Share.

P。werinnn。vatienThatDrves

HnnanAdvancennentnsyFluidsFluentCFXChemkin-ProForteRockyFENSAP-ICEEnSightTurboToolsPolyflowModel

Fuel

LibraryThermal

DesktopEN50128IEC608805

©2025

ANSYS,

Inc./

Proprietary.

Do

Not

Share.

P。werinnn。vatienThat

Drves

HnnanAdvancennentnsy支持各大高安全性行业研制标准ARP

47544761Ansys高安全性系统与软件解决方案的部分用户6

©2025

ANSYS,

Inc./

Proprietary.

Do

Not

Share.

P。werinnn。vatienThat

Drves

HnnanAdvancennentnsy争ce

meR

aLa

rom

rcs⃞Rolls-Royce'THALES⃞Han

whaTech

winbna

yetHoney

wellasel

sanMEGG

TTFlight

Control72Avionics&

Displays70Engine

Control40PowerControl24Braking&Steering17Fuel

Mgt17Protection14Mission12Landing8Other/

Undisclosed18GroundControl5Flight

Mgt5超过300个A&D系统使用了AnsysSCADE生成的代码A&DSystems

Developped&CertifiedwithSCADE

(FAA,

EASA,CAAC,

etc.)7

©2025

ANSYS,

Inc./

Proprietary.

Do

Not

Share.

P。werinnn。vatienThat

Drves

HnnanAdvancennentnsySWcomponents

/

MiL/PiL/HiLC

codeCriticalEmbedded

HMISoftwareAutoApplicationTask

ManagementSystem

ServicesMicro-kernelCore

nSCADE/超过30年的成熟高安全性软件解决方案EmbeddedSystems&SoftwareArchitectureAutoAuto8

©2025

ANSYS,

Inc./

Proprietary.

Do

Not

Share.

P。werinnn。vatienThat

Drves

HnnanAdvancennentnsy模型语言不统一用户体验不统一工具鉴定模块多SystemSafetyAnalysisSystemarchitectureSWdesignPrototyping&controllawsEmbedded

Control&HMI

Software

TestingAutoApplicationTask

ManagementSystem

ServicesMicro-kernelCore

1PlatformIntegrationRTOS&

HWMulti-rate

/

Multi-coreCriticalEmbedded

ControlSoftwareApplicationTask

ManagementSystem

ServicesMicro-kernelCore

0Simulation

Test

/

MiLSystem&Software

RequirementsCertified

Automatic

Code

GenerationSystemSimulation&

DigitalTwinsSystem&SW

architectureTest

/

PiL/HiLEN50128

SIL

3/4+

driving

simulatorsHW

System

LevelAVxcelerateAutoAutoSWcomponents

/

MiL/PiL/HiLTest

/

MiLEmbeddedSystems&SoftwareArchitectureAnsysScadeOne/

下一代SCADE解决方案CriticalEmbeddedControl,Mission&HMISoftwareSystemSimulation&

DigitalTwins/Nns

ys

+

driving

simulators9

©2025

ANSYS,

Inc./

Proprietary.

Do

Not

Share.

P。werinnn。vatienThat

Drves

HnnanAdvancennentnsyEmbedded

Control,

Mission

&HMISoftware

TestingSystemSafetyAnalysisSWdesignMicro-kernelMicro-kernelMicro-kernelPlatformIntegrationRTOS&

HWMulti-rate

/

Multi-coreSystem&Software

RequirementsCertified

Automatic

Code

GenerationCore

nCore

0Prototyping&controllawsSystemarchitectureSystem&SWarchitectureCore

1ApplicationTask

ManagementSystem

ServicesTask

ManagementApplicationApplicationSystem

ServicesSystem

ServicesTask

Management

AutoAutoTest/

PiL/HiLEN50128

SIL

3/4SimulationAS

ILPC

codePAlASystem

LevelAVxcelerateAutoAutoHWSWcomponents

/

MiL/PiL/HiLTest

/

MiLMicro-kernelAutoSystem

LevelAS

ILPMicro-kernelTask

ManagementAutoApplicationSystem

ServicesApplicationTask

ManagementMicro-kernelHWApplicationSystem

ServicesSystem

ServicesTask

ManagementCore

0Core

1Core

nC

codeAutoSimulationEN50128

SIL

3/4PAlASystemSimulation&

DigitalTwins/Nns

ys

+

driving

simulatorsAVxcelerateEmbeddedSystems&SoftwareArchitectureSystem&SWarchitectureAnsysScadeOne/

下一代SCADE解决方案System&Software

RequirementsSystemarchitectureSystemSafetyAnalysis

AutoCriticalEmbeddedControl,Mission&HMISoftwareSWdesignEmbedded

Control,

Mission

&HMISoftware

TestingTest/

PiL/HiLPlatformIntegrationRTOS&

HWMulti-rate

/

Multi-corePrototyping&controllawsCertified

Automatic

Code

Generation为用户提供统一的逻辑与HMI建模环境、测试环境，进一步减少用户的高安全性软件研制与取证成本！10

©2025

ANSYS,

Inc./

Proprietary.

Do

Not

Share.

P。werinnn。vatienThatDrves

HnnanAdvancennentnsys富有创新性的ScadeOne©2025

ANSYS,

Inc./

Proprietary.

Do

NotShare.nsys12

©2025

ANSYS,

Inc./

Proprietary.

Do

Not

Share.

P。werinnn。vatienThatDrves

HnnanAdvancennentnsys从经典的SCADE13

©2025

ANSYS,

Inc./

Proprietary.

Do

Not

Share.

P。werinnn。vatienThatDrves

HnnanAdvancennentnsys增强的语言能力全新的软件测试场景现代化的界面设计全新的工程应用模式现代化的工程管理增强的Python扩展能力对AI技术的支持到全新的ScadeOne实时提示信息自动布局Not现代化的界面设计n。vatienThatDrvesHnnanAdvancennentnsys©2025ANSYS,

Inc./

Proprietary.

Do

用户界面工程管理应用模式软件测试语言能力AI支持14

PythonScade语言/模型的主要安全属性•可移植性好，兼容ISO-C标准•代码反映数据流模型架构，可追溯到Scade模型•

内存分配完全静态，没有动态内存分配•没有指针运算•没有递归•所有的迭代边界都是确定的•所有的数组边界都是确定的•最长执行时间都是确定的数学理论支撑的形式化模型15

©2025

ANSYS,

Inc./

Proprietary.

Do

Not

Share.

P。werinnn。vatienThatDrves

HnnanAdvancennentnsys

Scade=

Lustre

+

Esterel

用户界面

语言能力应用模式工程管理软件测试AI支持Python保留了Scade语言的安全属性，并进行了极大的功能扩展，以适应现代化复杂高安全性软件开发16

©2025

ANSYS,

Inc./

Proprietary.

Do

Not

Share.

P。werinnn。vatienThatDrves

HnnanAdvancennentnsys形式化语言Swan–ScadeOne的基石EnvironmentReactive

System

用户界面

语言能力应用模式工程管理软件测试AI支持Pythonsignalsignal17

©2025

ANSYS,

Inc./

Proprietary.

Do

Not

Share.

P。werinnn。vatienThatDrves

HnnanAdvancennentnsysLambda表达式

–让模型更加简洁直观

用户界面

语言能力应用模式工程管理软件测试AI支持PythonPattern

Match–用更简洁的方式表达更复杂的异构数据18

©2025

ANSYS,

Inc./

Proprietary.

Do

Not

Share.

P。werinnn。vatienThatDrves

HnnanAdvancennentnsys

用户界面

语言能力应用模式工程管理软件测试AI支持Pythonforward循环

–更直观且更强大的循环结构Scade的矩阵乘法模型需要三个算符

ScadeOne中只需创建一个算符P。werinnn。vatienThatDrves

HnnanAdvancennentnsys19©2025ANSYS,

Inc./

Proprietary.

Do

NotShare.

用户界面

语言能力应用模式工程管理软件测试AI支持Python20

©2025

ANSYS,

Inc./

Proprietary.

Do

Not

Share.

P。werinnn。vatienThatDrves

HnnanAdvancennentnsys更多语言层面的能力增强

用户界面

语言能力应用模式工程管理软件测试AI支持Python全新的工程应用模式ScadeOne架起了桥梁基于模型开发与基于文本编程的桥梁，重复发挥了二者的优势Textualoperators文本编程，IDE的全功能支持

可进行复杂应用编程软件工程师

Blockdiagrams

+Statemachines可视化建模，IDE的全功能支持易于学习控制与系统工程师21

©2025

ANSYS,

Inc./

Proprietary.

Do

Not

Share.

P。werinnn。vatienThatDrves

HnnanAdvancennentnsysMixdiagrams/text

应用模式工程管理软件测试语言能力用户界面AI支持Python

接口定义

具体实现现代化的软件工程支持接口申明与定义分离22

©2025

ANSYS,

Inc./

Proprietary.

Do

Not

Share.

P。werinnn。vatienThatDrves

HnnanAdvancennentnsy清晰的库依赖关系

工程管理应用模式软件测试语言能力用户界面AI支持Python使用ScadeOne模型来描述测试用例•

基于模型的输入激励•

基于模型的输出检查输入激励

被测Operator

输出检查」

L

」

L

」

L23

©2025

ANSYS,

Inc./

Proprietary.

Do

Not

Share.

P。werinnn。vatienThatDrves

HnnanAdvancennentnsys

数据检查模型库自定义数据检查

期望值数据库激励模型库自定义数据源激励数据库全新的软件测试场景支持复杂的测试场景

软件测试应用模式工程管理语言能力用户界面AI支持Python24

©2025

ANSYS,

Inc./

Proprietary.

Do

Not

Share.

P。werinnn。vatienThatDrves

HnnanAdvancennentnsysPyScadeOne–基于Python扩展生态系统应用模式工程管理软件测试语言能力用户界面AI支持Python25

©2025

ANSYS,

Inc/

Proprietary

Do

NotShare

ewerinnn。valonar

vesanvancennentnsys©2025

ANSYS,

Inc./

Proprietary.

Do

Not

Share.

P。werinnn。vatien

That

Drves

HnnanAdvancennentnsys

用户界面

语言能力

应用模式

工程管理

软件

测试

AI支持Python26©2025

ANSYS,

Inc./

Proprietary.

Do

Not

Share.

P。werinnn。vatien

That

Drves

HnnanAdvancennentnsys

用户界面

语言能力

应用模式

工程管理

软件

测试

AI支持Python27©2025

ANSYS,

Inc./

Proprietary.

Do

Not

Share.

P。werinnn。vatien

That

Drves

HnnanAdvancennentnsys

用户界面

语言能力

应用模式

工程管理

软件

测试

AI支持Python28

软件测试

\灵活的测试能力

应用模式

\广泛的应用场景

用户界面

\高效的建模效率

Python

\可扩展的生态系统

语言能力

\强大的建模能力

工程管理

\现代化的工程管理

AI支持与先进技术的结合29

©2025

ANSYS,

Inc./

Proprietary.

Do

Not

Share.

P。werinnn。vatienThatDrves

HnnanAdvancennentnsysScadeOne发展规划©2025

ANSYS,

Inc./

Proprietary.

Do

NotShare.nsysScade

One

roadmap

beyond2025

支持完整的工作流模型覆盖率分析,需求追踪,AUTOSAR,…

持续引入创新模型差异性分析与合并，团队协作，统一的HMI/logic建模

…s

工具鉴定

uo

-----

对于现有的SCADE用户我们将一如既往地提供全力支持！31

©2025

ANSYS,

Inc./

Proprietary.

Do

Not

Share.