ANSYS SCADE产品新特性介绍

1、ANSYS SCADE 17.0产品新特性ANSYS SCADE ProductsEmbedded System & SoftwareLifecycle ManagementEmbeddedSystem DesignControlSoftware DesignHMISoftware DesignTestingEnvironmentSCADE Suite R17 InnovationsSCADE Suite Innovations HighlightsControlSoftware DesignPROTOTYPE & DESIGNObject Code & Compiler Verificati

2、onSCADE Suite KCGC & AdaRTOS AdaptorsDO-178B & CIEC 61508EN 50128ISO 26262Certification KitsGENERATECalibrationFormal VerificationTime & StackOptimizationDebug & SimulationModel ChecksPlant Model Co-simulation (incl. FMI)VERIFYHIL/SIL/PIL IntegrationImproved User Experience & SCADE System Integratio

3、nContinued Commitment to Certification: New Certified Ada ToolchainBoost in Generated Code PerformancesOpenness, Flexibility and Multi-Platform Support: FACE & AUTOSARSCADE Suite Innovations HighlightsSCADE System Integration and Improved User Experience 17.0: SCADE System & SCADE Suite delivered to

4、getherInterface ImprovementsOpenness, Flexibility & Multi-Platform Support, facilitating OEM/Supplier InteractionsNew Model/Code Traceability FileNew Viewer ModeFACE & AUTOSAR SupportNew Certified Ada ToolchainAda Code Generation and Simulation available17.017.217.017.2SCADE Suite R17 InnovationsSCA

5、DE System IntegrationSCADE System Integration into SCADE SuiteAn Integrated Workflow for SW-intensive Systems17.0Take-Away: a Complete Software Design EnvironmentArchitecture is also needed at Software levelSCADE System will be delivered with SCADE Suite Advanced Modeler at no cost, to customers und

6、er maintenance and new customersSCADE System Integration into SCADE SuiteAn Integrated Workflow for SW-intensive Systems17.0SCADE Suite R17 InnovationsImproved User ExperienceFiltering & Sorting in the Framework ViewImproving access to elements to increase efficiency particularly on large modelsTree

7、 has filtering capabilityLibraries are now sortedFaster access to the right operator17.0Finding AnnotationsAll user-defined information must be accessibleAnnotations appearin the Find tabIt is now possible togo directly to anyannotation17.0Enhanced PerspectivesSmoothen the user work flowPerspectives

8、 are now attached to a projectLast used perspective is saved between sessionsWhen opening a project, the last used configuration for this project is usedAvailable also for SCADE System and SCADE Test17.0SCADE Suite R17 InnovationsOpenness, Flexibility & Multi-Platform SupportNew CapabilityAUTOSAR (A

9、utomotive Open System Architecture) is a standard developed by a consortium of OEMs, major suppliers, and tool providersIt promotes a layered, standardized architecture with a methodology to develop highly dependable systems in the automotive domain, and in particular embedded softwareANSYS/Esterel

10、is a member of the AUTOSAR consortium17.2SCADE & AUTOSAR Architecturesrc: Generated code complies with AUTOSAR RTE interface SCADE Suite is used to develop the behavior of a Software Component (SWC)17.2AUTOSAR RTE WrapperSCADE AUTOSAR CapabilitiesAUTOSAR ARXMLArchitecture File Control Software desig

11、n SCADE Suite generated codeAny AUTOSAR operating system Import/ExportSynchroGenerationCode integrationSystem Design Refinement& Model Verification17.2New CapabilityThe Future Airborne Capability Environment approach promotes innovation and rapid integration of portable capabilities across global de

12、fense programsFACE is a consortium defining: a Software Technical Standard defines an open architecturea Business Model for the acquisition of affordable software systems Expands software supplier choices and enables interoperabilityCreates a platform for integrating both future and legacy systemsAN

13、SYS/Esterel is a member of the FACE ConsortiumFACE Wrapper FACE UoPSCADE - FACE CapabilitiesFACE file Control Software design SCADE Suite generated codeFACE Transport Service (TSS) & Operating System Segment (OSS)Import/ExportSynchroCode generationCode integrationSystem Design Refinement& Model Veri

14、fication17.0 protoSupport of the FACE Data-Model is already provided in a prototypeSCADE Suite R17 InnovationsBoost in Generated Code PerformancesBoost in Generated Code Performances Improving Data Transfer between operatorsGenerated code interface is customizableInputs and outputs can be gathered i

