model based system engineering applied to ima with scade ... · model based system engineering...
TRANSCRIPT
![Page 1: Model Based System Engineering applied to IMA with SCADE ... · Model Based System Engineering applied to IMA with SCADE System ... Software Design Model Coverage Analysis VERIFY](https://reader030.vdocument.in/reader030/viewer/2022041114/5f0509147e708231d410f015/html5/thumbnails/1.jpg)
© 2012 ANSYS, Inc. November 8, 20121
Model Based System Engineering applied to IMA with SCADE System
Eric BANTEGNIE – President & CEO
François Xavier DORMOY – SCADE System IMA Product Manager
![Page 2: Model Based System Engineering applied to IMA with SCADE ... · Model Based System Engineering applied to IMA with SCADE System ... Software Design Model Coverage Analysis VERIFY](https://reader030.vdocument.in/reader030/viewer/2022041114/5f0509147e708231d410f015/html5/thumbnails/2.jpg)
© 2012 ANSYS, Inc. November 8, 20122
• Esterel Technologies & its customers
• SCADE Overview
• IMA Challenges and Esterel Objectives
• SCADE Solutions for IMA
• Customer Example
• Benefits and roadmap
Agenda
![Page 3: Model Based System Engineering applied to IMA with SCADE ... · Model Based System Engineering applied to IMA with SCADE System ... Software Design Model Coverage Analysis VERIFY](https://reader030.vdocument.in/reader030/viewer/2022041114/5f0509147e708231d410f015/html5/thumbnails/3.jpg)
© 2012 ANSYS, Inc. November 8, 20123
Critical Systems & Software Development Solutions
![Page 4: Model Based System Engineering applied to IMA with SCADE ... · Model Based System Engineering applied to IMA with SCADE System ... Software Design Model Coverage Analysis VERIFY](https://reader030.vdocument.in/reader030/viewer/2022041114/5f0509147e708231d410f015/html5/thumbnails/4.jpg)
© 2012 ANSYS, Inc. November 8, 20124
Esterel Technologies mission
Provide critical system and software developers
with model-based development solutions
that reduce cost, risk and time-to-certification
![Page 5: Model Based System Engineering applied to IMA with SCADE ... · Model Based System Engineering applied to IMA with SCADE System ... Software Design Model Coverage Analysis VERIFY](https://reader030.vdocument.in/reader030/viewer/2022041114/5f0509147e708231d410f015/html5/thumbnails/5.jpg)
© 2012 ANSYS, Inc. November 8, 20125
Esterel Technologies highlights
End Markets
Aerospace & defense, aircraft engines, industrial machinery, rail & transport, and nuclear
Customer Base: 250+Business
Model-based development tools for system &Software engineers for safety critical systems
Presence
Elancourt (near Paris, France)Direct presence in 7 countriesCustomers in 27 countries
Certification
ISO 9001:2008 – Certified Company for design and sale of embedded software toolsand services
12 years of consistent 20% growth Wholly owned ANSYS Company since August 1, 2012
Financials
![Page 6: Model Based System Engineering applied to IMA with SCADE ... · Model Based System Engineering applied to IMA with SCADE System ... Software Design Model Coverage Analysis VERIFY](https://reader030.vdocument.in/reader030/viewer/2022041114/5f0509147e708231d410f015/html5/thumbnails/6.jpg)
© 2012 ANSYS, Inc. November 8, 20126
Our Large Customers..Energy & Nuclear
AREVA NPBARCIGCAR Nuclear ResearchRolls-Royce Civil NuclearKAERIKOPECNPCILNPICRolls Royce SubmarineTechenergyVNIIA /Rosatom
Alcatel Shanghai BellAlstom TransportationAnsaldo STSAREVA TABJTU CAFCASCODeuta WerkeDimetronicEFACECEngineering ATHollysysHyundai RotemIkerlanINVENSYS RailIstanbul UlasimKyosanMitsubishi RailNIIASNRIETPOSCON PT LENRATPSamsung SDSSiemens Rail TransportationSysterelThales Rail Signaling SystemsUnion Switch & Signal
Rail Transportation
BMWDCNSFuji HeavyGE EnergyIKVLiebherr ConstructionMitsubishi Johnson ControlsNIAT Nihon SeikoPSASchindler ElevatorsSubaruTerex CranesToyota AutomotiveToyota Robotics
Industrial & AutomotiveAerospace & Defense
AeropriborAirbusAleniaAVIC AvionikaBAE SYSTEMSBOEINGBundeswehr(BWB)CALTCASC / CASTCETCCOMACCrane AerospaceDAREDassault Aviation DefenseSingaporeDiehl AerospaceDLREADS CASAEADS AstriumEADS CassidianECICTElbit SystemsElektroavtomatikaEmbraerELTA
OAK (UAC)
ONERA
Parker
QinetiQ
Poliot
Pratt & Whitney RheinmetallRolls Royce Aero
Saab Avitronics
SAIC
Safran/ Sagem
Snecma
Sukhoi
Turkish Aerospace Ind.
Tekhpribor
Thales Avionics
Thales Training & Sim.
Toshiba Aerospace
Turbomeca
Samsung Thales
Ultra Electronics
UlyanovskUS Army Redstone Ars. VEGA
VNIIRA
Xian Aerospace
ZODIAC
ELV
ESA
ESG
Eurocopter
FADACATEC
GE Aviation
GE IQ
Goodrich
GosNIIAS
HAL
Hispano-Suiza
Intecs Sistemi
Intertechnique
KAL/ADD
KEEVEN
Liebherr
Aerospace
Lockheed Martin
Meggitt Safety
Systems
Meggitt Sensors
Meggitt Avionics
MIEA
NASA
NIIAO
NKBVS
Messier-Bugatti
![Page 7: Model Based System Engineering applied to IMA with SCADE ... · Model Based System Engineering applied to IMA with SCADE System ... Software Design Model Coverage Analysis VERIFY](https://reader030.vdocument.in/reader030/viewer/2022041114/5f0509147e708231d410f015/html5/thumbnails/7.jpg)
© 2012 ANSYS, Inc. November 8, 20127
Esterel SCADE Customers in Russia
Aerospace & Defense
Aeropribor Voskhod
AVIAPRIBOR
AVIONIKA MNPK
ElectroAvtomatika
GosNIIAS
IRKUT
MIEA
NIIAO
NKB VS
NPO NAUKA
OAK (UAC)
POLIOT
STAR (Perm Engine Factory)
Aerospace & Defense (con’t)
SUKHOI
Ulyanovsk Design Bureau (UKBP)
VEGA
VNIIRA
Other Industries
EngineeringAT (Rail)
NIIAS (Rail – RZD)
Rostov State Transportation
University (RGUPS)
VNIIA (RosAtom)
![Page 8: Model Based System Engineering applied to IMA with SCADE ... · Model Based System Engineering applied to IMA with SCADE System ... Software Design Model Coverage Analysis VERIFY](https://reader030.vdocument.in/reader030/viewer/2022041114/5f0509147e708231d410f015/html5/thumbnails/8.jpg)
© 2012 ANSYS, Inc. November 8, 20128
SCADE Aeronautics Applications
• Autopilots
• Anti-icing
• Braking and Landing Gear Systems
• Cabin Pressure and Climate Control
• Cockpit Display Systems
• Doors and Slides
• Electronic Flight Bags
• Engine Control Systems (FADEC)
• Flight Control Systems / High Lift / Slat and Flaps
• Flight Management Systems
• Flight Warning Systems
• Fuel Management
• Heads-up Display
• Hydraulic Controls
• Navigation, Guidance and Inertial Units
• Nacelle Control Systems
• On-Board Airport Navigation Systems
• On-Board Maintenance System
• Oxygen Control units
• Power Management & APU
• Training and Simulation systems
• Thrust Reversers
• Water/Waste
![Page 9: Model Based System Engineering applied to IMA with SCADE ... · Model Based System Engineering applied to IMA with SCADE System ... Software Design Model Coverage Analysis VERIFY](https://reader030.vdocument.in/reader030/viewer/2022041114/5f0509147e708231d410f015/html5/thumbnails/9.jpg)
© 2012 ANSYS, Inc. November 8, 20129
SCADE Usage in Civilian Programs
• Wide-Bodied
– Airbus A318 Elite, A340, A380, A350, A320 Neo
– Boeing 737 SWA, 737 MAX, 787, 747-8
– COMAC C919
– Irkut-OAK MS -21
• Regional Jets
– ARJ-21 (Chinese Regional Jet)
– ATR 42/72-600
– Bombardier CRJ 1000, CSeries
– Mitsubishi MRJ
– Sukhoi Superjet 100
• Special Purpose
– Beriev-200e
• Business Jets
– Cessna Citation Mustang, Encore+, XLS+
– Dassault Falcon 7X, Falcon SMS
– Eclipse 500
– Embraer Phenom 100/300
– Gulfstream G250, G500, G650
– Learjet 85
• Helicopters
– Eurocopter AS 350
– Eurocopter EC135/145/155/225
– Sikorsky S76D
– MHI, KHI, Fuji HI programs
• Civilian UAV
– Watchkeeper (UK)
– ANKA (Turkey)
– Skyblade (Singapore)
– Pipeline surveillance (Russia)
![Page 10: Model Based System Engineering applied to IMA with SCADE ... · Model Based System Engineering applied to IMA with SCADE System ... Software Design Model Coverage Analysis VERIFY](https://reader030.vdocument.in/reader030/viewer/2022041114/5f0509147e708231d410f015/html5/thumbnails/10.jpg)
© 2012 ANSYS, Inc. November 8, 201210
SCADE Product Line
SystemDesign
System Architecture,System Verification
SCADE SYSTEM Software system design,
architecture and simulation
DisplaySoftware Design
Prototyping, Design, Verification, Qualified
Code Generation SCADE DISPLAYDisplay software
prototyping, design, verification and qualified
code generation
ApplicationLifecycle Mgt
Certification Plans, Metrics, Requirements, Configuration
Management,Documentation
Generation
SCADE LIFECYCLELifecycle and requirements
management certification plans, documentation generation
ControlSoftware Design
Prototyping, Design,Verification, Qualified
Code Generation
SCADE SUITEControl software design, prototyping, verification and qualified code generation
![Page 11: Model Based System Engineering applied to IMA with SCADE ... · Model Based System Engineering applied to IMA with SCADE System ... Software Design Model Coverage Analysis VERIFY](https://reader030.vdocument.in/reader030/viewer/2022041114/5f0509147e708231d410f015/html5/thumbnails/11.jpg)
© 2012 ANSYS, Inc. November 8, 201211
SCADE System
SystemDesign
DESIGN
VERIFY
Model
Diff
INTEGRATE
System/Software
Sync Up(including I/Os)
![Page 12: Model Based System Engineering applied to IMA with SCADE ... · Model Based System Engineering applied to IMA with SCADE System ... Software Design Model Coverage Analysis VERIFY](https://reader030.vdocument.in/reader030/viewer/2022041114/5f0509147e708231d410f015/html5/thumbnails/12.jpg)
© 2012 ANSYS, Inc. November 8, 201212
ARP 4754 Compliant
Functional
Allocations
Detailed Architecture
System Functional
& Architectural
Design
Architecture
Avionics Architecture Modeling
![Page 13: Model Based System Engineering applied to IMA with SCADE ... · Model Based System Engineering applied to IMA with SCADE System ... Software Design Model Coverage Analysis VERIFY](https://reader030.vdocument.in/reader030/viewer/2022041114/5f0509147e708231d410f015/html5/thumbnails/13.jpg)
© 2012 ANSYS, Inc. November 8, 201213
SCADE Suite for Partition Design
PROTOTYPE & DESIGN
ControlSoftware Design
Model
Coverage
Analysis
VERIFY
Formal
Verification
Time & Stack
Analysis
Debug &
Simulation
Model
Checking
Model Diff
SCADE Suite KCG
C & Ada
RTOS & PLC Adaptors
GENERATE
Object Code
& Compiler
Verification
DO-178B
IEC 61508
EN 50128
Certification Kits
![Page 14: Model Based System Engineering applied to IMA with SCADE ... · Model Based System Engineering applied to IMA with SCADE System ... Software Design Model Coverage Analysis VERIFY](https://reader030.vdocument.in/reader030/viewer/2022041114/5f0509147e708231d410f015/html5/thumbnails/14.jpg)
© 2012 ANSYS, Inc. November 8, 201214
SCADE Display for Partition Design
DisplaySoftware Design
Simulation
VERIFY
Model
Checking
GENERATE
DO-178B
IEC 61508
EN 50128
Certification Kits
SCADE Display KCG
PROTOTYPE & DESIGN
(incl. A661)
![Page 15: Model Based System Engineering applied to IMA with SCADE ... · Model Based System Engineering applied to IMA with SCADE System ... Software Design Model Coverage Analysis VERIFY](https://reader030.vdocument.in/reader030/viewer/2022041114/5f0509147e708231d410f015/html5/thumbnails/15.jpg)
© 2012 ANSYS, Inc. November 8, 201215
SCADE Suite & Display inside A 380
![Page 16: Model Based System Engineering applied to IMA with SCADE ... · Model Based System Engineering applied to IMA with SCADE System ... Software Design Model Coverage Analysis VERIFY](https://reader030.vdocument.in/reader030/viewer/2022041114/5f0509147e708231d410f015/html5/thumbnails/16.jpg)
© 2012 ANSYS, Inc. November 8, 201216
What is unique about SCADE ?
SCADE is developed specifically to be able to address critical system and software applications
SCADE Suite and Display Code Generators are certified/qualified according to the following international safety standards:
• DO-178B / DO-178C (2012) qualification up to Level A – Aerospace & Defense
• EN 50128 certification up to SIL 3/4 – Rail Transportation
• IEC 61508 certification up to SIL 3 – Industrial & Energy
• IEC 60880 full compliance – Nuclear Instrumentation & Control
• IEC 62304 full compliance – Medical Systems
• EN 13849 full compliance – Industrial Machines Safety
• ISO 26262 certification up to ASIL D – Automotive (2012)
Same products qualified at the highest level of safety across 5 market segments by 10 safety authorities, worldwide
![Page 17: Model Based System Engineering applied to IMA with SCADE ... · Model Based System Engineering applied to IMA with SCADE System ... Software Design Model Coverage Analysis VERIFY](https://reader030.vdocument.in/reader030/viewer/2022041114/5f0509147e708231d410f015/html5/thumbnails/17.jpg)
© 2012 ANSYS, Inc. November 8, 201217
• Esterel Technologies currently develops SCADE Solutions for IMA– Addressing the Avionics Architecture and
Software Partition Application layers.
– Leveraging SCADE System to describe the IMA avionics architecture using standards-based SysML interoperable description
– Leveraging existing ARINC 653 Adaptor features of SCADE Suite KCG and SCADE Display KCG
– … to provide a complete Model-Based solution for IMA systems and applications development
• In close partnership with IMA experts & users, including GosNIIAS
Esterel IMA Strategic Initiative
![Page 18: Model Based System Engineering applied to IMA with SCADE ... · Model Based System Engineering applied to IMA with SCADE System ... Software Design Model Coverage Analysis VERIFY](https://reader030.vdocument.in/reader030/viewer/2022041114/5f0509147e708231d410f015/html5/thumbnails/18.jpg)
© 2012 ANSYS, Inc. November 8, 201218
SCADE Solutions for IMA compliant systemsFrançois Xavier DORMOY – SCADE System IMA Product Mgr
![Page 19: Model Based System Engineering applied to IMA with SCADE ... · Model Based System Engineering applied to IMA with SCADE System ... Software Design Model Coverage Analysis VERIFY](https://reader030.vdocument.in/reader030/viewer/2022041114/5f0509147e708231d410f015/html5/thumbnails/19.jpg)
© 2012 ANSYS, Inc. November 8, 201219
IMA Challenges
• Manage complete avionics architecture with DATA dictionaries
• Reduce complexity of system Integration
• Ensure determinism of the system behavior
• Manage System / Software communication and synchronization
• Capability to perform testing early in the process
• Automate IMA configuration tables generation
• Certification according to DO-178B/C and DO-297 (IMA)
![Page 20: Model Based System Engineering applied to IMA with SCADE ... · Model Based System Engineering applied to IMA with SCADE System ... Software Design Model Coverage Analysis VERIFY](https://reader030.vdocument.in/reader030/viewer/2022041114/5f0509147e708231d410f015/html5/thumbnails/20.jpg)
© 2012 ANSYS, Inc. November 8, 201220
• System Architect Designer and Integrators– Architecture, Integration, Platform Acceptance, System Acceptance
• Application Suppliers– Application, Application Acceptance
• IMA Platform Suppliers– Hardware resources and Software drivers
• ARINC 653 OS Suppliers– Ensure Time and space partitioning– Access to hardware resources in an abstracted manner (APEX interfaces
standard)
• Certification Authorities
– Certification of Modules, Platform, Apps, System
The Stakeholders in an IMA Program
SCOPE of SCADE solutions
SCOPE of Esterel Partners’ solutions
![Page 21: Model Based System Engineering applied to IMA with SCADE ... · Model Based System Engineering applied to IMA with SCADE System ... Software Design Model Coverage Analysis VERIFY](https://reader030.vdocument.in/reader030/viewer/2022041114/5f0509147e708231d410f015/html5/thumbnails/21.jpg)
© 2012 ANSYS, Inc. November 8, 201221
SCADE Solutions for IMA Compliant Systems
![Page 22: Model Based System Engineering applied to IMA with SCADE ... · Model Based System Engineering applied to IMA with SCADE System ... Software Design Model Coverage Analysis VERIFY](https://reader030.vdocument.in/reader030/viewer/2022041114/5f0509147e708231d410f015/html5/thumbnails/22.jpg)
© 2012 ANSYS, Inc. November 8, 201222
Use model for SCADE Solutions for IMA
• Full Static description of the IMA avionics architecture model in SCADE System– Supports functional decomposition
– Supports static architecture decomposition (graphical)
– Supports allocation of functions to components
– Management of Interface database for an equipment
• Partition Design and Code Generation with SCADE Suite & Display– WCET estimation & optimization
– DO-178B&C Level A qualified code generation & ARINC 653 compliance
• Methodology and IMA Application LifeCycle Support with SCADE LifeCycle– Synchronization of System architecture and Software Engineering
– Full Traceability management (with LifeCycle RM Gateway)
– Entire Documentation Generation (with LifeCycle Reporter)
![Page 23: Model Based System Engineering applied to IMA with SCADE ... · Model Based System Engineering applied to IMA with SCADE System ... Software Design Model Coverage Analysis VERIFY](https://reader030.vdocument.in/reader030/viewer/2022041114/5f0509147e708231d410f015/html5/thumbnails/23.jpg)
© 2012 ANSYS, Inc. November 8, 201223
Summary SCADE IMA workflow
IMA HW Platform (CPU, I/O, Networks: AFDX, ARINC 429…)
IMA Operating System
IMA Configuration
Table
Application2(e.g. FCS)
Application3(e.g. TCAS)
Application1(e.g. FMS)
Partitions
Manual or legacy Code
IMA Usage Domain (Plaform Constraints)
IMA Platform provider
Partitions Partitions
A653 API
![Page 24: Model Based System Engineering applied to IMA with SCADE ... · Model Based System Engineering applied to IMA with SCADE System ... Software Design Model Coverage Analysis VERIFY](https://reader030.vdocument.in/reader030/viewer/2022041114/5f0509147e708231d410f015/html5/thumbnails/24.jpg)
© 2012 ANSYS, Inc. November 8, 201224
Customer Example Application
(Presented by Eurocopter at the SCADE User Group Conference)
![Page 25: Model Based System Engineering applied to IMA with SCADE ... · Model Based System Engineering applied to IMA with SCADE System ... Software Design Model Coverage Analysis VERIFY](https://reader030.vdocument.in/reader030/viewer/2022041114/5f0509147e708231d410f015/html5/thumbnails/25.jpg)
© 2012 ANSYS, Inc. November 8, 201225
MFD Example
![Page 26: Model Based System Engineering applied to IMA with SCADE ... · Model Based System Engineering applied to IMA with SCADE System ... Software Design Model Coverage Analysis VERIFY](https://reader030.vdocument.in/reader030/viewer/2022041114/5f0509147e708231d410f015/html5/thumbnails/26.jpg)
© 2012 ANSYS, Inc. November 8, 201226
Architecture design in SCADE System
Equipment communication
![Page 27: Model Based System Engineering applied to IMA with SCADE ... · Model Based System Engineering applied to IMA with SCADE System ... Software Design Model Coverage Analysis VERIFY](https://reader030.vdocument.in/reader030/viewer/2022041114/5f0509147e708231d410f015/html5/thumbnails/27.jpg)
© 2012 ANSYS, Inc. November 8, 201227
Architecture design in SCADE System
![Page 28: Model Based System Engineering applied to IMA with SCADE ... · Model Based System Engineering applied to IMA with SCADE System ... Software Design Model Coverage Analysis VERIFY](https://reader030.vdocument.in/reader030/viewer/2022041114/5f0509147e708231d410f015/html5/thumbnails/28.jpg)
© 2012 ANSYS, Inc. November 8, 201228
Architecture design
Partition design:
External connections
![Page 29: Model Based System Engineering applied to IMA with SCADE ... · Model Based System Engineering applied to IMA with SCADE System ... Software Design Model Coverage Analysis VERIFY](https://reader030.vdocument.in/reader030/viewer/2022041114/5f0509147e708231d410f015/html5/thumbnails/29.jpg)
© 2012 ANSYS, Inc. November 8, 201229
Architecture design in SCADE SystemPartition design: internal connections
![Page 30: Model Based System Engineering applied to IMA with SCADE ... · Model Based System Engineering applied to IMA with SCADE System ... Software Design Model Coverage Analysis VERIFY](https://reader030.vdocument.in/reader030/viewer/2022041114/5f0509147e708231d410f015/html5/thumbnails/30.jpg)
© 2012 ANSYS, Inc. November 8, 201230
Architecture design in SCADE SystemDefinition of types (structures)
![Page 31: Model Based System Engineering applied to IMA with SCADE ... · Model Based System Engineering applied to IMA with SCADE System ... Software Design Model Coverage Analysis VERIFY](https://reader030.vdocument.in/reader030/viewer/2022041114/5f0509147e708231d410f015/html5/thumbnails/31.jpg)
© 2012 ANSYS, Inc. November 8, 201231
Synchronization with SCADE Suite & SCADE Display
– Import from the SCADE System model the datatypes and partitions interface
![Page 32: Model Based System Engineering applied to IMA with SCADE ... · Model Based System Engineering applied to IMA with SCADE System ... Software Design Model Coverage Analysis VERIFY](https://reader030.vdocument.in/reader030/viewer/2022041114/5f0509147e708231d410f015/html5/thumbnails/32.jpg)
© 2012 ANSYS, Inc. November 8, 201232
SCADE Solutions for IMA Benefits
• Management of Avionics Architecture with data dictionary– Enabling design of 100% of IMA Application
– Enabling design of partitions and complete architecture
– Management of I/O signals
• Reduction of the complexity of system integration– Model-Based representation of the system (re-use of legacy)
– Automated systems consistency checks
– Early testing and Rapid Prototyping
• Management of System/Software communication and synchronization– Early WCET estimation & optimization
– Built-in Consistency of Software and System activities
– System and Software semantic Model Diffs
![Page 33: Model Based System Engineering applied to IMA with SCADE ... · Model Based System Engineering applied to IMA with SCADE System ... Software Design Model Coverage Analysis VERIFY](https://reader030.vdocument.in/reader030/viewer/2022041114/5f0509147e708231d410f015/html5/thumbnails/33.jpg)
© 2012 ANSYS, Inc. November 8, 201233
SCADE Solutions for IMA Benefits
• Ensure determinism of system behavior and standards compliance– Determinism of generated code
– Qualified code/table generation capabilities (for DO-178B/C Level A)
– Conformance to ARINC 653 standard
• Automation of IMA configuration table generation
• Certification according to DO-178B & C
![Page 34: Model Based System Engineering applied to IMA with SCADE ... · Model Based System Engineering applied to IMA with SCADE System ... Software Design Model Coverage Analysis VERIFY](https://reader030.vdocument.in/reader030/viewer/2022041114/5f0509147e708231d410f015/html5/thumbnails/34.jpg)
© 2012 ANSYS, Inc. November 8, 201234
• Available Now: SCADE Suite & Display A653 Adaptors (current version)– WCET estimation & optimization
– Partition design and certified code generation
• Available Dec 2012: SCADE System 2.0 (beta), GA in March 2013– Data dictionary and profiling/annotations capability
– SCADE System high level API
– Generic System Checker
• Available H2/2013: SCADE System 2.1 IMA extensions (on top of SCADE System API)– IMA Tables generation
– Specific IMA System Checker
SCADE Solutions for IMA: Roadmap
![Page 35: Model Based System Engineering applied to IMA with SCADE ... · Model Based System Engineering applied to IMA with SCADE System ... Software Design Model Coverage Analysis VERIFY](https://reader030.vdocument.in/reader030/viewer/2022041114/5f0509147e708231d410f015/html5/thumbnails/35.jpg)
© 2012 ANSYS, Inc. November 8, 201235
Thank You !Questions ?