基于ansys 18.0的关键软件register.ansys.com.cn/ansyschina/2017/ansys18roadshow... ·...

基于ANSYS 18.0的关键软件研发工程平台

沈轶烨

系统事业部

议题

• ANSYS SCADE基于模型的关键软件研制综述

• ANSYS SCADE 18.0关键软件研发的新起点

– 基于模型的架构设计和需求验证

– 新功能为设计加速

– 基于模型的闭环仿真和测试

• 总结

ANSYS SCADE 基于模型的关键软件研制综述——技术解决方案

System Development

Multi-Domain Simulation

Software Development

• Functional Analysis

• Safety Analysis

• Architecture

• Production Integration

• Cyber-physical System Development

• System Prototype

• Simulation & Optimize Complex System

• Design

• Testing

• Code Generation

• Lifecycle Management

RO

M

System Architecture &

System Safety Validation

Requirement

Analysis

Mode-based

Design

HLR

Arch & LLR

Mode-based

Integration & Test

Software Validation

Codes

Qualified KCG

Auto-generationCoding

ANSYS SCADE 基于模型的关键软件研制综述——基于模型的软件工程

架构设计与验证

控制软件设计人机交互界面设计

测试验证环境

0

Battery

- +pm

EngineTorque

EngineSpeed

Throttle

trans

Engine

batt

pulley

Alternator

Transmission

drivetrainFlange

vehicleSpeed

veh

Drivetrain

veh

rho=1.259

s=1.7cd=0.45

AeroDrag

On

Off

Resume

Set

QuickAccel

QuickDecel

Accel

Brake

Speed

CruiseSpeed

ThrottleCmd

CruiseState

CarSpeed

CruiseSpeed

CruiseState

ThrottleCmd

Accelerator

Brake

On

Set

QuickAccel

Resume

QuickDecel

Off

涵盖：从架构到设计；从模型到代码；从设计到验证；完整的软件研制过程。

改进研制流程，缩短研发周期，符合行业认证标准

帮助企业实现基于需求的软件开发理念，实现设计、验证和

验证工作的前置，消除编码过程，减少迭代环节和验证周期。

完全符合航空、工业、汽车、轨道、核能的软件认证要求。

ANSYS SCADE 基于模型的关键软件研制综述——优势和特点

以模型为核心，确保生命周期过程和数据的完整性

涵盖系统软件的架构设计、软件详细设计、高质量的自动

代码生成、测试验证、生命周期数据追踪管理、生命周期

数据生成。所有过程围绕一个模型一个工具来进行。

Manage

ment

Verification

Design

Coding

A Nut Solution

System Display

Simulator

Design

VerifierModel

Reporter

KCG

Suite

Model Test

Coverage

Doors

Gateway

DO-178C/B Qualified

up to level ACompiler

Verification KitINTEGRITY

Wrapper

Model Checker

Debug & Simulation

Model Coverage

Formal Verification

Time & Stack Analysis

极大提高关键安全软件的质量

基于形式化的建模语言、丰富的自动化验证手段、

高质量的代码生成器极大的规避了人为的错误，保

证了软件的完备性、健壮性和系统的可靠性。

ANSYS SCADE 基于模型的关键软件研制综述——基于模型的软件工程

架构设计与验证

控制软件设计人机交互界面设计

测试验证环境

基于模型的软件架构设计

EmbeddedSystem Design

VERIFY

System Model Checks

System Model

Diff/Merge

DESIGN

Architecture Design & Data Propagation

ANALYZE

Operational Requirements

Analysis

GENERATE

System / SoftwareBi-directional Sync

Up

ICDGeneration

CONFIGURE

系统安全性分析闭环仿真与验证

AADL

系统性能分析

行为分析架构设计模型同步

Control

Software Design

PROTOTYPE

& DESIGN

Object Code

& Compiler

Verification

SCADE

Suite KCG

C & Ada

RTOS

Adaptor

s

DO-178B & C

IEC 61508

EN 50128

ISO 26262

Certification Kits

GENERATE

Calibration

Formal

Verification

Time & Stack

Optimization

Debug &

Simulation

Model Checks

Plant Model Co-

simulation (incl. FMI)

VERIFY

HIL/SIL/PIL

Integration

基于模型的控制软件设计

➢ 以严格的形式化语言为理论基础

➢ 强劲的模型表述能力：数据流 +

状态机