15、n structures or separatedChoice per operator (pragma) or globally (option)Achieved by new separate_io management-separate_io and no_separate_io options, plus local pragmas17.0Modeling LanguageType constrained literals (monomorph literals)In Scade, the type of the numeric literals are determinate by

16、the context where the literals are used. For instance in (X+1), the type of 1 is the type of X.The type of a literal matters to check its range validity.Rationale:With Scade 6.6, it is possible to syntactically determinate the type of a numeric literal.The new literal is built with:The literal as Sc

17、ade 6.5The underscore character _A symbol for the type: i, ui or fA size: 8, 16, 32 or 64Examples:10_ui32 has type uint320 xffff_i32 has type int3223.7_f64 has type float64Note: 1000_i8 is an integer of type int8 but it is rejected by KCG because its value is not in the range accepted for its type.W

18、arning: The literals are still parsed as unsigned values; eg. 0 xffff_i16 is a signed integer but its value is 65535 (and not -32768) and so it is outside the range of int16.17.0Modeling LanguagePredefined parameterized integer data types: signed / unsignedThese two predefined types with a size para

19、meter allow to define generic Scade nodes where the number of bits of the parameter types can be manipulated as a size parameter.This is particularly useful for implementing Scade function to encode bit vectors.Rationale:signed : signed integer with N bits (N must be equal to 8, 16, 32 or 64)unsigne

20、d : unsigned integer with N bits (N must be equal to 8, 16, 32 or 64)Example:- convert an unsigned to a bigger signedfunction safe_conv (a: unsigned) returns (x: signed)let x = (a : signed);tel17.0SCADE Suite R17 InnovationsContinued Commitment to Certification:New Certified Ada ToolchainNew Certifi

21、ed Ada Toolchain: ModelingA single input language for two target languagesRetarget your existing model to a different language to adapt to various platformsImplement diversity by using two different compilation and execution flow from the same modelSupports different generated object names for C and

22、 AdaPropagate Ada pragmas to generated codeDefine imported operators in AdaReuse your Ada legacy Use Ada code to extend SCADE expressivenessSCADE libraries using imported code now also have an Ada implementation17.0New Certified Ada Toolchain: V&VNative Ada SimulatorSupporting Ada imported codeGener

23、ates Simulation Ada CodeExactly the same principles as C-based simulationSCADE Test fully supports Ada V&V activitiesSCADE Test Model CoverageSCADE Test Execution Environment and Test Harness Generation support Ada generated codeValidation teams can develop their functional tests independently from

24、the actual code generationSCADE Test will be qualified DO-330 TQL-5 in June 2016 for C and Ada17.017.217.0New Certified Ada Toolchain: Code GenerationSCADE Suite KCG for Ada generates SPARK-compliant code, compatible with any Ada 95 compilerFlexibility: separate bodiesReadability: named parametersEf

25、ficiency: procedures or functionsImproved traceability file also for AdaSCADE Suite KCG Ada code generator certificationDO178 C / DO-330 SOI#3 data already availableFull DO-178C/DO-330 Certification Kit available in June 2016ISO 26262, EN 50128, IEC 61508 will follow17.017.2SCADE Display R17 Innovat

26、ionsSCADE Display Innovations HighlightsHMISoftware DesignPROTOTYPE & DESIGNGENERATESCADE Display KCGDO-178B & CIEC 61508EN 50128ISO 26262Certification KitsVERIFYSimulationModel ChecksPlant Model Co-simulation (incl. FMI)Boost in Generated Code PerformancesContinued Commitment to CertificationOpenne

27、ss, Flexibility and Multi-Platform SupportImproved User ExperienceSCADE Display R17 InnovationsBoost in Generated Code PerformancesBoost in Generated Code PerformancesUp to 5X rendering speed up on all OpenGL/SC targetsUp to 10X rendering speed up on all OpenGL ES2 targetsResults of on a strong part

28、nership with FPS measured for a Head-Up Display (HUD) model on a Freescale P2020 / AMD E4690 target, with CoreAVI OpenGL drivers16.2Boost in Generated Code PerformancesWe managed to get significant savings with the Display Lists option, and now our performance is close to their “target specific, opt

29、imized implementation.The new SCADE Display version allowed us evaluating the performance of a HMI design on i.MX6 hardware, OpenGL and OpenGL ES 2.0. The deployment on target was easy and efficient, and performance of the generated code ranked as good.FPS measured for a Head-Up Display (HUD) model

