Outline. 1. Introduction. 2. Model Based Control Design. 3. Software Development for Flight Control Algorithms. 4. Lessons Learned / Impacts

Size: px
Start display at page:

Download "Outline. 1. Introduction. 2. Model Based Control Design. 3. Software Development for Flight Control Algorithms. 4. Lessons Learned / Impacts"

Transcription

1 Assisted and Auto Mode RSw second lane active [CSw healthy] CSw first input active Rx active Autopilot Control [Rx healthy] [CSw fail] Loss of servo [RSw healthy] [CSw healthy] Manual Control [Rx fail] CSw first input active Rx active RSw first lane active [CSw fail] Loss of servo [Rx healthy] [RSw fail] [CSw healthy] CSw second input active Rx active Autopilot Control [Rx healthy] [CSw fail] Loss of servo [Rx fail] Loss of aircraft [CSw healthy] CSw first input active Rx active Manual Control [Rx healthy] RSw second lane active [Rx fail] [CSw fail] Loss of servo [RSw healthy] [Rx fail] Loss of aircraft [CSw healthy] CSw second input active Rx active Autopilot Control [RSw fail] [Rx healthy] [CSw fail] Loss of servo [Rx fail] Loss of aircraft Lehrstuhl für Flugsystemdynamik Technische Universität München.4 Loss of Aircraft PSw fail CSw -N fail Bat fail Bat fail RSw fail PSw fail Rx fail Rx fail Markus Hornauer, Falko Schuck und Florian Holzapfel

2 Outline. Introduction. Model Based Control Design 3. Software Development for Flight Control Algorithms 4. Lessons Learned / Impacts 5. Summary

3 Introduction Motivation 3 Continuity of development process: From requirements capturing to verification on target system High level of reuse to increase efficiency Better requirements through pre-simulation Challenge: Software engineers are usually no control experts, flight mechanics / flight control engineers are usually no software engineers!

4 Introduction TUM FSD - DA4M-NG Flying test bed for the Free State of Bavaria 4

5 Introduction Project Example FLY SMART 5 Development of an certifiable autopilot for CS-3 Aircraft using modular avionic components Optimization of Model-Based Software Development Methods and Techniques Formal and Integral Process Definition for Model-Based Software Development System and Software Synthesis, Capture and Validation Safety Assessment Functional Hazard Analysis Safety Derivation (Preliminary) System Safety Assessment (FTA, FMEA, Simulation) System and Software Development Hardware and Software Architecture Interfaces and Redundancy Management Monitoring and Voting Autopilot / Flight Control Algorithms Development System and Software Integration, Test and Verification Requirement Based Testing Hardware in the Loop (HIL) System and Aircraft Integration Flight Testing Analysis and Verification based on Flight Test Data

6 Outline. Introduction. Model Based Control Design 3. Software Development for Flight Control Algorithms 4. Lessons Learned / Impacts 5. Summary

7 Model Based Control Design Introduction 7.4. Flight Control Design is not a single point issue but spans a large operation envelope / domain.5.5 Plant analysis Controller Design Gain Design Controller assessment needs to be automated Non-compliance needs to be detected automatically Reports and evaluations need to be organized automatically

8 Software Development for Flight Control Algorithms Control Algorithm Development Life Cycle System Process (Flight Control System) System Allocated to Flight Control Algorithm Safety Assessment 8 Verification of Plant Model Verification of Reduced Order System Plant Modelling Process (Failure, Disturbance and Uncertainty Models) (Systems: Sensors and Actuation) LOS Model Extraction Process (Trimming, Linearization, Reduction of Order) System Analysis Process High Fidelity Plant Model Reduced Order Plant Model Analysis Results Design Validation Control Structure Design Process Gain Design Process Gain Parameters (and Ranges) Controller Layout Transfer Function / Matrix (Inner Loops) Design Model Loop Back from Software Process (System Engineering Process) Automated Assessment on reduced Model (classical: Linear) Automated Assessment on High Fidelity Model Assessment Results Assessment Results (Proof of Stability, etc.) Artifacts to Software Process

9 Model Based Control Design Trim and Linearize 9 Trim applications: Computation of performance data: - Flight envelope parameter configurable (Altitude, Velocity, Center of gravity, flap configuration, ). - Automated trim point calculation for each flight condition. - Output of all important trim result data (trim success, used trim strategy, number of iterations, ) for evaluation of the trim results. x S a b x h z d T p V h g Y& a b Haddad Constraint p, q, r, F, Q [ ] f, a, b, g HD V K V g Y& K, K Y& V a b p q r F Q Y l m h x h z d T x = p() = x S () = x S () = Haddad = Haddad = Haddad = Haddad = Haddad u egal egal egal = p() = x S (3) = x S (4) = x S (5) = x S (6) Nonlinear Equation solver x p r f, S f ( x, u) x& h( x, u) y! x& V& = r() a& = r() b& = r(3) p& = r(4) q& = r(5) r& = r(6) F& = (auto) Q& = (auto) Y& = p(4)(auto) l& egal m& egal h& V sin g F Y B r V& a& b& p& q& r& r f x, p S Numerical Linearization: - Free configuration of the desired model parameters (States, Inputs, outputs), which shall be extracted from the nonlinear model. - For each trim point, a linearized model of the nonlinear equation system is generated x u dx du x& y linsys linsys f ( x dx, u du) dx& h( x dx, u Ax Cx linsys linsys u Du du) y linsys linsys dy Numerical Linearization d& x dy

10 Model Based Control Design Example: DA4 Longitudinal Controller Design with MATLAB Linearization Phase (deg) - - Config Flaps = Gear = Config Flaps = 7 Gear = -3 - Phase (deg) Magnitude (db) Config 3 Flaps = 4 Gear = Config 4 Flaps = Gear = -3 - Frequency (rad/s) Frequency (rad/s) Phase (deg) Magnitude (db) Frequency (rad/s) - Frequency (rad/s) Config 5 Flaps = 7 Gear = Extended Plant Dynamics FP Frequency (rad/s) Bode - All borders combined ds - - Config Config Config Config Config Config Flaps = Flaps = 7 3 Flaps = 4 4 Flaps = 5 Flaps = 7 6 Flaps = Gear = Gear = Gear = Gear = Gear = Gear = Controller Design qcom-csas Config 6 Flaps = 4 Gear = -3 - Frequency (rad/s) Magnitude (db) Automatic trim and linearization for the whole flight envelope (h Ma) as well as all configurations (gear, flaps) Plant analysis Magnitude (db) Trim qcmd,s Eq F Prefilter V/g cos g sinf tanf Frequency (rad/s) qcmd Kds,q Stick-toCommand Shape - G (s) hcmd Controller hcmd, el Delay after FCC etc. qmeas H. Peak response Amplitude Rise time HQ Sensor.4 HQ requirements BW Aircraft qturn,c Delay to FCC C* hmec Plant Turn compensation CAP GA(s) Actuator Delay assumption Time (seconds) Actuator assumption Automatic HQ analysis (Dropback, CAP, C*, Neal Smith, Bandwidth,...) based on w and T (z =.7) for desired short period dynamics q

