Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... ·...
Transcript of Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... ·...
© 2013 ANSYS, Inc. May 26, 2014 1 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Advanced Training on System design
ANSYS UGM Conference May 2014
Thierry Le Sergent SCADE System product manager
© 2013 ANSYS, Inc. May 26, 2014 2 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Agenda
• Basics in Model Based Systems Engineering
• Simple example with SCADE tools
• More tool needs for industrial process o Data management o Tool configuration
• Industrial example : aircraft braking system
• Q&A
© 2013 ANSYS, Inc. May 26, 2014 3 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Example of Complex System
Moving Mechanics
With Electric Drives In a Fluid
Environment... Controlled by
Software!
© 2013 ANSYS, Inc. May 26, 2014 4 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
System Engineering
• Methods & guidelines to manage complexity
• Example in aeronautics domain
ARP-4754A Guidelines for Development of Civil Aircraft and Systems (SAE Standard)
© 2013 ANSYS, Inc. May 26, 2014 5 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
ARP-4754A and other Civilian Avionics Standards
Aircraft & System Development Processes
ARP 4754A / ED-79A
Safety Assessment Process Guidelines & Methods
ARP 4761
Electronic Hardware Development Lifecycle
DO-254 / ED-80
Software Development Lifecycle
DO-178B / ED-12B
Intended Aircraft
Function
Function, Failure & Safety Information
System Design
Information
© 2013 ANSYS, Inc. May 26, 2014 6 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
ARP-4754A: Development AND Safety
System Development Process Safety Assessment Process
FHA Functional
Hazard Analysis
PSSA Preliminary System Safety Assessment
SSA
System Safety Assessment
Certification
CCA
Common Causes Analysis
Aircraft Function Development
Allocation of System Requirements to Items
System Implementation
Allocation of Aircraft Functions to Systems
Development of the System Architecture
Implementation
Aircraft Functions
System Functions
Safety Requirements
Item Requirements
© 2013 ANSYS, Inc. May 26, 2014 7 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Function vs Architecture
• Takeoff and Land • Sense Position and Velocity • Navigate • Produce Horizontal Thrust • Produce Vertical Lift
Architectural Definitions Functional Decomposition
© 2013 ANSYS, Inc. May 26, 2014 8 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Example: “Emergency Floatation System”
© 2013 ANSYS, Inc. May 26, 2014 9 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Typical Systems Engineering Documents
Function Float_CP EMERGENCY_ FLOATATION_ UNIT
AMC2 Rh_ASU LL_AU WIS1
To acquire inflation command
To detect helicopter immersion
To acquire the information to authorize or not the inflation
To compute conditions to enable/disable inflation
To inflate the floats
Physical interfaces Functional interfaces
DI_IPB_WATER_DETECTED Water_Immersion; Immersion_status
RT_WIS1_SENSOR
Water_Immersion; Immersion_status; Height above water; ON_GND_Detection; Airspeed
LH Jettison
N/A
RH Jettison
N/A
PW_FRONT_LH_CARTRIDGE1
Trigger_Bottle
PW_FRONT_LH_CARTRIDGE2
Trigger_Bottle
Functional Design
Architectural Design
Functions & Interfaces Allocation
Requirements
Data
© 2013 ANSYS, Inc. May 26, 2014 10 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Main pains expressed
• Main pains expressed by system engineers o Multiple independent techniques and tools to study specific aspects
of a system o Design activities between the different disciplines are often
redundant (e.g. Control System, Safety analysis, Software design)
o Consistency and reconciliation issues when updates occurs o No global view shared by all engineers
• High level requirements expressed o One graphical representation, standardized o Usable in multi-disciplinary contexts o Allowing analysis supported by tools
© 2013 ANSYS, Inc. May 26, 2014 11 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
MBSE formalizes the practices of Systems Engineering through the use of models and
organizes models-centric activities instead of documents-centric activities
Model-Based Systems Engineering
© 2013 ANSYS, Inc. May 26, 2014 12 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
ANSYS Systems Products System
Design & Simulation
System Architecture Design & Verification, Multi-physics
System Simulation
Control Software Design
Prototyping, Design, Verification, Qualified
Code Generation
HMI Software Design
Prototyping, Design, Verification, Qualified
Code Generation
System & Software
Lifecycle Management
Test Creation, Management & Execution, Requirements & Configuration Management,
Metrics & Dashboards, Documentation
Generation
© 2013 ANSYS, Inc. May 26, 2014 13 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
• Available from Esterel Technologies
System Engineering Methodology Handbook
© 2013 ANSYS, Inc. May 26, 2014 14 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Model-Based Systems Engineering Typical Workflow
Detailed Design Embedded Software, Electronics, Physics Hardware
Functional and Architectural Analysis Modelling of functions and Architecture
Operational Analysis Modelling of operational scenarios
Requirements Analysis Manage textual requirements (Doors, Word, Excel…)
1
3
2
4
© 2013 ANSYS, Inc. May 26, 2014 15 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Functional
Allocations
Detailed Architecture
System Functional & Architectural Design
Architecture
Functional decomposition and detailed architecture modeling
© 2013 ANSYS, Inc. May 26, 2014 16 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Functional View
Functional view of Inflation
© 2013 ANSYS, Inc. May 26, 2014 17 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Architecture View
© 2013 ANSYS, Inc. May 26, 2014 18 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Allocation of Functions Function Float_CP EMERGENCY_
FLOATATION_ UNIT
AMC2 Rh_ASU LL_AU WIS1
To acquire inflation command
To detect helicopter immersion
To acquire the information to authorize or not the inflation
To compute conditions to enable/disable inflation
To inflate the floats
Functional Allocation in SCADE System Allocation Tables
© 2013 ANSYS, Inc. May 26, 2014 19 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Allocation of Interfaces
Physical interfaces Functional interfaces
DI_IPB_WATER_DETECTED Water_Immersion; Immersion_status
RT_WIS1_SENSOR
Water_Immersion; Immersion_status; Height above water; ON_GND_Detection; Airspeed
LH Jettison
N/A
RH Jettison
N/A
PW_FRONT_LH_CARTRIDGE1
Trigger_Bottle
PW_FRONT_LH_CARTRIDGE2
Trigger_Bottle
Interface Allocation in SCADE System Allocation Tables
© 2013 ANSYS, Inc. May 26, 2014 20 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
• Not one single System Engineering method/process – Depends on company culture and organization – Depends on pre-existing know-how on the system to develop
• Principle Refine, Trace, Verify
Focus on Functions vs architecture
© 2013 ANSYS, Inc. May 26, 2014 21 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
• 1) Refine
• Keys – Architecture decomposition
• Stop when components can be better design with dedicated tools – SCADE Suite for SW components:
Designs for automated qualified embedded code generation should not be made with SCADE System
– Multi-physics and 3D tools for physical components: A bold or an electronics circuit should not be made with SCADE System
– Function decomposition • One elementary function must be allocated to 1 architecture component • Refine functional decomposition until you can make it
Methodology key points Abstract
(functions) Concrete
(components)
Coarse grain
Trace, Allocate
Decompose
Fine grain
© 2013 ANSYS, Inc. May 26, 2014 22 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Functions allocation
Pressure Sensor1
Pressure Sensor2
SW code
Provide Pressure
Architecture components
Functions
Not a good specification of what Each component shall do Refine the function so that each elementary functions is fully allocated to 1 component
© 2013 ANSYS, Inc. May 26, 2014 23 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Functions allocation
Pressure Sensor1
Pressure Sensor2
SW code
Provide Pressure
Measure P1
Measure P2
Average 1s
Average 1s
Max pressure
Architecture components
Functions
Good specification of what each component shall do
And don’t refine further (use SCADE Suite for SW code impl)
© 2013 ANSYS, Inc. May 26, 2014 24 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
• 2) Trace
• Each refinement is traced to the previous level SCADE LifeCycle RMgateway to manage directly end-to-end requirement impact analysis
• 3) Verify
• Verify model consistency – Define you own design rule and automate verification with SCADE System Checker
• Simulate as soon as possible – Functional behavior: SCADE Suite – Multi-physics: ANSYS Simplorer – Both cases: SCADE LifeCycle Rapid Prototyper
Methodology key points
© 2013 ANSYS, Inc. May 26, 2014 25 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
• Support Model Based System Engineering (MBSE) development process o Functional decomposition & architecture design o Allocation of functions on components
• Enable a seamless design process from system design to software implementation o Synchronization of system components with software
implementation
• SCADE System Modeler o Focus on ease of use o Allows graphical multi-views on a system model composing
packages, diagrams, blocks, ports, connectors o SysML based
© 2013 ANSYS, Inc. May 26, 2014 26 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Simple example Fighter model
© 2013 ANSYS, Inc. May 26, 2014 27 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Simple example
• Simplified Fighter o Radar o Identification Friend or Foe o Mission computer o Interactive display o Gun
• Textual requirements
© 2013 ANSYS, Inc. May 26, 2014 28 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Functional decomposition
© 2013 ANSYS, Inc. May 26, 2014 29 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Functional decomposition
© 2013 ANSYS, Inc. May 26, 2014 30 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Traceability Model / Requirements
© 2013 ANSYS, Inc. May 26, 2014 31 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Traceability from SCADE System • SCADE LifeCycle RM Gateway GUI
o A docked-window for immediate visualization, navigation, link
© 2013 ANSYS, Inc. May 26, 2014 32 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Architecture design
© 2013 ANSYS, Inc. May 26, 2014 33 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Architecture design Mission Computer
© 2013 ANSYS, Inc. May 26, 2014 34 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Allocation table
• Leaf functions allocated to leaf components
© 2013 ANSYS, Inc. May 26, 2014 35 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Model documentation generation
© 2013 ANSYS, Inc. May 26, 2014 36 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
System Model API
• Development of custom verifications, data import or export o Wizard to help creating your first
scripts o TCL, Java and OCL technologies
© 2013 ANSYS, Inc. May 26, 2014 37 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
SCADE System Checker • Automated verification
o For methodological rules and consistency of the model • “Are all functions allocated to a component?” • “Are all functions well connected”
o Easy customization of rules • Predefined rules • User defined rules
o Tool configurations • Select different set of checking rules • Select packages to be checked
For example, different check at: – Functional level – Architecture level
o Run and report • Within IDE or in batch
© 2013 ANSYS, Inc. May 26, 2014 38 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
SCADE System Checker report
© 2013 ANSYS, Inc. May 26, 2014 39 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
SCADE System • System – Software Models Synchronization
o Avoid duplication of efforts and inconsistencies between system structural models and software behavioral models
o System design and Software components evolve independently
o On-demand re-synchronization of interfaces
Interfaces described in SCADE System model
Software designs
© 2013 ANSYS, Inc. May 26, 2014 40 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
System – Software Collaboration
Software System
SCADE System Advanced Modeler Seat
© 2013 ANSYS, Inc. May 26, 2014 41 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Model Diff/Merge
• Compute, highlight and merge dependencies in 1 click
• User control with “force match” and “exclude match” actions
SCADE System Advanced Modeler Seat
© 2013 ANSYS, Inc. May 26, 2014 42 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Model Diff/Merge
• Comprehensive report generation
• Differences before merge session
• Merge actions • Differences
after merge session
SCADE System Advanced Modeler Seat
© 2013 ANSYS, Inc. May 26, 2014 43 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Collaboration Capabilities
• Model Component Export o Preserve IP of other system design parts, e.g. to subcontract the SW
development of one system block
• Workflow example o 1/ Export subsystems
• Allow several teams working in parallel on the exported subsystems o 2/ Reintegrate modifications
• Rely on Diff-Merge tool o 3/ Report from reintegration o 4/ Iterate as often as needed
SCADE System Advanced Modeler Seat
© 2013 ANSYS, Inc. May 26, 2014 44 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Data management
© 2013 ANSYS, Inc. May 26, 2014 45 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Comprehensive Data Management with SCADE System
• Systems engineers need to o Manage and produce ICDs (Interface Control Documents),
that are detailed specifications of • all the interfaces between subsystems • all the interfaces of the system with the outside
o Ensure independence between the system architecture and the data exchanged, produced and consumed within the system • Those data may be defined prior to the design of the system architecture
itself (reuse of legacy data)
• SCADE System allows to o Import/export data dictionaries o Allocate data to the architecture, and propagate data along the
communication paths o Manage and produce model-based ICDs
© 2013 ANSYS, Inc. May 26, 2014 46 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Import/export Data dictionary
Direct copy/paste from/to excel
- Creates data, - Binds names to existing information e.g. datatype
<Ctrl> c
<Ctrl> v
© 2013 ANSYS, Inc. May 26, 2014 47 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
SCADE System data
• Data in SCADE system o Objects defined within blocks with a name and a datatype
• (SysML “block properties” renamed “data” in SCADE System)
© 2013 ANSYS, Inc. May 26, 2014 48 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Exchange of information (between functions or architecture items)
Classical representation in SysML: Info exchanged between items expressed by the ports, carrying in particular a name and a direction.
© 2013 ANSYS, Inc. May 26, 2014 49 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Exchange of information (between functions or architecture items)
Data-based representation: The ports represent only “gates” through which the information implemented as “data” can circulate. Data are connected to Ports and propagate through the connectors
© 2013 ANSYS, Inc. May 26, 2014 50 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Data propagation in architecture
OFV_SpeedCommand
CabinPressure1
SpeedCommand
OFV_SpeedCommand = SpeedCommand
© 2013 ANSYS, Inc. May 26, 2014 51 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
• Model based ICDs o At all levels (functional, architecture item, equipment,…) o Supported by customizable tables in each block
• List of data produce/consumed • Data properties • Information extracted from the model (queries)
– e.g. Source/Target of the data, – Communication means properties, …
o ICD tables always in synch with the model, directly exportable to excel
Model based ICDs
© 2013 ANSYS, Inc. May 26, 2014 52 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Demo
• Data propagation in Fighter example
SCADE System Advanced Modeler Seat
© 2013 ANSYS, Inc. May 26, 2014 53 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Benefits
• Better independence between the architecture and the information managed by the system o The data may exist prior to the architecture design o Simple import from excel
• Maintain ICD (Interface Control Document) consistent o Detailed Specification of the interfaces at all levels o Export to excel
• Support traceability with requirements
• Automate verifications o Rule example: “Are all data produced by exactly 1 component, and used
at least once?”
© 2013 ANSYS, Inc. May 26, 2014 54 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
CUSTOMIZE the SCADE System Modeler
© 2013 ANSYS, Inc. May 26, 2014 55 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
SCADE System Configurator
• Customize SCADE System for a Customer specific domain, as well as standard domains such as IMA, AUTOSAR, etc…
SCADE System Configurator
© 2013 ANSYS, Inc. May 26, 2014 56 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
SCADE System Configurator Workflow
SCADE System Configurator SCADE System Modeler
Define customized object kinds, derived from SCADE System objects
Equipment - propX - propY
Bus - propZ
Function - prop1 - prop2 Configuration
Plug-in
Generate
Deploy
Specialist End-User
Domain specific modeler
SCADE System Configurator
© 2013 ANSYS, Inc. May 26, 2014 57 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Definition of Domain-Specific Objects
• Definition of domain-specific objects o Function, Equipment, Bus, … o Domain specific objects properties and inter-objects constraints
SCADE System Configurator
© 2013 ANSYS, Inc. May 26, 2014 58 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
System Modeler IDE Customization
• Definition of domain-specific objects o Function, Equipment, Bus, … o Domain specific objects properties and inter-objects constraints
• IDE customization o Dedicated user interface palettes o Dedicated property view
SCADE System Configurator
© 2013 ANSYS, Inc. May 26, 2014 59 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Automatic Packaging of Configuration
• Definition of domain-specific objects o Function, Equipment, Bus, … o Domain specific objects properties and inter-objects constraints
• IDE customization o Dedicated user interface palettes o Dedicated property view
• Automatic packaging of the SCADE System Configuration o SCADE System Configuration managed as a SCADE project o Simple deployment on SCADE System end-user machine
SCADE System Configurator
© 2013 ANSYS, Inc. May 26, 2014 60 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Demo
• Workflow example o 1/ Create simple configuration project o 2/ Deploy the configuration o 3/ Create simple configured project o 4/ Exploit the configured project for code generation
o Video
SCADE System Advanced Modeler Seat
© 2013 ANSYS, Inc. May 26, 2014 61 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Braking System
© 2013 ANSYS, Inc. May 26, 2014 62 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Braking System
62
© 2013 ANSYS, Inc. May 26, 2014 63 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Braking System
• System Requirements
• System model: 3 levels o Functional
• Exchanges of functional data between functions o Software
• Introduction of redundancies, messages, … • Functions are realized by Software components
o Hardware • The CPU, switches, … • Software components are allocated to Hardware components
• Software design o Requirements o SCADE Suite model from which the embeddable code is generated
SCADE System Configurator
© 2013 ANSYS, Inc. May 26, 2014 64 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Braking System Traceability
64
© 2013 ANSYS, Inc. May 26, 2014 65 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Braking System Traceability
• 1/ System Requirements – System model o Trace the System Functions to the System Requirements o Some requirements are traced to the Software and Hardware levels o Supported by SCADE LifeCyle Requirement Management Gateway
SCADE System Configurator
1/
© 2013 ANSYS, Inc. May 26, 2014 66 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Braking System Traceability
• 2/ Within System model o Functions allocated to Software components o Software components allocated to Hardware components o Supported by SCADE System allocation o Can be shown in SCADE LifeCyle Requirement Management
Gateway for end-to-end impact analysis
SCADE System Configurator
2/
© 2013 ANSYS, Inc. May 26, 2014 67 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Braking System Traceability
• System to Software o 3/ Models: automated translation of Software components defined
in System model give the traceability to the Software architecture o 4/ System Requirements allocated to Software are refined in the
Software HLR document. Traceability with RM Gateway o 5/ Behavioral design in SCADE Suite is traced to the Software HLR
document with RM Gateway
SCADE System Configurator
3/
4/
5/
© 2013 ANSYS, Inc. May 26, 2014 68 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Braking System items (Traceability)
68
© 2013 ANSYS, Inc. May 26, 2014 69 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Functional View
© 2013 ANSYS, Inc. May 26, 2014 70 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Software View (AFDX Messages)
© 2013 ANSYS, Inc. May 26, 2014 71 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Physical View
© 2013 ANSYS, Inc. May 26, 2014 72 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Mapping View (Partition)
© 2013 ANSYS, Inc. May 26, 2014 73 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
ICD Table in SCADE System
• Focus on ADIRU
ADIRU DATA
Easy to fill from Excel (Ctrl^C Ctrl^V)
© 2013 ANSYS, Inc. May 26, 2014 74 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
ICD Table in SCADE System
• Provided in the tool (Model based approach)
• Kept consistent
• Available to designer
• No Export function needed just Crl^C Crl^V to export to Excel
© 2013 ANSYS, Inc. May 26, 2014 75 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
ICD Source Destination Parameter Name TypeCOM ACMS AFDX_AB_MODE_LOW NullCOM ACMS AFDX_AB_MODE_MED NullCOM ACMS AFDX_AB_MODE_MAX NullCOM ACMS AFDX_AB_FAULT NullCOM ACMS AFDX_AB_LOW_ACTIV NullCOM ACMS AFDX_AB_MED_ACTIV NullCOM ACMS AFDX_AB_MAX_ACTIV NullCOM COCKPIT O_B_LOW_ON NullCOM COCKPIT O_B_MED_ON NullCOM COCKPIT O_B_MAX_ON NullCOM COCKPIT O_B_STK_LIGHT NullCOM COCKPIT O_B_LG_LEVER_UP_BAULK NullCOM COCKPIT O_B_LOW_DECEL NullCOM COCKPIT O_B_MED_DECEL NullCOM COCKPIT O_B_MAX_DECEL NullCOM COCKPIT O_B_BPPS Null
MONCAS1CAS2CAS3
ACPTNull
MON CAS1;CAS2;CAS3 SYSTEM_CONF Null
MONCAS1CAS2CAS3
BF_BCS_ACPT_LOW_PRESNull
MONCAS1CAS2CAS3
BCS_LBP_RATIO_VALNull
MONCAS1CAS2CAS3
BCS_RBP_RATIO_VALNull
MONCAS1CAS2CAS3
BF_BCS_SV1_JOP Null
MONCAS1CAS2CAS3
EF_BCS_RELEASE_FLT_WHEEL12Null
MONCAS1CAS2CAS3
BCS_BRKSELV1_UNWANTNull
MONCAS1CAS2CAS3
BCS_BRKSELV1_JCLNull
MONCAS1CAS2CAS3
BCS_B_SYST12_FAILURENull
MONCAS1CAS2CAS3
BCS_VAL_WHEELSPEED1Null
MONCAS1CAS2CAS3
BCS_VAL_WHEELSPEED2Null
MONCAS1CAS2CAS3
BCS_BF_AS_BRK1_LOSSNull
MONCAS1CAS2CAS3
BCS_BF_AS_BRK2_LOSSNull
ADIRU COM ADIRU_AC_GND_SPEED NullADIRU COM ADIRU_AC_ACCEL NullADIRU COM ADIRU_AC_PITCH_ANGLE Null
COCKPIT COM I_U_LBP NullCOCKPIT COM I_U_RBP NullCOCKPIT COM I_U_BPPS NullCOCKPIT COM I_B_LG_UP NullCOCKPIT COM I_B_LG_DOWN NullCOCKPIT COM I_B_ASOFF NullCOCKPIT COM I_B_AB_1 NullCOCKPIT COM I_B_AB_2 NullCOCKPIT COM I_B_AB_3 NullCOCKPIT COM I_B_AB_4 NullCOCKPIT COM I_B_RTO NullCOCKPIT COM I_B_STK NullCOCKPIT COM I_B_PARK_ON Null
Nom de paramètre unique par partition
© 2013 ANSYS, Inc. May 26, 2014 76 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Synchronization with SCADE Suite & SCADE Display
o Synchronization in both direction between the SCADE System model and SCADE Suite partitions model
© 2013 ANSYS, Inc. May 26, 2014 77 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
SCADE Solutions for IMA Compliant Systems
© 2013 ANSYS, Inc. May 26, 2014 78 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
SCADE IMA Solution Approach
• Solution build on top of SCADE System to overcome SysML drawbacks o Dedicated IMA objects (SCADE System Configurator) o Specific management of instances o Data Management Capabilities
• Objectives o Provide an IMA Designer Editor o Perform Checks (Projection Constraints like Segregation, Platform
constraints like resource Usage & Envelope) o Ease collaboration between OEM and Application provider o Generate Configuration Tables and ICD tables o Scheduling analysis o Encoding Decoding Data (like ARINC 429) o Simulation o Documentation Generation and Traceability (Lifecycle)
© 2013 ANSYS, Inc. May 26, 2014 79 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
SCADE IMA Configurator model On going work
• Current Status o Logical View o Hardware View (simplified) o Mapping – Projection o Resource Definition Usage Envelope mechanism
• On Going o Attribute Settings o Projection Constraints capture (segregation, …) o VxWorks Table generation o Scheduling Analysis o Data Management o Checks definition (allocation constraints, Platform Constraints)
© 2013 ANSYS, Inc. May 26, 2014 80 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Logical-SW
© 2013 ANSYS, Inc. May 26, 2014 81 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Physical-HW
© 2013 ANSYS, Inc. May 26, 2014 82 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Mapping Logical / Physical (PARTITION)
© 2013 ANSYS, Inc. May 26, 2014 83 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Resources
© 2013 ANSYS, Inc. May 26, 2014 84 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
• Ensure determinism of system behavior and standards compliance o Determinism of generated code o Qualified code/table generation capabilities (for DO-178B/C Level A) o Conformance to ARINC 653 standard
• IMA resources management (sizing, optimization and Checks)
• Communication Management (Message Definition in link with ICD, VL definition)
• Automation of IMA configuration table generation (On going work with WindRiver)
• Scheduling Analysis (On going work with SymTAVision)
• Certification according to DO-178B & C
SCADE Solutions for IMA Expected Benefits
© 2013 ANSYS, Inc. May 26, 2014 85 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
SCADE System Summary Benefits
© 2013 ANSYS, Inc. May 26, 2014 86 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
SCADE System Summary Benefits • Support System Engineering development process
o Functional decomposition & architecture design o Allocation of functions on components o Data import, export, link with architecture
• SCADE System Modeler o Focus on ease of use, Allows graphical multi-views o Based on the SysML standard notation o Model API for the development of custom verifications, import or export
• Enable a seamless design process from system design to software implementation o Traceability with other tools via SCADE LifeCycle RMGateway o Automatic generation of reports with SCADE LifeCycle Reporter o Interfaces synchronization of system components with software
implementation
A Model–based solution… much more than a “drawing” tool and plain databases
© 2013 ANSYS, Inc. May 26, 2014 87 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
THANK YOU