30、on a Freescale P2020 / AMD E4690 target, with CoreAVI OpenGL drivers16.2SCADE Display R17 InnovationsImproved User ExperienceAdditional HMI Design CapabilitiesSupport of concave shapesColored halosMultiple resource tablesAnd much more:Pluggable priorities, Support of wide character type (wchar) for

31、better regional text encoding16.2Improved User InterfaceProject and resources management: UI improvementsImproved Object PaletteGrouping of library widgets into Categories17.0Additional Widget Management CapabilitiesExpanded Widget Library:Tables & Trees17.0Read-only Mode for Library ObjectsSCADE Su

32、ite / SCADE DisplayImproved UI integrationImproved user experience, better efficiency & scalabilityIntegrated windowFiltering capabilitiesBetter scalabilityAdditional functions17.0SCADE Display R17 InnovationsOpenness, Flexibility and Platform IndependenceDashboard Development KitInnovations in SCAD

33、E Solutions for ARINC 661Specification of Definition Files Interfaces (a.k.a UA/CDS Interface)New capability to specify Definition Files InterfacesOn option, Runtime Parameters and Events can be given a name (equivalent of SCADE Display plugs)This defines the interface (ICD) of Definition FilesThis

34、capability is used by the SCADE Suite UA Adaptor user interface to filter the list of available connections between a SCADE Suite logic model and a SCADE UA Page Creator model17.0Innovations in SCADE Solutions for ARINC 661Full Support of Supplement 5 Look ModelingFull Support of Supplement 5 Look M

35、odelingCompliance with the Look Modeling Appendix, for easy look & feel customization and inter-exchange, without the need to recompile the graphical serverCockpit Display System SupplierUpdate and Exchange Look Definition as needed based on a standard formatDefine Look Capacities onceAvionics Integ

36、rator123UA / Function SuppliersAirframer17.0Innovations in SCADE Solutions for ARINC 661Full Support of Supplement 5 Look ModelingImproved UX with a new Styleset Editor for Look & Feel17.0Innovations in SCADE Solutions for ARINC 661Resources & Stylesets as Binary DataConfigurable Resources & Stylese

37、ts More flexibility thanks to the management of Graphical Resources & Stylesets as binary data (similar approach as Definition Files)DF Generator now generates binary data from resources & stylesetsThe SCADE ARINC 661 server is able to load and interpret this data Do not recompile ARINC 661 server f

38、or look & feel updates!+Stylesets+Graphical ResourcesCockpit DisplaySystemPrecompiledARINC 661 ServerUA PageCreatorDFUA DF GeneratorBINRsrcStylesetResource File GeneratorBINBIN17.0SCADE Display R17 InnovationsContinued Commitment to CertificationContinued Commitment to CertificationARINC 661 Solutio

39、ns and DO-178C CertificationTime-to-certification and cost reduction thanks to the qualification of the DF Generator compliant with Supplement 5 as a DO-330 TQL-1 tool for DO-178CEnhancements to the ARINC 661 Project Documentation17.1SCADE System R17 InnovationsSCADE System Innovations HighlightsEmb

40、eddedSystem DesignVERIFYSystem Model ChecksSystem Model Diff/MergeDESIGNArchitecture Design & Data PropagationANALYZEOperational Requirements AnalysisGENERATESystem / SoftwareBi-directional Sync UpICDGenerationCONFIGUREDedicated System Design Solution for AvionicsImproved User Experience for Modelin

41、g Performance & EfficiencyDomain-Specific System Modeling CapabilitiesDedicated System DesignSolution for AvionicsSCADE System Avionics PackageDesign templates for avionics systems compliant with standard protocols and OS ARINC 653, ARINC 429, CAN and ARINC 664 (AFDX)Guidance is provided Clean separ

42、ation of concerns methodComprehensive industrial exampleAutomated servicesVerification of platform resources capabilitiesGeneration of consistent Interface Control Documents (ICD)Fully customizableAll configurations provided as models for reuse and support company-specific methodsSCADE System Avioni

43、cs Package ContentSCADE SystemConfiguratorSCADE SystemAdvanced Modeler+ Configurations+ ARINC 653 Tables Generation, Resources Usage Checks+ Avionics Example:Functional, Software, PlatformAvionicsARINC 653ARINC 429ARINC 664 (AFDX)CANSCADE System Avionics Package ExampleBraking Control System Example

44、: MBSE LevelsSoftware (ARINC 664-P7 / AFDX)FunctionalSoftware (ARINC 429)Platform (ARINC 664-P7 / AFDX)Platform (ARINC 429)Model-Based ICD ManagementARINC 429 MessagesRemote Data Concentrator (RDC) ARINC 429 MessagesModel-Based ICD ManagementARINC 664-P7/AFDX: Messages and Virtual LinksAFXD Messages