11 Model Based Control Design Example: DA4 Longitudinal Controller Design with MATLAB 4 L LEVE L LEVE L LEVE L LEVE Level L LEVE 3 - n/ a (g/rad) Category A & C flight phases (CAP - damping ratio boundaries) LEVEL LEVEL Level Level / CAP 4 qmax/qss CAP. 3.6 Closed Loop Resonance [db] Clas. I,II-C,IV (rad/sec) Clas. II-L,III SP Category C flight phases CAP boundaries Note: The boundaries for values n/a outside the range show n are defined by straight-line extensions LEVEL. Clas. II-L,III wn LEVEL. Clas. I,II-C,IV 6 Level Lag - Level LEVEL 3 - Lead Pilot Phase Compensation [deg] at Omega = 3.5 rad/s 8 zsp Automatic controller stability and Handling Qualities analysis featuring LOES (low order system generation) for all trim conditions and configurations (~ points) Automatic Gain design for the controller to comply the requirements for all points..5 Level / db/qss Controller implementation 3 Extended Plant Dynamics FP Closed loop pull & release Open loop pull & release Closed loop doublet Open loop doublet q [ /s] qcom-csas ds qcmd,s qcmd Eq Kds,q F Stick-toCommand Shape Prefilter - G (s) hcmd Controller hcmd, el Delay after FCC GA(s) hmec Aircraft q Actuator Plant qturn,c q [ /s] V/g cos g sinf tanf qmeas H Turn compensation Delay to FCC - Sensor Time [s] 6 8 Time [s] Gibson s dropback criterion /q db db - db.5 Exc Acc q peak/qss - db db db db db db db 6 db Mismatch - Phase - db 3 db 5 ess iv e (P IO p os si ble) epta ble.5 db Phase [ ] peak ss 5 Frequenzgangbetrag des ORK [db] Magnitude [db] Mismatch - Amplitude Frequency [rad/s] Phase des ORK [ ] - -5

12 g-tracking / g ( ) Model Based Control Design Example: DA4 Longitudinal Controller Design with MATLAB Tracking - Josef-Niederl-Run Con-act--K-stick-.74-MC-grad-.mat Error-RMS:.54 Error-rate-RMS: Finetracking-RMS: Magnitude (db) Time (s) - - Y C / Y CL / w co,ac =.89 rad/s Y C Y C L Magnitude (db) Y P x Y C w CO =.6993 w CO-A = Comp. Pursuit Magnitude (db) 3 Y P - Y P Y P -pursuit Microsoft Excel -3 - Frequency (rad/s) - - Frequency (rad/s) - - Frequency (rad/s) Kohärenz Kohärenz Kohärenz Kohärenz.6 Kohärenz.6.4 Kohärenz Automatic simulation result analysis Deflection [-] Frequency (rad/s) Frequency (rad/s) Frequency (rad/s) Stick - : RMS:.9797 Mittelw.: e-5 Force-RMS: Speed-RMS: d S.4 d Kraft 5. -Stick Time (s) Force [N] Export: Analysis results. Automatic report generator. Automatic compliance matrix. Simulator flight testing with pilots Automatic data analysis of the simulation results with Matlab Export of the analysis results to Excel

13 Outline. Introduction. Model Based Control Design 3. Software Development for Flight Control Algorithms 4. Lessons Learned / Impacts 5. Summary

14 Software Development for Flight Control Algorithms Architecture of a Flight Control System 4 Flight Control Computer & Flight Control Algorithms Controller Algorithms (Design Model) (DO-33 Example 5) Input- / Output-Conditioning, Robustness and Interface Framework (Design Model) (DO-33 Example ) Real Time Operating System (DO-78C COTS) BSP, Drivers, Runtime- and Interface Framework ANSI C (DO-78C) Electronic Hardware COTS and Special Built (no FPGA) Sensors Actuators

15 Software Development for Flight Control Algorithms DO-33 MB..6.3 Examples of Model Usage Process that generates the life-cycle data MB Example MB Example MB Example 3 MB Example 4 (See Note ) MB Example 5 System Requirement and System Design Process allocated to software from which the Model is developed from which the Model is developed from which the Model is developed from which the Model is developed Design Model Software Requirement and Software Design Process from which the Model is developed Specification Model (See Note ) Specification Model Design Model Design Model Formalized Design Textual description (See Note 3) Software Coding Process Source Code Source Code Source Code Source Code Source Code

16 Software Development for Flight Control Algorithms Software Module Life Cycles 6 DO-78C System allocated to Software DO-33 SW High Level, SW Pre-Design and SW Module Interfaces SW Design (SW Low Level and Architecture) Design Model Design Model COTS Manual Coding Automatic Code Generation Automatic Code Generation Software Integration Software Hardware Integration At least four SW modules: one PSAC several SDPs and SVPs RTOS BSP, Drivers and Data Handling Framework Signal Conditioning and Data I/O Framework (Example ) Flight Control Application (Example 5)

17 Software Development for Flight Control Algorithms Equipment Development Life Cycle 7 System Allocated to Software Software Components: Component W.. R D C - I Component X.. R I Component Y.. R C I Component Z.. R C I C I R D C - I Legend: R C Coding D Design I Integration Software Product Source: DO-78 B/C Figure 3- Example of a Software Project Using Four Different Development Sequences

18 Software Development for Flight Control Algorithms Equipment Development Life Cycle Pre-Development Step 8 System Engineering Process (Flight Control System) Customer Specification Safety Safety Assessment SW / HW Planning Process Equipment Specification Design Model Derived High Level PDR (Preliminary Design Review) SW- and HW- Validation Preliminary SW/HW Design / SW/HW-Architecture / Coding / Preliminary Testing (prelim. Test Cases) SW / HW Process Incremental Development Process Demonstrator (Prototype) Software Document High Level Derived Low Level Hardware Document High Level Preliminary DO-6F Environmental Testing System RIG Testing Flight Testing Preliminary SW Documents Preliminary HW Documents Next Slide Development Workflow Generation of Artifacts Subject to Safety Assessment

19 Software Development for Flight Control Algorithms Equipment Development Life Cycle Core Development Step 9 Previous Slide CDR (Critical Design Review) Software / (System) Review SW Design Review Design Model Review Model Coverage Analysis Code Review SW / (System) Update SW Design Process SW Coding, Integration and Pre-Testing SW / (System) Document SW / Model Design Description Model Coverage Analysis Data Source Code Simulation Results CDR (Critical Design Review) HW Review HW Design Review HW Update HW Design Process HW Implementation HW Testing HW Document HW Conceptual Design HW Detailed Design Production Data HW / SW Integration Testing (Req. Based Functional Testing Structural Coverage Analysis) Test Results Additional Artifacts: Qualification Testing (Functional and Environmental Testing) Structural Coverage Analysis Data Documentation of Performed Reviews Series Production Final Product Development Workflow Generation of Artifacts

