airbus use case flight control remote...
TRANSCRIPT
AIRBUS Use Case Flight Control Remote Module
Presented by
Pierre MOREAU Hardware Methodology & Certification Electronics Avionics & Simulation Products Department
David GUIHAL Hardware Methodology On behalf of Alyotech
Workshop Grenoble Minatec
October 14-15 2010
October 14-15, 2010 Airbus Use Case Workshop Grenoble Minatec Socket Page 2
Plan
1) Introduction
- Engineering Theme Stakes
- Equipment Development : State of the Art and Target (Model Based)
- Main Research Axis
2) Socket Airbus Use Case
- Environment
- Architecture
- Roadmap
October 14-15, 2010 Airbus Use Case Workshop Grenoble Minatec Socket Page 3
Plan
1) Introduction
- Engineering Theme Stakes
- Equipment Development : State of the Art and Target (Model Based)
- Main Research Axis
2) Socket Airbus Use Case
- Environment
- Architecture
- Roadmap
Page 4
The R&T Program Portfolio: Domain-level targets for the Future Aircraft
Flight Performance
Business Performance
• Mature @ EIS (Entry Into Service)
• Systems recurring cost –xx%
Systems
Structures
Cabin
Integration
Engine Suppliers’ Targets
Airbus Use Case Workshop Grenoble Minatec Socket October 14-15, 2010
Page 5
Avionics & Simulation Products
Expert for AIRBUS (Engineering, Procurement, A/C Programs) :
Bringing expertise during systems architecture and integration phases
In the fields of Software, Electronics and Power electronics
In the fields of Methods and Tools for System and computer design
From suppliers selection steps to development reviews
For technical and value analysis
For future avionics studies
Business Centre :
Developing and selling products resulting of aircraft programs, in its fields of competence
Airbus Use Case Workshop Grenoble Minatec Socket October 14-15, 2010
Page 6
ASF ASFASF ASF
Avionics & Simulation Products (continued)
Strategic domains : « safety critical » or A/C specific, AIRBUS only :
Electric Flight Control Systems
Warning and Maintenance Systems
Integrated Modular Avionics (cooperation with Thales Avionics)
This expertise is developed and maintained by real achievements in the fields of embedded software and electronics
Airbus Use Case Workshop Grenoble Minatec Socket October 14-15, 2010
Page 7
What is our Definition of a System ?
Aircraft Level
Aircraft Function System Level
Flight control, fuel management, hydraulics, electrical power & distribution…
Equipment Level
Flight control and guidance computer, flight warning computer…
And beyond…
System on Chip Airbus Use Case Workshop Grenoble Minatec Socket October 14-15, 2010
Page 8
Main Research Axis
Multi-formalism Design Process UML2, SYSML, AADL, SystemC, VHDL-AMS
Language transformations
Model based process description
HW Certification issues
Advanced Verification techniques and tools Formal techniques
Automated activities code and test generation, documentation
Design exploration techniques and tools HW-SW CoDesign, Architecture toolbox
Open source alternatives Traceability, editors, code coverage, rules checking
Workflow, Modification and configuration management
Process sub-theme
HW formal proof sub-theme
Infrastructure sub-theme
October 14-15, 2010 Airbus Use Case Workshop Grenoble Minatec Socket
October 14-15, 2010 Airbus Use Case Workshop Grenoble Minatec Socket Page 9
Plan
1) Introduction
- Engineering Theme Stakes
- Equipment Development : State of the Art and Target (Model Based)
- Main Research Axes
2) Socket Airbus Use Case
- Environment
- Architecture
- Roadmap
10
Airbus Use Case Description
Environment :
Flight Control Remote Module
Avionics computer is dedicated to process data from sensors and to control actuators according
October 14-15, 2010 Airbus Use Case Workshop Grenoble Minatec Socket
11
Airbus Use Case Description
Main Functions : Acquisition function of Airborne Sensor Signals
Generation of Signals for Servo-control
Goal : SoC Implementation
Critical Avionics Development
Hardware : DAL A (selon DO-254)
Software : DAL A (selon DO-178)
Acquisition
Sensor
Control
Actuator
October 14-15, 2010 Airbus Use Case Workshop Grenoble Minatec Socket
12
Architecture
AHB AMBA 2.0 Media Architecture Bus
Embedded Software Control Loop function
ARM Processor Embedded Software Execution
With Local Memories
DMA Data Transfer HW Accelerator
DSP Sub-System Analog data I/O processing
Shared Memories Data & Instruction Storage
DMA Proc.
Ss Syst. DSP
Mem. DATA
Mem. CODE
ANI
ANO
DSI
DSO
MS MS
S S S
AHB
October 14-15, 2010 Airbus Use Case Workshop Grenoble Minatec Socket
13
Expected Improvements
Functional Validation
High Level Modelling and Golden Reference
System Verification
Software Design
Shared HW Virtual Platform
Architecture Trade-Off
Model based
HW Design (DMA, DSP Sub-System)
Detailled Design Generation
HW Verification
System Integration Verification
Recurrent Activities
Requirements Traceability, Documents Generation October 14-15, 2010 Airbus Use Case Workshop Grenoble Minatec Socket
Expected Improvements