45、 DefinitionData Sets DefinitionTable of AFDX virtual links for CPU1Platform Resources Usage ChecksAutomated checks of AFDX communication bandwidthDedicated Checker rule provided in the Avionics PackageChecks that “the sum of AFDX message Length * Rate of AFDX logical ports fits in the corresponding

46、AFDX physical port bandwidth”ARINC 653 Configuration Tables GenerationDedicated ARINC 653 configuration with specific properties for ARINC 653 Software and Hardware modules Automated generation of one VxWorks 653 software partition configuration file per ARINC 653 HW modulePlatform (Avionics, ARINC

47、653)Software (Avionics, ARINC 653)SCADE System Avionics Package ConfigurationsBackbone: specifies the Functional, Software, Hardware levelsCommunications: specifies how Functional data are carried by Software messages down to HardwareRTOS specific: dedicated properties for code and tables generation

48、Independent configurationsAvionicsARINC 653ARINC 429ARINC 664 (AFDX)CANDomain-Specific SystemModeling CapabilitiesSystem Configuration Workflow SCADE System ConfiguratorSCADE System ModelerDefine customized object kinds,derived from SCADE System objectsConfigurationPlug-inGenerateDeploySpecialistEnd

49、-UserDomain specific modelerSCADE System domain definitionallows for automated IDE customizationExample of the Software Level Meta ModelObjectcategoriesdefinitionObjectpropertiesDomain objectsconstraintsCustomized User InterfaceDomain-oriented creation palettes and object propertiesSCADE System Inno

50、vationsDomain constraints management to guide end-user modeling in IDESCADE Test R17 InnovationsSCADE Test R17 Innovation HighlightsTest Execution on Target (RTRT, LDRA, VectorCAST & Generic)TARGET EXECUTIONTest Execution on HostHOST EXECUTIONModel CoverageTesting EnvironmentPROTOTYPING & TEST CREAT

51、IONInteractiveTest CreationRapid PrototypingBreakthrough Support of HMI TestingNew & Integrated Solution to Reduce Testing Cost, spanning C & AdaIntegrated Model & Code Coverage Capabilities Initial Support of System (closed-loop) TestingInnovations in SCADE Test R17Full Support of KCG 6.6 (C and Ad

52、a)17.0: SCADE Test for Host and Target and Model Coverage (C and ADA) - not Code Coverage17.2: SCADE Test for Host and Target, Model and code Coverage (C & Ada) + Certification dataNew Support of HMI Testing integrated in SCADE TestFirst Support of Closed Loop Testing (Snapshot Record)Full Certified

53、 Ada Toolchain (KCG 6.6)Ada Language now supported in V&V flowVerification:Test execution on Host using Ada Generated CodeModel and Code Coverage using Ada Generated Code Test Harness Generation for Ada Generated CodeCertificationSCADE Test for KCG 6.6 C & Ada is certifiable by June 201617.017.017.2

54、Code Coverage 17.2Breakthrough Support of HMI TestingSCADE Test enables now HMI Testing!Full automated execution enabling huge cost savingsScenario recording and execution ease non regression testingSCADE Display model inputs (functional)Pointing device(s) and keyboard(s) inputsSCADE Display model o

55、utputs & values (functional)Display renderingCyclic Execution17.2Bitmap comparison applying tolerance factorBreakthrough Support of HMI TestingAutomatic image comparisonActual ImageExpected ImageComparison Result17.2Mask can be applied to exclude areasBreakthrough Support of HMI TestingAutomatic ima

56、ge comparisonActual ImageExpected ImageComparison ResultComparison MaskExcluded area in black17.2Breakthrough Support of HMI TestingExample of Generated Graphical Report17.2Initial Support of System (closed-loop) TestingOpen vs Closed-loop Testing Input SignalController (SCADE Suite)Measured Respons

57、eInput SignalSystem Under TestMeasured ResponseController(s)embedded Environment/Process Dassault Aviation, GE, P&W, Turbomeca, CARERI, Airbus 17.2Open ClosedInitial Support of System (closed-loop) TestingController (SCADE Suite)System Under TestController(s)embedded Environment/Process APIAPIKCG & Test APIAPIAPIRecord_snapshotRecord_scenarioTest CasesController (SCADE Suite)ResultsTest bench17.2WorkflowOther SCADE