20 Software Development for Flight Control Algorithms Tool Chain Structure and Workflow for Power PC Generation and deployment of source and object code to target environment Strategy on qualifiable verification tools All tools in use in aerospace applications Model Development and Verification Embedded MATLAB, Simulink, Stateflow Simulink Model Advisor, Report Generator and Model Coverage Source Code Development and Verification Simulink Embedded Coder Simulink Code Inspector PolySpace VerOCode and VeroSource (structural code coverage) Startup, Runtime, Robustness and Interface Framework ANSI C <hand coded> Debugging and Target Testing Lauterbach TRACE 3 Debugger (debugging and PIL) Bernecker + Rainer (B&R) (hardware in the loop test bed) + Structural Coverage on Target Simulink Code Inspector Integrated Build In-Circuit Debugging Embedded Coder Source Code Object Code Target Deployment Model Link Code Reference Integrated Debugging Hardware & Processor In the Loop (HIL / PIL)

21 Software Development for Flight Control Algorithms Flight Control Computer Hardware (FCC) General Description Development of a certifiable avionics platform for research and demonstration of algorithms in a closed to product environment together with industry partners. The focus is on a scalable and modular system which can be used in different applications. High Performance Power PC Architecture: 67 MHz performance (available with separate graphic controller) Double precision floating point unit High speed interface to I/O module Cortex M I/O Interface Module Featuring two I/O processors Providing up to UART interfaces, 4 ARINC 85 Interfaces, ARINC 49 Interfaces, 4 bit analog inputs and multiple discrete I/Os Extendable Platform Configuration Single string for simple applications Redundant system with high speed interface between two lanes Fail operational triplex system with internal redundancy Certification Aspects All used processors and complex elements already in use in aerospace systems (COTS) System was design to ensure easy testability

22 Software Development for Flight Control Algorithms Testing in Final Target Environment Processor In The Loop Test Bench DA4 Total System Simulation HIL Diamond DSIM Flight Training Device Actuator Test Bench High Fidelity Aircraft Model on Automation PC B&R Automation Debugger Integration in Simulink Traceability between Simulink and Trace3 Aircraft Flight Test Installation Flight Control Computers (FCCs) Target testing is required for generated and handwritten code (make it efficient!) PIL is a proven method for testing equivalence to Simulink (reuse of test cases) HIL testing is important to develop good and robust control algorithms (e.g. latencies) based testing of the final product is a fundamental idea of DO-78 B/C

23 Outline. Introduction. Model Based Control Design 3. Software Development for Flight Control Algorithms 4. Lessons Learned / Impacts 5. Summary

24 Lessons Learned / Impacts 4 Estimation of latencies Software Modeling Guidelines Definition of Software Parameter Data Items Availability / Correctness of Parameters (especially plant parameters) Testing according to software methods Test Cases for inner loops

25 Outline. Introduction. Model Based Control Design 3. Software Development for Flight Control Algorithms 4. Lessons Learned / Impacts 5. Summary

26 Summary 6 MBD helps engineers to keep focus on technical task Simulation / analysis based derivation of requirements: basis for consistent requirements and powerful method for early validation through simulation Clean workflows are required! Continuity and automation opens opportunities for SMEs to enter avionics market

27 Thank you for your attention Contact: Technische Universität München

Complying with DO-178C and DO-331 using Model-Based Design

Complying with DO-178C and DO-331 using Model-Based Design 12AEAS-0090 Complying with DO-178C and DO-331 using Model-Based Design Bill Potter MathWorks, Inc. Copyright 2012 The MathWorks, Inc. ABSTRACT This paper addresses how recently published revisions of aircraft

More information

Echtzeittesten mit MathWorks leicht gemacht Simulink Real-Time Tobias Kuschmider Applikationsingenieur

Echtzeittesten mit MathWorks leicht gemacht Simulink Real-Time Tobias Kuschmider Applikationsingenieur Echtzeittesten mit MathWorks leicht gemacht Simulink Real-Time Tobias Kuschmider Applikationsingenieur 2015 The MathWorks, Inc. 1 Model-Based Design Continuous Verification and Validation Requirements

More information

TESEO S.p.A. Next Electric Integration Rig for Small Aicraft Applications

TESEO S.p.A. Next Electric Integration Rig for Small Aicraft Applications TESEO S.p.A. Corso A. Fleming, 25/27/29 10040 DRUENTO (TO) Italia Phone: +39-011-99.41.911 Fax: +39-011-99.41.900 www.teseo.net TESEO S.p.A. Next Electric Integration Rig for Small Aicraft Applications

More information

Model Based System Engineering (MBSE) For Accelerating Software Development Cycle

Model Based System Engineering (MBSE) For Accelerating Software Development Cycle Model Based System Engineering (MBSE) For Accelerating Software Development Cycle Manish Patil Sujith Annamaneni September 2015 1 Contents 1. Abstract... 3 2. MBSE Overview... 4 3. MBSE Development Cycle...

More information

Technical Data Sheet SCADE R17 Solutions for ARINC 661 Compliant Systems Design Environment for Aircraft Manufacturers, CDS and UA Suppliers

Technical Data Sheet SCADE R17 Solutions for ARINC 661 Compliant Systems Design Environment for Aircraft Manufacturers, CDS and UA Suppliers 661 Solutions for ARINC 661 Compliant Systems SCADE R17 Solutions for ARINC 661 Compliant Systems Design Environment for Aircraft Manufacturers, CDS and UA Suppliers SCADE Solutions for ARINC 661 Compliant

More information

Best practices for developing DO-178 compliant software using Model-Based Design

Best practices for developing DO-178 compliant software using Model-Based Design Best practices for developing DO-178 compliant software using Model-Based Design Raymond G. Estrada, Jr. 1 The MathWorks, Torrance, CA Eric Dillaber. 2 The MathWorks, Natick, MA Gen Sasaki 3 The MathWorks,

More information

Notes and terms of conditions. Vendor shall note the following terms and conditions/ information before they submit their quote.

Notes and terms of conditions. Vendor shall note the following terms and conditions/ information before they submit their quote. Specifications for ARINC 653 compliant RTOS & Development Environment Notes and terms of conditions Vendor shall note the following terms and conditions/ information before they submit their quote. 1.

More information

Caterpillar Automatic Code Generation

Caterpillar Automatic Code Generation SAE TECHNICAL PAPER SERIES 2004-01-0894 Caterpillar Automatic Code Generation Jeffrey M. Thate and Larry E. Kendrick Caterpillar, Inc. Siva Nadarajah The MathWorks, Inc. Reprinted From: Electronic Engine

More information

Software Production. Industrialized integration and validation of TargetLink models for series production

Software Production. Industrialized integration and validation of TargetLink models for series production PAGE 24 EB AUTOMOTIVE Industrialized integration and validation of TargetLink models for series production Continuous Software Production The complexity of software systems in vehicles is increasing at

More information

Controller Design in Frequency Domain

Controller Design in Frequency Domain ECSE 4440 Control System Engineering Fall 2001 Project 3 Controller Design in Frequency Domain TA 1. Abstract 2. Introduction 3. Controller design in Frequency domain 4. Experiment 5. Colclusion 1. Abstract