➢ 完整的模型验证支持：静态分析、动态仿真、覆盖率分析、形式化验证、时间堆栈优化……

➢ 通过多个行业标准鉴定的代码生成器，生成代码与平台无关

基于模型的图形软件设计

HMI

Software Design

PROTOTYPE

& DESIGNGENERATE

SCADE

Display

KCG

DO-178B & C

IEC 61508

EN 50128

ISO 26262

Certification Kits

VERIFY

Simulation

Model Checks

Plant Model Co-

simulation (incl. FMI)

➢ 所见即所得的直观设计能力 ➢ 完整的模型的静态规则检查和动态仿真支持

➢ 提供与Suite/Simplorer等产品的联合仿真和无缝集成

➢ 通过多个行业标准鉴定的代码生成器，生成代码与平台无关

➢ OpenGL/ES/SC等标准支持

Test Execution

on Target

(LDRA,RTRT,

VectorCAST &

Generic)

TARGET

EXECUTION

Test Execution

on Host

HOST

EXECUTION

Model Coverage

Testing

Environment

PROTOTYPING &

TEST CREATION

Interactive

Test Creation

Rapid

Prototyping

基于模型的测试

System & Software

Lifecycle Management

Project Documentation

Generation

DOCUMENT

Requirements

Management &

Traceability

TRACE

MONITOR

Project Metrics

Dashboard

Configuration &

Change Control

CONTROL

基于模型的生命周期数据管理

➢ 可定制满足GJB 438B要求

Us

er

Ap

pli

ca

tio

n

Co

ck

pit

Dis

pla

y S

ys

tem

Modular Solutions for Interactive Cockpit Displays

DO-178B/C

Certification Kit

ARINC 661

UA & DF

UA DF

Generator

GENERATE PROTOTYPE, DESIGN

& SIMULATEWIDGETS & SERVER

Widget Creator &

Widget Model Libraries

Server

Creator

ARINC 661

WIDGETS &

SERVER

PROTOTYPE, DESIGN

& SIMULATEUSER APPLICATIONS

UA Page Creator & UA

Logic Design

基于模型的图形软件设计——交互式航电解决方案

议题






• 总结

ANSYS SCADE 18.0 新特性概述


VERIFY

System Model Checks

System Model Diff/Merge

DESIGN


ANALYZE

Operational Requirements Analysis

GENERATE

System / SoftwareBi-directional Sync Up

ICDGeneration

CONFIGURE

ControlSoftware Design

PROTOTYPE & DESIGN

Object Code & Compiler Verification

SCADE Suite KCG

C & Ada

RTOS Adaptors

DO-178B & CIEC 61508EN 50128ISO 26262

Certification Kits

GENERATE

Calibration

Formal Verification

Time & StackOptimization

Debug & Simulation

Model Checks

Plant Model Co-simulation (incl. FMI)

VERIFY

HIL/SIL/PIL Integration

Test Execution on Target (RTRT, LDRA, VectorCAST

& Generic)

TARGET EXECUTION

Test Execution on Host

HOST EXECUTION

Model Coverage

Testing Environment

PROTOTYPING & TEST CREATION

InteractiveTest Creation

Rapid Prototyping

HMISoftware Design

PROTOTYPE & DESIGN GENERATE

SCADE Display

KCG

DO-178B & CIEC 61508EN 50128ISO 26262

Certification Kits

VERIFY

Simulation

Model Checks


HMI自动化测试

测试脚本语言的拓展

系统和模型闭环仿真能力

代码集成能力的增强

支持KhronosOpenGL SC 2.0

控件库的增强

内部Suite模型的白盒仿真易用性的改进

易用性的改进

新的生命周期数据追踪管理接口

汽车应用的支持

SCADE语言6.6的全面支持和认证

全面支持Ada

支持AUTOSAR综合架构

支持FACE综合架构

建模能力的扩展闭环的软件原型仿真

架构与原型的同步

架构与设计的同步

基于模型的架构设计和需求验证


VERIFY

System Model Checks

System Model

Diff/Merge

DESIGN


ANALYZE

Operational Requirements

Analysis

GENERATE

System / SoftwareBi-directional Sync

Up

ICDGeneration

CONFIGURE

支持AUTOSAR综合架构

支持FACE综合架构

建模能力的扩展

闭环的软件原型仿真

架构与原型的同步

架构与设计的同步

基于模型的架构设计和需求验证——建模能力的扩展

