Escolar Documentos
Profissional Documentos
Cultura Documentos
Agenda
Challenges in Aerospace Simulation-Driven Product Development (SDPD) System Functional, Architecture, and Data Modeling Embedded Software Modeling, Implementation, and Certification (DO-178C) Physical Modeling and Co-simulation with the Embedded Software
Challenges in Aerospace
October 2, 2013
Mechatronics
Electrical & Electronics Software Electrical & Electronics
Perform Early and Reliable verification to deliver high quality, safe, and reliable products to the market faster
October 2, 2013
Detailed Design and Optimization Best Practices Software Design Electronics Design Model-based controls design ECAD Model-based display design EDA Automatic code generation and Circuit analysis certification 3D physics Software configuration Multi-physics Esterel Technologies An ISO 9001:2008 Certified Company - Confidential & Proprietary management Optimization
October 2, 2013
Functional
Allocations
Software Engineering
Detailed 3D Multiphysics
Fluent
Simplorer
Maxwell
Mechanical
8 2013 ANSYS, Inc. October 2, 2013 Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
October 2, 2013
Functional interfaces Water_Immersion; Immersion_status Water_Immersion; Immersion_status; Height above water; ON_GND_Detection; Airspeed
DI_IPB_WATER_DETECTED RT_WIS1_SENSOR
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
Data
LH Jettison
RH Jettison PW_FRONT_LH_CARTRIDGE1
PW_FRONT_LH_CARTRIDGE2
10
October 2, 2013
11
12
October 2, 2013
13
October 2, 2013
Architectural decomposition Contains both physical and software blocks May have several levels Abstract Deployed on a particular architecture (e.g. IMA) Needs data modeling (see next slides)
14
October 2, 2013
15
October 2, 2013
16
October 2, 2013
Need for a Data-Based Representation Better independence between the architecture and the information managed by the system
The data may exist prior to the architecture design Industrial practice: ICD
Detailed Specification of the interfaces at all levels ICDs from previous projects reused to initialize new ones
Import/export of data between existing data bases and SCADE System is needed
17
October 2, 2013
<Ctrl> c <Ctrl> v
18
October 2, 2013
19
October 2, 2013
20
October 2, 2013
21
October 2, 2013
22
October 2, 2013
/* ABC_N::Button::SM1::SSM_SM1_dispatch_sel */
SSM_Button_SM1_ST SSM_SM1_dispatch_sel;
b_none
bk_color
background
grey
bk_color
background
f _none
f r_color
f oreground
black
f r_color
f oreground
Unlock
2
Button
Any
Unlock
Preselected
Locked
y ellow
bk_color
background
green
bk_color
background
white
f r_color
f oreground
1
white
f r_color
f oreground
Lock
if (outC->init) { outC->init = kcg_false; SSM_SM1_dispatch_sel = SSM_SM1_Unselected__ABC_N; } else { SSM_SM1_dispatch_sel = outC->M_pre_; } switch (SSM_SM1_dispatch_sel) { case SSM_SM1_Locked__ABC_N : outC->foreground = white_ABC_N; outC->background = green_ABC_N; if (inC->Unlock) { outC->M_pre_ = SSM_SM1_Preselected__ABC_N; } else { outC->M_pre_ = SSM_SM1_Locked__ABC_N; } break; case SSM_SM1_WaitUnlock__ABC_N : outC->foreground = black_ABC_N; outC->background = grey_ABC_N; if (inC->Unlock) { outC->M_pre_ = SSM_SM1_Unselected__ABC_N; } else { outC->M_pre_ = SSM_SM1_WaitUnlock__ABC_N; } break; []
23
October 2, 2013
Airborne (DO-178C)
Ground (DO-278A) FM
(DO-333)
(DO-331)
24
October 2, 2013
o
o o o
o
o
Tool Qualification Plan (TQP) Tool Operational Requirements (LRM and KCG TOR) Tool Requirements (TR) Tool Installation Procedure (TIP) Version Content (VC) Tool Configuration Index (TCI) Tool Accomplishment Summary (TAS)
25
October 2, 2013
26
October 2, 2013
VHDL/AMS for the more electical/electronics components Modelica for the more mechanical components
Need multi-scale modeling Direct link to 3D simulation And Reduced Order Models (ROM) allow efficient multi-scale simulation
27
October 2, 2013
Blocks:
Circuits:
Model Extraction: Equivalent Circuit, Impulse Response Extracted LTI, Stiffness Matrix Electromagnetic (FEA)
28 2013 ANSYS, Inc.
VHDL-AMS
IF (domain = quiescent_domain)
Mechanical (FEA)
October 2, 2013
Thermal (FEA/CFD)
Fluidic (CFD)
V0 == init_v;
ELSE
Current == cap*voltage'dot;
END USE;
29
October 2, 2013
G_R2 := -SA.VAL
2L3_GTOS
PhaseA1 Rotor1
+ w
B6U +
D1 D3 D5
g_r1
g_s1
g_t1
PhaseA2
Rotor2
~ ~ ~
PHI = 0
PhaseB1
PHI = -120
FREQ := 800 Hz AMPL := 800 PHASE := 0 deg FREQ := 50 Hz AMPL := 500 PHASE := -315 deg PHASE := -75 deg
ICA:
SA
SB
PhaseC2 FEA
SC
SIMPARAM1.TotalSteps FEA1.FEA_STEPS
300.00 200.00
Current
Torque
0
1.50k
1.00k
Speed
0
-500.00 -200.00 -715.00 -297.50 0 50.00m 100.00m 0 50.00m 100.00m -500.00 0 50.00m 100.00m
30
October 2, 2013
31
October 2, 2013
32
October 2, 2013
33
October 2, 2013
34
October 2, 2013
35
October 2, 2013
IMA Challenges
Manage complexity of system Integration Ensure determinism of the system behavior Manage System / Software communication and synchronization Capability to perform testing early in the process Automate IMA configuration tables generation
36
October 2, 2013
Application Suppliers
Certification Authorities
37
October 2, 2013
IMA Workflow
Application1
(e.g. FMS)
Application2
(e.g. FCS)
Application3
(e.g. TCAS)
Partitions
Partitions
Partitions
A653 API
IMA Operating System
39
October 2, 2013
UA1
(e.g. FMS)
UA2
(e.g. ATC)
UA3
(e.g. TCAS)
A R I N C
Set Parameter
Notify
6 6 1
UA SUPPLIER
40 2013 ANSYS, Inc. October 2, 2013
Pilot inputs
Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
Widget Creator
+ Widget Library
UA Adaptor
UA DF Generator
XML BIN
A661 Conf
Server Creator
(feat. SCADE Suite & Display KCG)
C
Code
DF
SCADE UA1
(e.g. FMS)
SCADE UA2
(e.g. TCAS)
Other UA3
(e.g. ATC)
Request /Notify
A R I N C 6 6 1
UA SUPPLIER(s) / AIRFRAMER
41 2013 ANSYS, Inc. October 2, 2013
42
October 2, 2013
TTE Plan
Software
SCADE Suite
TTE Build NC
TTE Build DC
P1 P2 P3 P4 P5 Px
Hardware
by TTTech
43 2013 ANSYS, Inc. October 2, 2013 Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary
44
October 2, 2013
46
October 2, 2013
Safety Assessment
System Development
Requirements Capture
Requirements Validation
Item Development
Process Assurance
47
October 2, 2013
FHA
Functional Hazard Analysis
System Functions
Item Requirements
Implementation
System Implementation
Certification
48
October 2, 2013
ARP 4754: SCADE MBSE V-Cycle: Focus on Simulation Driven Product Development (SDPD)
Requirements Validation
Functional Decomposition
Architecture Validation
System Verification
Virtual
Architecture Definition
Allocation of Functions to Items Allocation of Requirements to Items Virtual
Integration
Simplorer
Simplorer
Modeling and Simulation of Items
49
October 2, 2013
Co-Simulation
0 1
FBY
1
PWM1 PWM2
mod_counter
HallA
HallB
MOD_CNT_RIPPLE
6 0
new_pwm_cycle
drv ::HALL
HallC
duty
HallA
1
read_ishunt
HallB HallC
drv ::SpeedCalc
speed
1
MEM Write
duty
new_pwm_cycle
read_ish unt
3
<ElectricTorqueRegul>
CurrentSet
PID
duty_pid
1 1000 1
Ishunt
3
Abs
51
October 2, 2013
Conclusions
52
October 2, 2013
50%
2X
53 2013 ANSYS, Inc. October 2, 2013
54
October 2, 2013
Thank you!
55
October 2, 2013