More information

Software Development with Real- Time Workshop Embedded Coder Nigel Holliday Thales Missile Electronics. Missile Electronics

Software Development with Real- Time Workshop Embedded Coder Nigel Holliday Thales Missile Electronics. Missile Electronics Software Development with Real- Time Workshop Embedded Coder Nigel Holliday Thales 2 Contents Who are we, where are we, what do we do Why do we want to use Model-Based Design Our Approach to Model-Based

More information

Schnell und effizient durch Automatische Codegenerierung

Schnell und effizient durch Automatische Codegenerierung Schnell und effizient durch Automatische Codegenerierung Andreas Uschold MathWorks 2015 The MathWorks, Inc. 1 ITK Engineering Develops IEC 62304 Compliant Controller for Dental Drill Motor with Model-Based

More information

Software Development Principles Applied to Graphical Model Development

Software Development Principles Applied to Graphical Model Development Software Development Principles Applied to Graphical Model Development Paul A. Barnard * The MathWorks, Natick, MA 01760, USA The four fundamental principles of good software design communicate clearly,

More information

Model-based Testing of Automotive Systems

Model-based Testing of Automotive Systems Model-based Testing of Automotive Systems Eckard Bringmann and Andreas Krämer ICST 08 Presented by Julia Rubin on November 21, 2012 Multidisciplinary Business 2 Supply Chain of Components 3 Innovation

More information

Eli Levi Eli Levi holds B.Sc.EE from the Technion.Working as field application engineer for Systematics, Specializing in HDL design with MATLAB and

Eli Levi Eli Levi holds B.Sc.EE from the Technion.Working as field application engineer for Systematics, Specializing in HDL design with MATLAB and Eli Levi Eli Levi holds B.Sc.EE from the Technion.Working as field application engineer for Systematics, Specializing in HDL design with MATLAB and Simulink targeting ASIC/FGPA. Previously Worked as logic

More information

Certification of a Scade 6 compiler

Certification of a Scade 6 compiler Certification of a Scade 6 compiler F-X Fornari Esterel Technologies 1 Introduction Topic : What does mean developping a certified software? In particular, using embedded sofware development rules! What

More information

Automating Code Reviews with Simulink Code Inspector

Automating Code Reviews with Simulink Code Inspector Automating Code Reviews with Simulink Code Inspector Mirko Conrad, Matt Englehart, Tom Erkkinen, Xiaocang Lin, Appa Rao Nirakh, Bill Potter, Jaya Shankar, Pete Szpak, Jun Yan, Jay Clark The MathWorks,

More information

A highly integrated UAV avionics system 8 Fourth Street PO Box 1500 Hood River, OR 97031 (541) 387-2120 phone (541) 387-2030 fax CCT@gorge.

A highly integrated UAV avionics system 8 Fourth Street PO Box 1500 Hood River, OR 97031 (541) 387-2120 phone (541) 387-2030 fax CCT@gorge. A highly integrated UAV avionics system 8 Fourth Street PO Box 1500 Hood River, OR 97031 (541) 387-2120 phone (541) 387-2030 fax CCT@gorge.net Bill Vaglienti Ross Hoag April 10, 2003 Table of contents

More information

The SPES Methodology Modeling- and Analysis Techniques

The SPES Methodology Modeling- and Analysis Techniques The SPES Methodology Modeling- and Analysis Techniques Dr. Wolfgang Böhm Technische Universität München boehmw@in.tum.de Agenda SPES_XT Project Overview Some Basic Notions The SPES Methodology SPES_XT

More information

IEC 61508 Functional Safety Assessment. Project: K-TEK Corporation AT100, AT100S, AT200 Magnetostrictive Level Transmitter.

IEC 61508 Functional Safety Assessment. Project: K-TEK Corporation AT100, AT100S, AT200 Magnetostrictive Level Transmitter. 61508 SIL 3 CAPABLE IEC 61508 Functional Safety Assessment Project: K-TEK Corporation AT100, AT100S, AT200 Magnetostrictive Level Transmitter Customer: K-TEK Corporation Prairieville, LA USA Contract No.:

More information

asuresign Aero (NATEP Grant MA005)

asuresign Aero (NATEP Grant MA005) asuresign Aero (NATEP Grant MA005) WP2 Workshop: Identification of Needs for Tool Support in Meeting Aircraft Avionics Systems, Hardware & Software Certification Standards Dr Chris Harper Systems & Safety

More information

Parameters for Efficient Software Certification

Parameters for Efficient Software Certification Parameters for Efficient Software Certification Roland Wolfig, e0327070@student.tuwien.ac.at Vienna University of Technology, Real-Time Systems Group 1 Abstract Software certification is a common approach

More information

Best Practices for Verification, Validation, and Test in Model- Based Design

Best Practices for Verification, Validation, and Test in Model- Based Design 2008-01-1469 Best Practices for Verification, Validation, and in Model- Based Design Copyright 2008 The MathWorks, Inc. Brett Murphy, Amory Wakefield, and Jon Friedman The MathWorks, Inc. ABSTRACT Model-Based

More information

Development of AUTOSAR Software Components within Model-Based Design

Development of AUTOSAR Software Components within Model-Based Design 2008-01-0383 Development of AUTOSAR Software Components within Model-Based Design Copyright 2008 The MathWorks, Inc. Guido Sandmann Automotive Marketing Manager, EMEA The MathWorks Richard Thompson Senior

More information

Hardware in the Loop (HIL) Testing VU 2.0, 182.117, WS 2008/09

Hardware in the Loop (HIL) Testing VU 2.0, 182.117, WS 2008/09 Testen von Embedded Systems Hardware in the Loop (HIL) Testing VU 2.0, 182.117, WS 2008/09 Raimund dkirner Testing Embedded Software Testing the whole system including the physical environment is not possible

More information

Lecture 3 - Model-based Control Engineering

Lecture 3 - Model-based Control Engineering Lecture 3 - Model-based Control Engineering Control application and a platform Systems platform: hardware, systems software. Development steps Model-based design Control solution deployment and support

More information

Model Based Software Development for DDG 1000 Advanced Gun System

Model Based Software Development for DDG 1000 Advanced Gun System BAE Systems Land & Armaments Model Based Software Development for DDG 1000 Advanced Gun System Dirk Jungquist BAE Systems Land & Armaments 2012 Distribution Statement A: Approved for public release; distribution

More information

SCADE System 17.0. Technical Data Sheet. System Requirements Analysis. Technical Data Sheet SCADE System 17.0 1

SCADE System 17.0. Technical Data Sheet. System Requirements Analysis. Technical Data Sheet SCADE System 17.0 1 SCADE System 17.0 SCADE System is the product line of the ANSYS Embedded software family of products and solutions that empowers users with a systems design environment for use on systems with high dependability

More information

Force/position control of a robotic system for transcranial magnetic stimulation

Force/position control of a robotic system for transcranial magnetic stimulation Force/position control of a robotic system for transcranial magnetic stimulation W.N. Wan Zakaria School of Mechanical and System Engineering Newcastle University Abstract To develop a force control scheme