• 参数图的支持

Hierarchical tablesMS Excel or CSV Model objects

Tablesconfiguration

• 继承表编辑能力的增强

Positional insertion in tables

Ordering and sorting in Packages

and browser

Graphical styles consistency between

blocks and replica

Built-in OCL file editor

• 增强易用性

基于模型的架构设计和需求验证——建模能力的扩展

SW Architecture

SW Design

Ensure design consistency withconcurrent work &

engineering iterations

Seamless workflow from system architecture down

to SW code generation

Reuse legacy SCADE Suite components in new

architecturesBi-directional

• SCADE Architect 架构应用层与 SCADE Suite 的同步

0

Battery

- +pm

EngineTorque

EngineSpeed

Throttle

trans

Engine

batt

pulley

Alternator

Transmission

drivetrainFlange

vehicleSpeed

veh

Drivetrain

veh

rho=1.259

s=1.7cd=0.45

AeroDrag

On

Off

Resume

Set

QuickAccel

QuickDecel

Accel

Brake

Speed

CruiseSpeed

ThrottleCmd

CruiseState

CarSpeed

CruiseSpeed

CruiseState

ThrottleCmd

Accelerator

Brake

On

Set

QuickAccel

Resume

QuickDecel

Off

Automated creation of Simplorer designs from

SysML block or parametric diagrams

System

requirements

validation in

Simplorer

SIMPLORER

• SCADE Architect 架构与 Simplorer 的同步

基于模型的架构设计和需求验证——闭环的软件原型仿真

MIL Design/TuningCo-simulation

Code Generation

SIL ValidationCode Import

Physical Model

Tight Integration withEmbedded Control & SW

VHDL-AMSElectrical, Digital, Mixed-Signal

ModelicaMulti-Domain, Mechanics, Fluids

SPICEElectronic Components

C / C++General Programs

汽车开放系统架构（AUTOSAR）

基于模型的架构设计和需求验证——支持AUTOSAR综合架构

AUTOSAR ModelSCADE Architect

SCADE Suite

AUTOSAR RTE Wrapper

AUTOSAR 4.2.2 ARXMLArchitecture File(s)

Control Software Design

SCADE Suite Generated Code

Any AUTOSAR Platform

Import/Export

Synchro

Code generation

Code integration

System Design Refinement

基于模型的架构设计和需求验证——支持FACE综合架构

未来机载能力环境（FACE）

FACE Wrapper FACE UoP

FACE file

Control Software design

SCADE Suite generated code

FACE Transport Service (TSS) & Operating System Segment (OSS)

Import/Export

Synchro

Code generation

Code integration

System Design Refinement& Model Verification


ControlSoftware Design

PROTOTYPE & DESIGN

Object Code & Compiler

Verification

SCADE Suite KCG

C & Ada

RTOS Adaptors

DO-178B & CIEC 61508EN 50128ISO 26262

Certification Kits

GENERATE

Calibration

Formal Verification

Time & StackOptimization

Debug & Simulation

Model Checks


VERIFY

HIL/SIL/PIL Integration

易用性的改进

新的生命周期数据追踪管理接口

汽车应用的支持 SCADE语言6.6的全面支持和认证

全面支持Ada

新功能为设计加速——SCADE Suite 易用性的改进

FMU/FMI IP protectionExtended find

Unified enhanced filters

Skip specific operators

Additional library operators

Multi-screens support

New Equation Sets

And also …

• Enhanced HIL support of NI Veristand

• Support of enum in simulation

• Python API for code integration

• ….

新功能为设计加速——SCADE Suite 对汽车应用的支持

• Library generator for Fixed-Point

conversion, with various encodings

• ASAM MCD-2 DC (aka ASAP2) support for

software calibration & measurement

• SCADE Suite and SCADE Display KCG Code Generators

have been qualified by TÜV SÜD at TCL3 to be used

for the development of ISO 26262 ASIL D software

新功能为设计加速—— Scade 6.6 Language的全面支持和认证

•Scade 6.6 Language–Introduces new types and operators

–Static access is improved

–A new mapfold-like iterator is defined, which supports multiple accumulators

•SCADE Suite KCG 6.6 Certification Timeline (Ada and C):– July 2016: DO-330 TQL-5 certification data for verification tools

– July 2016: successful DO-178C SOI#4 audit by Rolls Royce Control Systems

– Sept 2016: DO-330 TQL-1 certification data for SCADE Suite KCG 6.6

