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... ·...
![Page 1: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/1.jpg)
© 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
![Page 2: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/2.jpg)
© 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
![Page 3: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/3.jpg)
© 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!
![Page 4: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/4.jpg)
© 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)
![Page 5: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/5.jpg)
© 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
![Page 6: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/6.jpg)
© 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
![Page 7: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/7.jpg)
© 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
![Page 8: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/8.jpg)
© 2013 ANSYS, Inc. May 26, 2014 8 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Example: “Emergency Floatation System”
![Page 9: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/9.jpg)
© 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
![Page 10: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/10.jpg)
© 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
![Page 11: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/11.jpg)
© 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
![Page 12: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/12.jpg)
© 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
![Page 13: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/13.jpg)
© 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
![Page 14: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/14.jpg)
© 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
![Page 15: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/15.jpg)
© 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
![Page 16: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/16.jpg)
© 2013 ANSYS, Inc. May 26, 2014 16 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Functional View
Functional view of Inflation
![Page 17: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/17.jpg)
© 2013 ANSYS, Inc. May 26, 2014 17 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Architecture View
![Page 18: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/18.jpg)
© 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
![Page 19: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/19.jpg)
© 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
![Page 20: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/20.jpg)
© 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
![Page 21: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/21.jpg)
© 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
![Page 22: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/22.jpg)
© 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
![Page 23: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/23.jpg)
© 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)
![Page 24: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/24.jpg)
© 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
![Page 25: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/25.jpg)
© 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
![Page 26: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/26.jpg)
© 2013 ANSYS, Inc. May 26, 2014 26 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Simple example Fighter model
![Page 27: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/27.jpg)
© 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
![Page 28: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/28.jpg)
© 2013 ANSYS, Inc. May 26, 2014 28 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Functional decomposition
![Page 29: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/29.jpg)
© 2013 ANSYS, Inc. May 26, 2014 29 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Functional decomposition
![Page 30: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/30.jpg)
© 2013 ANSYS, Inc. May 26, 2014 30 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Traceability Model / Requirements
![Page 31: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/31.jpg)
© 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
![Page 32: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/32.jpg)
© 2013 ANSYS, Inc. May 26, 2014 32 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Architecture design
![Page 33: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/33.jpg)
© 2013 ANSYS, Inc. May 26, 2014 33 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Architecture design Mission Computer
![Page 34: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/34.jpg)
© 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
![Page 35: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/35.jpg)
© 2013 ANSYS, Inc. May 26, 2014 35 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Model documentation generation
![Page 36: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/36.jpg)
© 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
![Page 37: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/37.jpg)
© 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
![Page 38: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/38.jpg)
© 2013 ANSYS, Inc. May 26, 2014 38 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
SCADE System Checker report
![Page 39: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/39.jpg)
© 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
![Page 40: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/40.jpg)
© 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
![Page 41: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/41.jpg)
© 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
![Page 42: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/42.jpg)
© 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
![Page 43: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/43.jpg)
© 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
![Page 44: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/44.jpg)
© 2013 ANSYS, Inc. May 26, 2014 44 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Data management
![Page 45: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/45.jpg)
© 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
![Page 46: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/46.jpg)
© 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
![Page 47: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/47.jpg)
© 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)
![Page 48: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/48.jpg)
© 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.
![Page 49: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/49.jpg)
© 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
![Page 50: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/50.jpg)
© 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
![Page 51: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/51.jpg)
© 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
![Page 52: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/52.jpg)
© 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
![Page 53: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/53.jpg)
© 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?”
![Page 54: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/54.jpg)
© 2013 ANSYS, Inc. May 26, 2014 54 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
CUSTOMIZE the SCADE System Modeler
![Page 55: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/55.jpg)
© 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
![Page 56: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/56.jpg)
© 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
![Page 57: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/57.jpg)
© 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
![Page 58: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/58.jpg)
© 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
![Page 59: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/59.jpg)
© 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
![Page 60: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/60.jpg)
© 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
![Page 61: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/61.jpg)
© 2013 ANSYS, Inc. May 26, 2014 61 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Braking System
![Page 62: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/62.jpg)
© 2013 ANSYS, Inc. May 26, 2014 62 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Braking System
62
![Page 63: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/63.jpg)
© 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
![Page 64: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/64.jpg)
© 2013 ANSYS, Inc. May 26, 2014 64 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Braking System Traceability
64
![Page 65: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/65.jpg)
© 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/
![Page 66: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/66.jpg)
© 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/
![Page 67: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/67.jpg)
© 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/
![Page 68: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/68.jpg)
© 2013 ANSYS, Inc. May 26, 2014 68 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Braking System items (Traceability)
68
![Page 69: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/69.jpg)
© 2013 ANSYS, Inc. May 26, 2014 69 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Functional View
![Page 70: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/70.jpg)
© 2013 ANSYS, Inc. May 26, 2014 70 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Software View (AFDX Messages)
![Page 71: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/71.jpg)
© 2013 ANSYS, Inc. May 26, 2014 71 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Physical View
![Page 72: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/72.jpg)
© 2013 ANSYS, Inc. May 26, 2014 72 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Mapping View (Partition)
![Page 73: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/73.jpg)
© 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)
![Page 74: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/74.jpg)
© 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
![Page 75: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/75.jpg)
© 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
![Page 76: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/76.jpg)
© 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
![Page 77: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/77.jpg)
© 2013 ANSYS, Inc. May 26, 2014 77 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
SCADE Solutions for IMA Compliant Systems
![Page 78: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/78.jpg)
© 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)
![Page 79: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/79.jpg)
© 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)
![Page 80: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/80.jpg)
© 2013 ANSYS, Inc. May 26, 2014 80 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Logical-SW
![Page 81: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/81.jpg)
© 2013 ANSYS, Inc. May 26, 2014 81 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Physical-HW
![Page 82: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/82.jpg)
© 2013 ANSYS, Inc. May 26, 2014 82 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Mapping Logical / Physical (PARTITION)
![Page 83: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/83.jpg)
© 2013 ANSYS, Inc. May 26, 2014 83 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Resources
![Page 84: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/84.jpg)
© 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
![Page 85: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/85.jpg)
© 2013 ANSYS, Inc. May 26, 2014 85 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
SCADE System Summary Benefits
![Page 86: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/86.jpg)
© 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
![Page 87: Advanced Training on System designregister.ansys.com.cn/ansyschina/ugm2014/material/slide... · 2014. 5. 26. · ARP-4754A and other Civilian Avionics Standards Aircraft & System](https://reader036.fdocuments.in/reader036/viewer/2022071419/611714def930bf136b3e85b9/html5/thumbnails/87.jpg)
© 2013 ANSYS, Inc. May 26, 2014 87 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
THANK YOU