More information

Design and Verify Embedded Signal Processing Systems Using MATLAB and Simulink

Design and Verify Embedded Signal Processing Systems Using MATLAB and Simulink Design and Verify Embedded Signal Processing Systems Using MATLAB and Giorgia Zucchelli, Application Engineer, MathWorks 17 December 2010, Technical University Eindhoven 1 Introduction to Model Based Design

More information

Selecting Sensors for Safety Instrumented Systems per IEC 61511 (ISA 84.00.01 2004)

Selecting Sensors for Safety Instrumented Systems per IEC 61511 (ISA 84.00.01 2004) Selecting Sensors for Safety Instrumented Systems per IEC 61511 (ISA 84.00.01 2004) Dale Perry Worldwide Pressure Marketing Manager Emerson Process Management Rosemount Division Chanhassen, MN 55317 USA

More information

Model-Based Design for Embedded Systems

Model-Based Design for Embedded Systems Model-Based Design for Embedded Systems Dr. Simon Ginsburg Application Engineering 2008 The MathWorks, Inc. Embedded Application Development Requirements Management Configuration Management Process and

More information

Converting Models from Floating Point to Fixed Point for Production Code Generation

Converting Models from Floating Point to Fixed Point for Production Code Generation MATLAB Digest Converting Models from Floating Point to Fixed Point for Production Code Generation By Bill Chou and Tom Erkkinen An essential step in embedded software development, floating- to fixed-point

More information

Software Engineering. Software Processes. Based on Software Engineering, 7 th Edition by Ian Sommerville

Software Engineering. Software Processes. Based on Software Engineering, 7 th Edition by Ian Sommerville Software Engineering Software Processes Based on Software Engineering, 7 th Edition by Ian Sommerville Objectives To introduce software process models To describe three generic process models and when

More information

DOE/OE Transmission Reliability Program. Data Validation & Conditioning

DOE/OE Transmission Reliability Program. Data Validation & Conditioning DOE/OE Transmission Reliability Program Data Validation & Conditioning Jianzhong Mo mo@electricpowergroup.com Kenneth Martin martin@electricpowergroup.com June 3-4, 2014 Washington, DC 2 Presentation Introduction

More information

DS1104 R&D Controller Board

DS1104 R&D Controller Board DS1104 R&D Controller Board Cost-effective system for controller development Highlights Single-board system with real-time hardware and comprehensive I/O Cost-effective PCI hardware for use in PCs Application

More information

Best Practises for LabVIEW FPGA Design Flow. uk.ni.com ireland.ni.com

Best Practises for LabVIEW FPGA Design Flow. uk.ni.com ireland.ni.com Best Practises for LabVIEW FPGA Design Flow 1 Agenda Overall Application Design Flow Host, Real-Time and FPGA LabVIEW FPGA Architecture Development FPGA Design Flow Common FPGA Architectures Testing and

More information

ISA CERTIFIED AUTOMATION PROFESSIONAL (CAP ) CLASSIFICATION SYSTEM

ISA CERTIFIED AUTOMATION PROFESSIONAL (CAP ) CLASSIFICATION SYSTEM ISA CERTIFIED AUTOMATION PROFESSIONAL (CAP ) CLASSIFICATION SYSTEM Domain I: Feasibility Study - identify, scope and justify the automation project Task 1: Define the preliminary scope through currently

More information

Product Development Flow Including Model- Based Design and System-Level Functional Verification

Product Development Flow Including Model- Based Design and System-Level Functional Verification Product Development Flow Including Model- Based Design and System-Level Functional Verification 2006 The MathWorks, Inc. Ascension Vizinho-Coutry, avizinho@mathworks.fr Agenda Introduction to Model-Based-Design

More information

Integrating MATLAB into your C/C++ Product Development Workflow Andy Thé Product Marketing Image Processing Applications

Integrating MATLAB into your C/C++ Product Development Workflow Andy Thé Product Marketing Image Processing Applications Integrating MATLAB into your C/C++ Product Development Workflow Andy Thé Product Marketing Image Processing Applications 2015 The MathWorks, Inc. 1 Typical Development Workflow Translating MATLAB to C/C++

More information

Efficient and Faster PLC Software Development Process for Automotive industry. Demetrio Cortese IVECO Embedded Software Design

Efficient and Faster PLC Software Development Process for Automotive industry. Demetrio Cortese IVECO Embedded Software Design Efficient and Faster PLC Software Development Process for Automotive industry Demetrio Cortese IVECO Embedded Software Design 13-06-2013 Automotive OEM Mandatory Requirement Delivery the new vehicle in

More information

Lecture 9 Modeling, Simulation, and Systems Engineering

Lecture 9 Modeling, Simulation, and Systems Engineering Lecture 9 Modeling, Simulation, and Systems Engineering Development steps Model-based control engineering Modeling and simulation Systems platform: hardware, systems software. Control Engineering 9-1 Control

More information

SCADE Suite in Space Applications

SCADE Suite in Space Applications SCADE Suite in Space Applications at EADS David Lesens 09/10/2008 Overview Introduction Historical use of SCADE at EADS Astrium ST Why using SCADE? The Automatic Transfer Vehicle (ATV) M51 and Vega R&T

More information

MotoHawk Software. Model-Based Embedded Development

MotoHawk Software. Model-Based Embedded Development MotoHawk Software Model-Based Embedded Development Product Specification 37747 (Revision NEW, 01/2015) Rapid Control Development System on Real Production Hardware MotoHawk, an add-on to MATLAB/Simulink,

More information

Introduction to Embedded Systems. Software Update Problem

Introduction to Embedded Systems. Software Update Problem Introduction to Embedded Systems CS/ECE 6780/5780 Al Davis logistics minor Today s topics: more software development issues 1 CS 5780 Software Update Problem Lab machines work let us know if they don t

More information

SAFE SOFTWARE FOR SPACE APPLICATIONS: BUILDING ON THE DO-178 EXPERIENCE. Cheryl A. Dorsey Digital Flight / Solutions cadorsey@df-solutions.

SAFE SOFTWARE FOR SPACE APPLICATIONS: BUILDING ON THE DO-178 EXPERIENCE. Cheryl A. Dorsey Digital Flight / Solutions cadorsey@df-solutions. SAFE SOFTWARE FOR SPACE APPLICATIONS: BUILDING ON THE DO-178 EXPERIENCE Cheryl A. Dorsey Digital Flight / Solutions cadorsey@df-solutions.com DIGITAL FLIGHT / SOLUTIONS Presentation Outline DO-178 Overview

More information

Power inverters: Efficient energy transformation through efficient TargetLink code

Power inverters: Efficient energy transformation through efficient TargetLink code Page 6 santerno Power inverters: Efficient energy transformation through efficient TargetLink code Upva page 7 lue Energy Every day, the amount of energy delivered by the sun is 15,000 times the current

More information

PRACTICAL EXPERIENCE IN USING CONTINUOUS INTEGRATION WITHIN THE DEVELOPMENT OF A NANOSATELLITE SOFTWARE