– Qualification granted by multiple certification authorities including:

• FAA, EASA, Transport Canada, ANAC, CEAT, CAAC

– Dec 2016: ISO 26262, EN 50128, IEC 61508 certified for code generator


HMISoftware Design

PROTOTYPE & DESIGN GENERATE

SCADE Display

KCG

DO-178B & CIEC 61508EN 50128ISO 26262

CertificationKits

VERIFY

Simulation

Model Checks


代码集成能力的增强

支持KhronosOpenGL SC 2.0

控件库的增强

内部Suite模型的白盒仿真

易用性的改进

新功能为设计加速——支持Khronos OpenGL SC 2.0

✓

✓

✓

✓

SCADE & CoreAvi SC 2.0（1/2）

• CoreAVI公司和Khronos组织紧密合作，是OpenGL SC2.0工作小组的领导者。

• 将ES2.0具有的一系列特性引入到高安全性环境中– 使产品获得了GPU的较高性能

• ANSYS和CoreAvi联合工作使得SC

SCADE Display充分发挥出了CoreAVI

驱动的高性能– 工程师们对双方的产品的特性和应用范围加

深了认识

– 平显和座舱最高获得近50%性能提升

Coreavi.mp4

SCADE & CoreAvi SC 2.0（2/2）

AutomotiveHMI1.mp4

新功能为设计加速——SCADE Display 易用性的改进

Remember structure tree

state during tab navigation

Context independent from selection

+ Multi-selection editing in different

subtrees

Visual clues to

differentiate IOs scope

New probe kind for

embedded HMI testing

新功能为设计加速——SCADE Display 内部Suite模型的白盒仿真

Co-simulation (SCADE

Display + SCADE Suite

Simulator) of Behaviors

Interactive Debug,

Breakpoints, Scenario

Recording, Model Browsing

during Simulation

新功能为设计加速——SCADE Display 控件库的增强

New

Icons

Set

New Widget

“Date & Time”

New Look & Feel

BEFORE

Now

新功能为设计加速——SCADE Display 代码集成能力的增强

Easier Generated Code

Integration with New Model <->

Code Mapping File

Model <-> Code

Mapping File Java

API + Examples

3 MB

1,5 MB

5,5 MB

Ex: SCADE Display application including

a chinese font

Ex: SCADE Display application

without fonts

+SCADE Display

binary font format, including a

chinese font

Option to Store (binary) Font

Files aside the Generated

Executable


Test Execution on Target (RTRT,

LDRA, VectorCAST & Generic)

TARGET EXECUTION

Test Execution on

Host

HOST EXECUTION

Model Coverage

Testing Environment

PROTOTYPING & TEST

CREATION

InteractiveTest Creation

Rapid Prototyping

HMI自动化测试

测试脚本语言的拓展

系统和模型闭环仿真能力

基于模型的闭环仿真和测试——HMI自动化测试

SCADE Display model inputs (functional)

Pointing device(s) and keyboard(s)

inputs

SCADE Display model outputs & values

(functional)

« Display rendering »

Cyclic Execution

Full automated test execution,

enabling significant cost

savings

Scenario recording and

execution, easing non

regression testing

Deterministic test

case execution

Areas toCheck

Automatic

image

comparisonGraphical test

report

generation

基于模型的闭环仿真和测试——HMI自动化测试

SDY_QTE.mp4

基于模型的闭环仿真和测试——测试脚本语言的拓展

Testing starts here

Start testing after

an initialization

sequence

Test1 starts here

Test2 starts here

Testn starts here

Recorded sequence

Resume from a

given SCADE

application state /

Reduce scenarios

size

Reuse

initialization

sequences in

several test

scenarios

• New Preamble concept✓ Coverage measurement

and checks start here

Simplorer和SCADE完整闭环测试方案

Simplorer_QTE.mp4

议题






• 总结

• 增加用户体验• 支持最新技术

总结——完善嵌入式系统、架构、软件和验证能力

• 持续不断的新工具通过鉴定• Ada的坚定支持• 在新行业的认证拓展

• 完善架构设计能力• 具备闭环的软件原型仿真

• 测试能力和手段的不断增强• 创新的HMI自动化测试能力• 系统和模型闭环仿真能力

感谢聆听

基于ansys 18.0的关键软件register.ansys.com.cn/ansyschina/2017/ansys18roadshow... ·...

Documents