PRACTICAL EXPERIENCE IN USING CONTINUOUS INTEGRATION WITHIN THE DEVELOPMENT OF A NANOSATELLITE SOFTWARE PRACTICAL EXPERIENCE IN USING CONTINUOUS INTEGRATION WITHIN THE DEVELOPMENT OF A NANOSATELLITE SOFTWARE Karsten Gordon Chair of Space Technology 10 th IAA Symposium, April 20-24 2015, Berlin TUBiX20 missions

More information

EE 402 RECITATION #13 REPORT

EE 402 RECITATION #13 REPORT MIDDLE EAST TECHNICAL UNIVERSITY EE 402 RECITATION #13 REPORT LEAD-LAG COMPENSATOR DESIGN F. Kağan İPEK Utku KIRAN Ç. Berkan Şahin 5/16/2013 Contents INTRODUCTION... 3 MODELLING... 3 OBTAINING PTF of OPEN

More information

ARINC 653. An Avionics Standard for Safe, Partitioned Systems

ARINC 653. An Avionics Standard for Safe, Partitioned Systems ARINC 653 An Avionics Standard for Safe, Partitioned Systems 1 Courtesy of Wind River Inc. 2008 IEEE-CS Seminar June 4 th, 2008 Agenda Aerospace Trends IMA vs. Federated ARINC 653 Main concepts Safety

More information

dspace DSP DS-1104 based State Observer Design for Position Control of DC Servo Motor

dspace DSP DS-1104 based State Observer Design for Position Control of DC Servo Motor dspace DSP DS-1104 based State Observer Design for Position Control of DC Servo Motor Jaswandi Sawant, Divyesh Ginoya Department of Instrumentation and control, College of Engineering, Pune. ABSTRACT This

More information

Agenda. Michele Taliercio, Il circuito Integrato, Novembre 2001

Agenda. Michele Taliercio, Il circuito Integrato, Novembre 2001 Agenda Introduzione Il mercato Dal circuito integrato al System on a Chip (SoC) La progettazione di un SoC La tecnologia Una fabbrica di circuiti integrati 28 How to handle complexity G The engineering

More information

System Aware Cyber Security

System Aware Cyber Security System Aware Cyber Security Application of Dynamic System Models and State Estimation Technology to the Cyber Security of Physical Systems Barry M. Horowitz, Kate Pierce University of Virginia April, 2012

More information

Integrated Project Management Tool for Modeling and Simulation of Complex Systems

Integrated Project Management Tool for Modeling and Simulation of Complex Systems Integrated Project Management Tool for Modeling and Simulation of Complex Systems Sergio Tamayo 1, Stacey Gage 2 MathWorks. Natick, MA 01760 and Gavin Walker. 3 MathWorks Ltd. Cambridge, England, CB4 0HH,

More information

Agile Model-Based Systems Engineering (ambse)

Agile Model-Based Systems Engineering (ambse) Agile Model-Based Systems Engineering (ambse) Bruce Powel Douglass, Ph.D. Chief Evangelist, Global Technology Ambassador IBM Rational Bruce.Douglass@us.ibm.com Twitter: @BruceDouglass Yahoo: tech.groups.yahoo.com/group/rt-uml/

More information

Modeling a GPS Receiver Using SystemC

Modeling a GPS Receiver Using SystemC Modeling a GPS Receiver using SystemC Modeling a GPS Receiver Using SystemC Bernhard Niemann Reiner Büttner Martin Speitel http://www.iis.fhg.de http://www.iis.fhg.de/kursbuch/kurse/systemc.html The e

More information

Big Data Analytics. Chances and Challenges. Volker Markl

Big Data Analytics. Chances and Challenges. Volker Markl Volker Markl Professor and Chair Database Systems and Information Management (DIMA), Technische Universität Berlin www.dima.tu-berlin.de Big Data Analytics Chances and Challenges Volker Markl DIMA BDOD

More information

Innovation Takes Off

Innovation Takes Off Innovation Takes Off Clean Sky 2 Information Day dedicated to the CFP04 ITD Systems Brussels, June 2016 Innovation Takes Off From Clean Sky towards Clean Sky 2 Systems ITD follows and expands Clean Sky

More information

Establishing Great Software Development Process(es) for Your Organization. By Dale Mayes DMayes@HomePortEngineering.com

Establishing Great Software Development Process(es) for Your Organization. By Dale Mayes DMayes@HomePortEngineering.com Establishing Great Software Development Process(es) for Your Organization By Dale Mayes DMayes@HomePortEngineering.com Class: ETP-410 Embedded Systems Conference San Francisco 2005 Abstract: There are

More information

Wiederverwendung von Testfällen bei der modellbasierten SW-Entwicklung

Wiederverwendung von Testfällen bei der modellbasierten SW-Entwicklung Wiederverwendung von Testfällen bei der modellbasierten SW-Entwicklung DGLR Workshop "Verifikation in der modellbasierten Software-Entwicklung" Garching, 04 October 2011 Dipl.-Ing. Peter Hermle, Key Account

More information

Federated, Generic Configuration Management for Engineering Data

Federated, Generic Configuration Management for Engineering Data Federated, Generic Configuration Management for Engineering Data Dr. Rainer Romatka Boeing GPDIS_2013.ppt 1 Presentation Outline I Summary Introduction Configuration Management Overview CM System Requirements

More information

Nutaq. PicoDigitizer 125-Series 16 or 32 Channels, 125 MSPS, FPGA-Based DAQ Solution PRODUCT SHEET. nutaq.com MONTREAL QUEBEC

Nutaq. PicoDigitizer 125-Series 16 or 32 Channels, 125 MSPS, FPGA-Based DAQ Solution PRODUCT SHEET. nutaq.com MONTREAL QUEBEC Nutaq PicoDigitizer 125-Series 16 or 32 Channels, 125 MSPS, FPGA-Based DAQ Solution PRODUCT SHEET QUEBEC I MONTREAL I N E W YO R K I nutaq.com Nutaq PicoDigitizer 125-Series The PicoDigitizer 125-Series

More information

A DESCRIPTION OF THE SOFTWARE ELEMENT OF THE NASA EME FLIGHT TESTS

A DESCRIPTION OF THE SOFTWARE ELEMENT OF THE NASA EME FLIGHT TESTS NASA Contractor Report 201635 A DESCRIPTION OF THE SOFTWARE ELEMENT OF THE NASA EME FLIGHT TESTS Sandra V. Koppen Lockheed Martin Engineering & Sciences Company, Hampton, Virginia 23666 Contract: NAS1-19000

More information

What is a life cycle model?

What is a life cycle model? What is a life cycle model? Framework under which a software product is going to be developed. Defines the phases that the product under development will go through. Identifies activities involved in each

More information

LR120 LoadRunner 12.0 Essentials

LR120 LoadRunner 12.0 Essentials LR120 LoadRunner 12.0 Essentials Overview This five-day course introduces students to HP LoadRunner 12.0, including the usage of Virtual User Generator (VuGen), Controller and Analysis tools. This course

More information

PRAGMA ENGINEERING Srl. Next-Generation ATS (Sistemi ATE di Nuova Generazione)

PRAGMA ENGINEERING Srl. Next-Generation ATS (Sistemi ATE di Nuova Generazione) Rome 30/05/2007 PRAGMA ENGINEERING Srl Next-Generation ATS (Sistemi ATE di Nuova Generazione) Rome 30/05/2007 Mission & Vision Pragma Engineering supplies design and development services, manufacturing

More information

VTOL UAV. Design of the On-Board Flight Control Electronics of an Unmanned Aerial Vehicle. Árvai László, ZMNE. Tavaszi Szél 2012 ÁRVAI LÁSZLÓ, ZMNE

VTOL UAV. Design of the On-Board Flight Control Electronics of an Unmanned Aerial Vehicle. Árvai László, ZMNE. Tavaszi Szél 2012 ÁRVAI LÁSZLÓ, ZMNE Design of the On-Board Flight Control Electronics of an Unmanned Aerial Vehicle Árvai László, ZMNE Contents Fejezet Témakör 1. Features of On-Board Electronics 2. Modularity 3. Functional block schematics,

More information

AC 20-148 REUSABLE SOFTWARE COMPONENTS

AC 20-148 REUSABLE SOFTWARE COMPONENTS AC 20-148 REUSABLE SOFTWARE COMPONENTS December 7, 2004 12/7/04 AC 20-148 CONTENTS Paragraph Title Page 1. Purpose....1 2. Motivation for this Guidance....1 3. Document Overview...1 4. General Guidelines

More information

Making model-based development a reality: The development of NEC Electronics' automotive system development environment in conjunction with MATLAB

Making model-based development a reality: The development of NEC Electronics' automotive system development environment in conjunction with MATLAB The V850 Integrated Development Environment in Conjunction with MAT...iles and More / Web Magazine -Innovation Channel- / NEC Electronics Volume 53 (Feb 22, 2006) The V850 Integrated Development Environment

More information

Development of Knowledge-Based Software for UAV Autopilot Design

Development of Knowledge-Based Software for UAV Autopilot Design Development of Knowledge-Based Software for UAV Autopilot Design George Tarrant Director CLOSED LOOP SYSTEMS Health Warning Autopilot design is a technical subject. In this paper, I have tried to translate

More information

Model Based Systems Engineering for Aircraft Systems How does Modelica Based Tools Fit?

Model Based Systems Engineering for Aircraft Systems How does Modelica Based Tools Fit? Model Based Systems Engineering for Aircraft Systems How does Modelica Based Tools Fit? Ingela Lind Henric Andersson SAAB Aeronautics SE-581 88 Linköping, Sweden ingela.lind@saabgroup.com henric.andersson@saabgroup.com

More information

DEVELOPMENT OF DEVICES AND METHODS FOR PHASE AND AC LINEARITY MEASUREMENTS IN DIGITIZERS

DEVELOPMENT OF DEVICES AND METHODS FOR PHASE AND AC LINEARITY MEASUREMENTS IN DIGITIZERS DEVELOPMENT OF DEVICES AND METHODS FOR PHASE AND AC LINEARITY MEASUREMENTS IN DIGITIZERS U. Pogliano, B. Trinchera, G.C. Bosco and D. Serazio INRIM Istituto Nazionale di Ricerca Metrologica Torino (Italia)

More information

EHOOKS Prototyping is Rapid Again

EHOOKS Prototyping is Rapid Again 09CV-0113 EHOOKS Prototyping is Rapid Again Vivek Jaikamal ETAS Inc. Nigel Tracey ETAS Ltd. Copyright 2009 SAE International ABSTRACT Automotive controls engineers have traditionally used bypass rapid

More information

laboratory guide 2 DOF Inverted Pendulum Experiment for MATLAB /Simulink Users

laboratory guide 2 DOF Inverted Pendulum Experiment for MATLAB /Simulink Users laboratory guide 2 DOF Inverted Pendulum Experiment for MATLAB /Simulink Users Developed by: Jacob Apkarian, Ph.D., Quanser Hervé Lacheray, M.A.SC., Quanser Michel Lévis, M.A.SC., Quanser Quanser educational

More information

Testhouse Training Portfolio

Testhouse Training Portfolio Testhouse Training Portfolio TABLE OF CONTENTS Table of Contents... 1 HP LoadRunner 4 Days... 2 ALM Quality Center 11-2 Days... 7 HP QTP Training Course 2 Days... 10 QTP/ALM Intensive Training Course 4

More information

Team-Based Collaboration in Model-Based Design

Team-Based Collaboration in Model-Based Design Team-Based Collaboration in Model-Based Design Saurabh Mahapatra 1 and Jason Ghidella 2 MathWorks, Natick, MA, 01760 1 Saurabh Mahapatra, Simulink Platform Marketing, 3 Apple Hill Drive, Natick MA, AIAA

More information

Design Data Management in Model-Based Design

Design Data Management in Model-Based Design Design Data Management in Model-Based Design Saurabh Mahapatra 1 Priyanka Gotika 2 MathWorks Inc, Natick, MA, 01760 One of the keys to successfully harnessing the benefits of graphical modeling in Model-

More information

Model-based system-on-chip design on Altera and Xilinx platforms

Model-based system-on-chip design on Altera and Xilinx platforms CO-DEVELOPMENT MANUFACTURING INNOVATION & SUPPORT Model-based system-on-chip design on Altera and Xilinx platforms Ronald Grootelaar, System Architect RJA.Grootelaar@3t.nl Agenda 3T Company profile Technology

More information

Validation & Verification of Safety Critical Systems in the Aerospace Domain.

Validation & Verification of Safety Critical Systems in the Aerospace Domain. Validation & Verification of Safety Critical Systems in the Aerospace Domain. Workshop: Teststrategien und -techniken für Onboardsysteme in der Luft- und Raumfahrt 07.10.2008 Dipl. Ing. Jörg Hofmann 1

More information

To introduce software process models To describe three generic process models and when they may be used

To introduce software process models To describe three generic process models and when they may be used Software Processes Objectives To introduce software process models To describe three generic process models and when they may be used To describe outline process models for requirements engineering, software

More information

Customer Experience. Silicon. Support & Professional Eng. Services. Freescale Provided SW & Solutions

Customer Experience. Silicon. Support & Professional Eng. Services. Freescale Provided SW & Solutions September 2013 Silicon Support & Professional Eng. Services Customer Experience Freescale Provided SW & Solutions Provide Valued Software, Support & Professional Engineering Services, Competitively 2 Customer

More information

Model-Based Requirements Engineering with AutoRAID

Model-Based Requirements Engineering with AutoRAID Model-Based Requirements Engineering with AutoRAID Bernhard Schätz, Andreas Fleischmann, Eva Geisberger, Markus Pister Fakultät für Informatik, Technische Universität München Boltzmannstr. 3, 85748 Garching,

More information

Medical Device Design: Shorten Prototype and Deployment Time with NI Tools. NI Technical Symposium 2008

Medical Device Design: Shorten Prototype and Deployment Time with NI Tools. NI Technical Symposium 2008 Medical Device Design: Shorten Prototype and Deployment Time with NI Tools NI Technical Symposium 2008 FDA Development Cycle From Total Product Life Cycle by David W. Fiegal, M.D., M.P.H. FDA CDRH Amazon.com

More information

Agilent N2717A Service Software Performance Verification and Adjustment Software for the Agilent ESA Spectrum Analyzers Product Overview

Agilent N2717A Service Software Performance Verification and Adjustment Software for the Agilent ESA Spectrum Analyzers Product Overview Agilent N2717A Service Software Performance Verification and Adjustment Software for the Agilent ESA Spectrum Analyzers Product Overview Reduce your cost of ownership by minimizing time to calibrate and

More information

Software Development Workflow in Robotics

Software Development Workflow in Robotics Software Development Workflow in Robotics Alois Knoll Simon Barner, Michael Geisinger, Markus Rickert Robotics and Embedded Systems Department of Informatics Technische Universität München ICRA 2009 Workshop

More information

ENEA: THE PROVEN LEADER IN SAFETY CRITICAL AVIONICS SYSTEMS

ENEA: THE PROVEN LEADER IN SAFETY CRITICAL AVIONICS SYSTEMS ENEA: THE PROVEN LEADER IN SAFETY CRITICAL AVIONICS SYSTEMS info@enea.com. www.enea.com For over 40 years, we have been one of the fastest growing avionics consulting companies in the world. Today our

More information

Alain Nifenecker - General Electric Manager Controls Engineering

Alain Nifenecker - General Electric Manager Controls Engineering GE Energy Benefits of Integrating a Single Plant-Wide Control System Into a Standard Plant Design Philosophy Authors: Luis Cerrada Duque - Empresarios Agrupados Director of I&C Department Charles Weidner

More information

Linux. Reverse Debugging. Target Communication Framework. Nexus. Intel Trace Hub GDB. PIL Simulation CONTENTS

Linux. Reverse Debugging. Target Communication Framework. Nexus. Intel Trace Hub GDB. PIL Simulation CONTENTS Android NEWS 2016 AUTOSAR Linux Windows 10 Reverse ging Target Communication Framework ARM CoreSight Requirements Analysis Nexus Timing Tools Intel Trace Hub GDB Unit Testing PIL Simulation Infineon MCDS

More information

System Design and Methodology/ Embedded Systems Design (Modeling and Design of Embedded Systems)

System Design and Methodology/ Embedded Systems Design (Modeling and Design of Embedded Systems) System Design&Methodologies Fö 1&2-1 System Design&Methodologies Fö 1&2-2 Course Information System Design and Methodology/ Embedded Systems Design (Modeling and Design of Embedded Systems) TDTS30/TDDI08

More information

Total Exploration & Production: Field Monitoring Case Study

Total Exploration & Production: Field Monitoring Case Study Total Exploration & Production: Field Monitoring Case Study 1 Summary TOTAL S.A. is a word-class energy producer and provider, actually part of the super majors, i.e. the worldwide independent oil companies.

More information

Embedded Vision on FPGAs. 2015 The MathWorks, Inc. 1

Embedded Vision on FPGAs. 2015 The MathWorks, Inc. 1 Embedded Vision on FPGAs 2015 The MathWorks, Inc. 1 Enhanced Edge Detection in MATLAB Test bench Read Image from File Add noise Frame To Pixel Median Filter Edge Detect Pixel To Frame Video Display Design

More information

Virtual Prototyping of Aerospace Systems Using Integrated LMS Virtual.Lab and IMAGINE AMESim

Virtual Prototyping of Aerospace Systems Using Integrated LMS Virtual.Lab and IMAGINE AMESim Virtual Prototyping of Aerospace Systems Using Integrated LMS Virtual.Lab and IMAGINE AMESim Joel Tollefson Imagine Inc. Aerospace Business Development Hans Van den Wijngaert LMS Product Manager Motion

More information

ITER Fast Plant System Controller Prototype Based on PXI Platform

ITER Fast Plant System Controller Prototype Based on PXI Platform ITER Fast Plant System Controller Prototype Based on PXI Platform M.Ruiz & J.Vega on behalf of CIEMAT/UPM/IST/ITER team Universidad Politécnica de Madrid Asociación Euratom/CIEMAT IPFN, Instituto Superior

More information

A Case Study of Application Development and Production Code Generation for a Telematics ECU with Full Unified Diagnostics Services

A Case Study of Application Development and Production Code Generation for a Telematics ECU with Full Unified Diagnostics Services A Case Study of Application Development and Production Code Generation for a Telematics ECU with Full Unified Diagnostics Services Plan A little about Embed and our Ethos Description of the telematics

More information

Distributed Computing Solution for Hardware-In-LoopSimulation of Indian Satellites

Distributed Computing Solution for Hardware-In-LoopSimulation of Indian Satellites Distributed Computing Solution for Hardware-In-LoopSimulation of Indian Satellites Rashmi Jagade, Sridevi.K.N, Jitendranath Mungara Abstract The purpose of Hardware-In-Loop-Simulation (HILS) is to verify

More information

Software Project Models

Software Project Models INTERNATIONAL JOURNAL OF TECHNOLOGY ENHANCEMENTS AND EMERGING ENGINEERING RESEARCH, VOL 1, ISSUE 4 135 Software Project Models Abhimanyu Chopra, Abhinav Prashar, Chandresh Saini Email-abhinav.prashar@gmail.com,

More information

MEng, BSc Applied Computer Science

MEng, BSc Applied Computer Science School of Computing FACULTY OF ENGINEERING MEng, BSc Applied Computer Science Year 1 COMP1212 Computer Processor Effective programming depends on understanding not only how to give a machine instructions

More information

High Performance or Cycle Accuracy?

High Performance or Cycle Accuracy? CHIP DESIGN High Performance or Cycle Accuracy? You can have both! Bill Neifert, Carbon Design Systems Rob Kaye, ARM ATC-100 AGENDA Modelling 101 & Programmer s View (PV) Models Cycle Accurate Models Bringing

More information

Verification by. Simulation. Verification by. Simulation. Verification by. Simulation / Model Check. Validation and Testing.

Verification by. Simulation. Verification by. Simulation. Verification by. Simulation / Model Check. Validation and Testing. Model-Based Software evelopment : Method Co- with contributions of Marcel Groothuis, Peter Visser, Bojan Orlic, usko Jovanovic, Gerald Hilderink Engineering, CTIT, Faculty EE-M-CS,, Enschede, Netherls

More information

Department of Electrical and Computer Engineering Ben-Gurion University of the Negev. LAB 1 - Introduction to USRP

Department of Electrical and Computer Engineering Ben-Gurion University of the Negev. LAB 1 - Introduction to USRP Department of Electrical and Computer Engineering Ben-Gurion University of the Negev LAB 1 - Introduction to USRP - 1-1 Introduction In this lab you will use software reconfigurable RF hardware from National

More information