Ingo Stürmer, Dietrich Travkin. Automated Transformation of MATLAB Simulink and Stateflow Models

Save this PDF as:
 WORD  PNG  TXT  JPG

Size: px
Start display at page:

Download "Ingo Stürmer, Dietrich Travkin. Automated Transformation of MATLAB Simulink and Stateflow Models"

Transcription

1 Ingo Stürmer, Dietrich Travkin Automated Transformation of MATLAB Simulink and Stateflow Models Ingo Stürmer Model Engineering Solutions Dietrich Travkin University of Paderborn Object-oriented Modeling of Embedded Real-Time Systems (OMER4) Paderborn, 31 October 2007 Presentation Outline 2 Motivation Modeling Guidelines MATE Model Transformation (Demo) Model analysis and repair Layout improvements Design pattern instantiation Conclusions

2 Motivation: Model-based Development 3 The way in which automotive embedded software is developed has undergone a change Shift from traditional programming to model-based development Use of MATLAB Simulink & Stateflow and TargetLink or RTW/EC (Some) significant advantages of model-based development Early testing Model-based code generation Software quality now strongly dependent on models used for software specification, simulation, and code generation Example: Why do we need Modeling Guidelines? 4 Crossed signal lines 1 throttle throttle (estimated) 2 speed speed (estimated) z z -1 Throttle transient correction Fixed-point product block with more than two operands 1 est_air_flow est. air flow. 3 EGO EGO (estimated) 4 MAP MAP (estimated) Pumping Constant Constant 0.5 FUNCTION Function Description of signal flow from left to right violated e1 Magical constant Hidden inport 6 mode 0.5 fuel_mode LOW <= e0 e0 EGO GT Threshold 5 fail_o2. fail_o2 NOR enable integration ~= not normal operation not normal operation enable integration Name of constant partially obscured hold integrator 0 czero T 2 z-1 feedback_correction feedback Discrete-Time correction. Integrator Signal name obscured

3 Example: Why do we need Modeling Guidelines? 5 FUNCTION Intake Airflow Estimation and Closed-Loop Correction Function 1 throttle throttle_ z z -1 Throttle transient speed correction est_air_flow_ 1 est_air_flow 2 speed speed_ speed DISP PC sum est_air_flow 3 MAP MAP MAP_ Pumping Constant CAL MAP DISP MAP x PC MAP x PC x speed Feedforward Control 4 EGO EGO_ Ramp Rate (Ki) 0.5 CAL CONST e1 0.5 <= e0 e0 e1 T z-1 feedback_correction_ 2 feedback_correction 5 fail_o2 6 fuel_mode Oxygen Sensor Switching Threshold CAL fail_o2_ fuel_mode_ EGO GT Threshold ~= not normal operation NOR enable integration 0 czero CONST hold integrator LOW not normal operation enable integration disablemode CONST Feedback Control Conclusion 6 What are the consequences of poor modeling? A model that is difficult to read/understand A model with only limited migration options A model that is hard to maintain Unsafe/faulty code Adoption of modeling guidelines can significantly increase the quality of the model (i.e. software) and result in: Fewer errors Greater comprehensibility (readability) Maintainability, testing, reuse, and expandability

4 Model-based Development: Challenges 7 The increasing complexity of electronic systems and vehicle software is reflected in the increasing complexity of models Modeling tools offer limited mechanisms to handle this complexity and support the developer This is particularly evident in the fact that: Support in checking and correcting models in respect to modeling guidelines is not yet sufficiently automated Presentation Outline 8 Motivation Modeling Guidelines MATE Model Transformation (Demo) Model analysis and repair Layout improvements Design pattern instantiation Conclusions

5 Daimler Modeling Guidelines 9 A collection of best practices/expert know-how: Autocode review Model-based testing Design of TargetLink MATLAB Simulink & Stateflow and TargetLink models e.g. for passenger car and truck divisions Currently over 200 guidelines and patterns for MATLAB Simulink & Stateflow and TargetLink models alone Central administration and publication on public-access e-guidelines Server Verifying Modeling Guidelines with Checks 10 90; 4% Manual change necessary Experience: Checking a complex MATLAB Simulink & Stateflow model (~20000 blocks) with model checks Nearly 2000 Guideline violations detected Unsettled 170; 8% Unmittelbare Reparatur Reparatur mit User-Feedback Manuelle Änderung notwendig ungeklärt Finding: ~90% of all guideline violations can be repaired with (interactive) transformations 900; 45% Direct (automatic) repair 870; 43% Repair with user feedback Tool Support needed for Model Analysis and Repair

6 Presentation Outline 11 Motivation Modeling Guidelines MATE Model Transformation (Demo) Model analysis and repair Layout improvements Design pattern instantiation Conclusions MATE Project Partners 12 MATE: MATLAB Simulink and Stateflow Analysis and Transformation Environment: (Dr. Ingo Stürmer) Software Engineering Group (Prof. Wilhelm Schäfer) Real-Time Systems Lab (Prof. Andy Schürr) University of Kassel (Prof. Albert Zündorf) MATE University of Siegen (Prof. Udo Kelter)

7 MATE Main Features 13 Model analysis Find guideline violations Complex analyses, e.g. data-flow analysis Model Transformation Model repair operations (automatic / interactive) Design pattern instantiation Model polishing (e.g. layout improvements) Analysis Repair MATE Approach: Graph Transformations 14 Apply graph transformations Graph representation of the model needed Graph representation of the model in focus Concrete Syntax outports :OutPort block source :ProductBlock name = Product1 line line :Line :ConstantBlock line :Line name = Constant3 type = int16 line value = 4 block source :OutPort outports inports target :InPort no = 1 block :ProductBlock block name = Product2 block target :InPort no = 2 inports Abstract Syntax (Graph) outports :OutPort...

8 MATE Approach: Graph Transformations 15 Abstract Syntax Graph Pattern Specification Specification of Graph Transformations Generated Model Analysis and Transformation Code Presentation Outline 16 Motivation Modeling Guidelines MATE Model Transformation (Demo) Model analysis and repair Layout improvements Design pattern instantiation Conclusions

9 MATE Features NOT shown during the demo 17 Automatic generation of model checks and transformations Model difference calculation Calculation of model metrics Offline (Batch) transformations Report generation Conclusions 18 Modeling guidelines are an important and appropriate means of guaranteeing the quality of both model and generated code The high number of rules that must be verified makes manual checking (of guideline compliancy) a timeconsuming and error-prone process Even when employing a static analysis tool, the modeler must still review the model High-level checks with graph transformations make model analyses easier, that were difficult and laborious to realize with previous means (e.g. m-scripts)

10 Contact 19 Model Engineering Solutions Dr.-Ing. Ingo Stürmer Friedrichstraße Berlin Germany Tel +49(0) Fax +49 (0) Internet: Backup Slides 20

11 MATE Tool-Architecture Calculation of Model Differences Model 1 Model 2

12 Data-flow Analysis X= A x ((C-B)-(A-B)) A B B Data type: sfix(16) Scaling: 2^(-11) X Data ty pe:sf ix(16) Scaling: 2^(-11) X C B MATE X outputerror_max = E-4 Data type: sfix(16) Scaling: 2^(-11) Data type: sfix(16) Scaling: 2^(-11) output_min = output_max = D B Data type: sfix(16) Scaling: 2^(-11) 2 Data type: sfix(16) Scaling: 2^(-11) Data type:sfix(32) Scaling: 2^(-16) Y E Data type: sfix(32) Scaling: 2^(-16) Y Data ty pe:sf ix(16) Scaling: 2^(-9) MATE Y Data ty pe:sf ix(32) outputerror_max = Scaling: 2^(-16) 2 Data ty pe:sf ix(16) Scaling: 2^(-10) output_min = output_max = F Data ty pe:sf ix(16) Scaling: 2^(-9) M-Script Implementation of Rule tl_0009

13 Example of a Modeling Guideline: tl_ Limitations with Regard to Operand Numbers for the Product Block Description If a fixed-point data type is specified for the output of the Product block, the number of inputs must not exceed two. If a vector signal is fed into a Product block, the number of elements of the vector must not exceed two. Remark The generation of proper fixed-point code for the Product block with more than two operands requires the specification of scaling information for intermediate results. TargetLink therefore requires the number of input variables not to exceed two for fixed-point data types. Example of a Modeling Guideline (cont.)

14 Flowchart Design Pattern: if-then-else if (condition1) { action1; } else if (condition2) action2; } else if (condition3) action3; } else { action4; } Design pattern Pseudo code

Prüfung von Traceability Links -Workshop

Prüfung von Traceability Links -Workshop 1 Prüfung von Traceability Links -Workshop Darmstadt, 7.12.2007 Agenda des Workshops 2 10.00 Begrüßung und Vorstellung der Teilnehmer 10.30 Erörterung der Entwicklungsmethoden 11.30 Mittagspause 12.15

More information

Using Model and Code Reviews in Model-based Development of ECU Software Mirko Conrad, Heiko Dörr, Ines Fey, Ingo Stürmer

Using Model and Code Reviews in Model-based Development of ECU Software Mirko Conrad, Heiko Dörr, Ines Fey, Ingo Stürmer Using Model and Code Reviews in Model-based Development of ECU Software DaimlerChrysler AG, Research E/E and Information Technology {Mirko.Conrad Heiko.Doerr Ines.Fey First.I.Stuermer}@DaimlerChrysler.com

More information

Automatic Code Generation

Automatic Code Generation Automatic Code Generation Embedded Control Systems Fall 2012 1 Software Development: Waterfall Model Requirements Design Implementation Verification Maintenance 2 Software Development: V diagram Project

More information

Simulink for System and Algorithm Modeling Introduction to System Modeling

Simulink for System and Algorithm Modeling Introduction to System Modeling 2015 The MathWorks, Inc. Simulink for System and Algorithm Modeling Introduction to System Modeling Outline 2-2 Model-Based Design Types of modeling System modeling with Simulink Modeling steps Model-Based

More information

SQMB '11 Automated Model Quality Rating of Embedded Systems

SQMB '11 Automated Model Quality Rating of Embedded Systems SQMB '11 Automated Model Quality Rating of Embedded Systems Jan Scheible (jan.scheible@daimler.com) Daimler AG - Group Research and Advanced Engineering Hartmut Pohlheim (pohlheim@model-engineers.com)

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

Product Information CANape Option Simulink XCP Server

Product Information CANape Option Simulink XCP Server Product Information CANape Option Simulink XCP Server Table of Contents 1 Overview... 3 1.1 Introduction... 3 1.2 Overview of Advantages... 3 1.3 Application Areas... 3 1.4 Further Information... 4 2 Functions...

More information

www.dspace.com Model-Based Development of Safety-Critical Software: Safe and Effi cient

www.dspace.com Model-Based Development of Safety-Critical Software: Safe and Effi cient www.dspace.com Model-Based Development of Safety-Critical Software: Safe and Effi cient Translation of Sicherheitskritische Software entwickeln Published at: MEDengineering, 06/2012 Software for safety-critical

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

Integrated Model-based Software Development and Testing with CSD and MTest

Integrated Model-based Software Development and Testing with CSD and MTest Integrated Model-based Software Development and Testing with CSD and Andreas Rau / Mirko Conrad / Helmut Keller / Ines Fey / Christian Dziobek DaimlerChrysler AG, Germany fa-stz-andreas.rau Mirko.Conrad

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

Introduction to MATLAB Gergely Somlay Application Engineer gergely.somlay@gamax.hu

Introduction to MATLAB Gergely Somlay Application Engineer gergely.somlay@gamax.hu Introduction to MATLAB Gergely Somlay Application Engineer gergely.somlay@gamax.hu 2012 The MathWorks, Inc. 1 What is MATLAB? High-level language Interactive development environment Used for: Numerical

More information

AUTOSAR Seminar WS2008/2009 - Assignment: Simulation of Automotive Systems in the Context of AUTOSAR

AUTOSAR Seminar WS2008/2009 - Assignment: Simulation of Automotive Systems in the Context of AUTOSAR AUTOSAR Seminar WS2008/2009 - Assignment: Simulation of Automotive Systems in the Context of AUTOSAR Krasnogolowy, Alexander March 31, 2009 Hasso-Plattner-Institut for IT-Systems Engineering University

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

Measuring Productivity and Quality in Model-Based Design

Measuring Productivity and Quality in Model-Based Design 2005-01-1357 Measuring Productivity and Quality in Model-Based Design Copyright 2004 SAE International Arvind Hosagrahara Technical Consultant (The MathWorks, Inc.) Paul Smith Managing Consultant (The

More information

Simulink Modeling Guidelines for High-Integrity Systems

Simulink Modeling Guidelines for High-Integrity Systems Simulink Modeling Guidelines for High-Integrity Systems R2015a How to Contact MathWorks Latest news: www.mathworks.com Sales and services: www.mathworks.com/sales_and_services User community: www.mathworks.com/matlabcentral

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

I can make just such ones if I had tools, and I could make tools if I had tools. -Eli Whitney

I can make just such ones if I had tools, and I could make tools if I had tools. -Eli Whitney I can make just such ones if I had tools, and I could make tools if I had tools to make them with. -Eli Whitney Automotive Software Development and Model Based Design (Matlab & Simulink) Ian M. Alferez,

More information

Best practices and Lessons Learnt during test case generation using Simulink Design Verifier for higher complexity models for testing C-code

Best practices and Lessons Learnt during test case generation using Simulink Design Verifier for higher complexity models for testing C-code Best practices and Lessons Learnt during test case generation using Simulink Design Verifier for higher complexity models for testing C-code - Guhan G - Rajesh Kannan R - Thavamani T Embedded Software

More information

MATLAB and Simulink for Embedded Systems and Robotics Sean de Wolski Application Engineer

MATLAB and Simulink for Embedded Systems and Robotics Sean de Wolski Application Engineer MATLAB and Simulink for Embedded Systems and Robotics Sean de Wolski Application Engineer 2014 The MathWorks, Inc. 1 Agenda for today MATLAB & SIMULINK Theory to Practice Trying out concepts from Controls,

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

Abstract Simulation: a Static Analysis of Simulink Models

Abstract Simulation: a Static Analysis of Simulink Models Abstract Simulation: a Static Analysis of Simulink Models Alexandre Chapoutot and Matthieu Martel LIP6 - Université Pierre et Marie Curie Paris, France ICESS 09 May 25th 2009 Purpose of the study Study

More information

Accelerating Execution Speed of Fixed-Point Algorithms in MATLAB & Simulink

Accelerating Execution Speed of Fixed-Point Algorithms in MATLAB & Simulink Accelerating Execution Speed of Fixed-Point Algorithms in MATLAB & Simulink 2007 The MathWorks, Inc. Houman Zarrinkoub, PhD. Product Manager Signal Processing Toolboxes Houman.Zarrinkoub@mathworks.com

More information

Significant Quality and Performance Gains through Fully Automated Back-to-Back Testing

Significant Quality and Performance Gains through Fully Automated Back-to-Back Testing - Hans J. Holberg SVP Marketing & Sales, BTC Embedded Systems AG Buschstr. 1, 26127 Oldenburg, Germany holberg@btc-es.de Dr. Udo Brockmeyer CEO, BTC Embedded Systems AG Buschstr. 1, 26127 Oldenburg, Germany

More information

µfup: A Software Development Process for Embedded Systems

µfup: A Software Development Process for Embedded Systems µfup: A Software Development Process for Embedded Systems Leif Geiger, Jörg Siedhof, Albert Zündorf University of Kassel, Software Engineering Research Group, Department of Computer Science and Electrical

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

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

Overview of Existing Safeguarding Techniques for Automatically Generated Code

Overview of Existing Safeguarding Techniques for Automatically Generated Code Overview of Existing Safeguarding Techniques for Automatically Generated Code Ingo Stürmer Member of the ACM stuermer@acm.org Daniela Weinberg Fraunhofer FIRST Computer Architecture and Software Technology

More information

INTEGRATION OF THE CODE GENERATION APPROACH IN THE MODEL-BASED DEVELOPMENT PROCESS BY MEANS OF TOOL CERTIFICATION

INTEGRATION OF THE CODE GENERATION APPROACH IN THE MODEL-BASED DEVELOPMENT PROCESS BY MEANS OF TOOL CERTIFICATION Journal of Integrated Design and Process Science, Vol. 8 (2), pp.-, 2004 INTEGRATION OF THE CODE GENERATION APPROACH IN THE MODEL-BASED DEVELOPMENT PROCESS BY MEANS OF TOOL CERTIFICATION Ingo Stürmer Department

More information

Reprint, also in extracts, without authorisation of the publisher forbidden.

Reprint, also in extracts, without authorisation of the publisher forbidden. Publisher: LuK GmbH & Co. Industriestrasse 3 D -77815 Bühl/Baden Telephon +49 (0) 7223 / 941-0 Fax +49 (0) 7223 / 2 69 50 Internet: www.luk.de Editorial: Ralf Stopp, Christa Siefert Layout: Vera Westermann

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

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

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

Model-Based Design for Safety Critical Applications Bill Potter The MathWorks

Model-Based Design for Safety Critical Applications Bill Potter The MathWorks Model-Based Design for Safety Critical Applications Bill Potter The MathWorks 2007 The MathWorks, Inc. Attributes of Safety Critical Systems Reliably perform intended function Contain no unintended function

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

Validating Diagnostics in Early Development Stages

Validating Diagnostics in Early Development Stages Validating Diagnostics in Early Development Stages Explanations by means of an Example of an automatic exterior lighting control Dipl.-Ing. Valentin Adam, Daimler AG Dipl.-Ing. Matthias Kohlweyer, Daimler

More information

Why Adopt Model-Based Design for Embedded Control Software Development?

Why Adopt Model-Based Design for Embedded Control Software Development? Why Adopt Model-Based Design for Embedded Control Software Development? As requirements for increased product performance are driving up design complexity, embedded software is increasingly becoming the

More information

Robot Control MRobot

Robot Control MRobot Laboratory CIM & Robotik Prof. Dipl.-Ing. Georg Stark Robot Control MRobot 1. Development Process of Industrial Control Units 2. Characteristics of MRobot - Functionality - Software Structure - Benefits

More information

Instrumentation-Based Verification for Medical-Device Software

Instrumentation-Based Verification for Medical-Device Software Instrumentation-Based Verification for Medical-Device Software Rance Cleaveland Professor of Computer Science, University of Maryland and Executive & Scientific Director, Fraunhofer USA Center for Experimental

More information

idas Data Application and Documentation

idas Data Application and Documentation idas Data Application and Documentation intelligent Data Application System Rainer Röhrle ZF Friedrichshafen AG TEN_1001_2_en Application Process (commercial vehicles) Offline calibration (pre calibration)

More information

Fixed-Point Design in MATLAB and Simulink

Fixed-Point Design in MATLAB and Simulink Fixed-Point Design in MATLAB and Simulink Gaurav Dubey Senior Team Lead - Pilot Engineering Gaurav.Dubey@mathworks.in 2013 The MathWorks, Inc. 1 What are you looking for? How can I convert an algorithm

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

BEST Robotic, Inc. MATLAB/Simulink Team Training Programming With MATLAB/Simulink

BEST Robotic, Inc. MATLAB/Simulink Team Training Programming With MATLAB/Simulink BEST Robotic, Inc. MATLAB/Simulink Team Training Programming With MATLAB/Simulink September 20, 2014 BISON BEST 1 What You ll Need Minimum System Requirements Microsoft Windows XP or Later 32-bit or 64-bit

More information

Hardware-Software Implementation With Model-Based Design

Hardware-Software Implementation With Model-Based Design Hardware-Software Implementation With Model-Based Design Sudhir Sharma Product Manager, HDL Code Generation And Verification The MathWorks 2007 The MathWorks, Inc. Agenda What is the System Design Challenge

More information

Performance Study based on Matlab Modeling for Hybrid Electric Vehicles

Performance Study based on Matlab Modeling for Hybrid Electric Vehicles International Journal of Computer Applications (975 8887) Volume 99 No.12, August 214 Performance Study based on Matlab Modeling for Hybrid Electric Vehicles Mihai-Ovidiu Nicolaica PhD Student, Faculty

More information

Vector Test Solution. Vector Congress 2014, Stuttgart V / 6

Vector Test Solution. Vector Congress 2014, Stuttgart V / 6 Vector Test Solution Vector Congress 2014, Stuttgart 1 / 6 V1.00 2014-11-18 Overview Vector Test Solution vteststudio (or 3 rd party) Test programming (CAPL, C#) Table based test design Graphical test

More information

MathWorks Products and Prices Euro Academic March 2012

MathWorks Products and Prices Euro Academic March 2012 MATLAB Product Family Academic pricing is reserved for noncommercial use by degree-granting institutions in support of on-campus classroom instruction and academic research. Refer to /academia for complete

More information

Proceedings of the 3 rd International Modelica Conference, Linköping, November 3-4, 2003, Peter Fritzson (editor)

Proceedings of the 3 rd International Modelica Conference, Linköping, November 3-4, 2003, Peter Fritzson (editor) Proceedings of the 3 rd International Modelica Conference, Linköping, November 3-4, 2003, Peter Fritzson (editor) Mike Dempsey Claytex Services Limited: Automatic translation of Simulink models into Modelica

More information

Dr.-Ing. Rainer Rasche dspace GmbH Rathenaustrasse 26 33102 Paderborn automotive testing expo June 22, 2010

Dr.-Ing. Rainer Rasche dspace GmbH Rathenaustrasse 26 33102 Paderborn automotive testing expo June 22, 2010 Combining Two Worlds: Precise Real-Time- Based and Convenient PC-Based Testing Dr.-Ing. Rainer Rasche dspace GmbH Rathenaustrasse 26 33102 Paderborn nd automotive testing expo June 22, 2010 Agenda Testautomation

More information

Quality Assurance Methods for Model-based Development: A Survey and Assessment

Quality Assurance Methods for Model-based Development: A Survey and Assessment 2007-01-0506 Quality Assurance Methods for Model-based Development: A Survey and Assessment Copyright 2007 SAE International Ines Fey DaimlerChrysler AG, Berlin, Germany ines.fey@daimlerchrysler.com Ingo

More information

Generating, Optimizing and Verifying HDL Code with MATLAB and Simulink Puneet Kumar Application Engineering Team

Generating, Optimizing and Verifying HDL Code with MATLAB and Simulink Puneet Kumar Application Engineering Team Generating, Optimizing and Verifying HDL Code with MATLAB and Simulink Puneet Kumar Application Engineering Team 2012 The MathWorks, Inc. 1 Agenda Integrated Workflow for FPGA/ASIC Development Automatic

More information

Development of Tool Extensions with MOFLON

Development of Tool Extensions with MOFLON Development of Tool Extensions with MOFLON Ingo Weisemöller, Felix Klar, and Andy Schürr Fachgebiet Echtzeitsysteme Technische Universität Darmstadt D-64283 Darmstadt, Germany {weisemoeller klar schuerr}@es.tu-darmstadt.de

More information

Automotive Software Engineering

Automotive Software Engineering Automotive Software Engineering List of Chapters: 1. Introduction and Overview 1.1 The Driver Vehicle Environment System 1.1.1 Design and Method of Operation of Vehicle Electronic 1.1.2 Electronic of the

More information

Automatic ASAM MCD-3 supported test. PikeTec GmbH Dr. Jens Lüdemann

Automatic ASAM MCD-3 supported test. PikeTec GmbH Dr. Jens Lüdemann Automatic ASAM MCD-3 supported test PikeTec GmbH Dr. Jens Lüdemann Test challenges Clear test case description (Modeling) Continuity and consistency at all test platforms Automated Execution, Assessment,

More information

GEDAE TM - A Graphical Programming and Autocode Generation Tool for Signal Processor Applications

GEDAE TM - A Graphical Programming and Autocode Generation Tool for Signal Processor Applications GEDAE TM - A Graphical Programming and Autocode Generation Tool for Signal Processor Applications Harris Z. Zebrowitz Lockheed Martin Advanced Technology Laboratories 1 Federal Street Camden, NJ 08102

More information

Software House Embedded Systems

Software House Embedded Systems Software House Embedded Systems Contacts: E-mobility, chassis, driver assistance and body electronics: Martin Richter +49 5371 805-1041 Infotainment, radio and instrument cluster: Sven Lochau +49 30 39978-7631

More information

The MathWorks Products and Prices Euro Academic January 2010

The MathWorks Products and Prices Euro Academic January 2010 The MathWorks Products and Prices Euro Academic January 2010 MATLAB Product Family Academic pricing is reserved for noncommercial use by degree-granting institutions in support of on-campus classroom instruction

More information

Body Subsystems Test Automation using the dspace Hardware-in-the-Loop setup

Body Subsystems Test Automation using the dspace Hardware-in-the-Loop setup dspace User Conference Body Subsystems Test Automation using the dspace Hardware-in-the-Loop setup Venkata RK Pinnelli Suresh H Mohammed Haneefa Kolari 14-Sep-2012 General Motors Testing Environments Test

More information

Model-Based Development of Safety-Critical Systems

Model-Based Development of Safety-Critical Systems Model-Based Development of Safety-Critical Systems Matthias Regensburger (regensbu@in.tum.de) Christian Buckl (buckl@in.tum.de) 08.05.2007 1 Overview Motivation Approach: Template Based Development Models

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

Introduction to Simulink

Introduction to Simulink Telemark University College Department of Electrical Engineering, Information Technology and Cybernetics Introduction to Simulink HANS-PETTER HALVORSEN, 2011.06.06 Faculty of Technology, Postboks 203,

More information

MATLAB and Simulink for Embedded System Design

MATLAB and Simulink for Embedded System Design Pieter J. Mosterman pieter.mosterman@mathworks.com 591 592 593 594 595 596 597 598 599 600 /* Logic: '/either' */ rtb_either = power_window_con_b.passenger_control_b power_window_con_b.passenger_control_a;

More information

Verification and Validation According to ISO 26262: A Workflow to Facilitate the Development of High-Integrity Software

Verification and Validation According to ISO 26262: A Workflow to Facilitate the Development of High-Integrity Software ABSTRACT Verification and Validation According to ISO 26262: A Workflow to Facilitate the Development of High-Integrity Software Mirko Conrad The MathWorks, Inc. Natick, MA, USA mirko.conrad@mathworks.com

More information

EXAM FOR INFOTECH SOFTWARE ENGINEERING FOR REAL-TIME SYSTEMS. Suggested Solution WS 13/14. - Without Engagement -

EXAM FOR INFOTECH SOFTWARE ENGINEERING FOR REAL-TIME SYSTEMS. Suggested Solution WS 13/14. - Without Engagement - EXAM FOR INFOTECH SOFTWARE ENGINEERING FOR REAL-TIME SYSTEMS Suggested Solution WS 13/14 - Without Engagement - Task Theme Points Time required in min. 1 Analysis and Design 15 30 2 Basics and Test 10

More information

MathWorks Products and Prices North America Academic March 2013

MathWorks Products and Prices North America Academic March 2013 MathWorks Products and Prices North America Academic March 2013 MATLAB Product Family Academic pricing is reserved for noncommercial use by degree-granting institutions in support of on-campus classroom

More information

Bridging the gap between SysML tools and Simulink within System Engineering context

Bridging the gap between SysML tools and Simulink within System Engineering context Bridging the gap between SysML tools and Simulink within System Engineering context Ascension Vizinho-Coutry, Application Engineering Manager MathWorks France 2014 The MathWorks, Inc. 1 Requirements =

More information

Introduction to Simulink & Stateflow. Coorous Mohtadi

Introduction to Simulink & Stateflow. Coorous Mohtadi Introduction to Simulink & Stateflow Coorous Mohtadi 1 Key Message Simulink and Stateflow provide: A powerful environment for modelling real processes... and are fully integrated with the MATLAB environment.

More information

Installation Guide: PowerAire Quad

Installation Guide: PowerAire Quad Installation Guide: Quad INSTALLATION GUIDE FOR POWERAIRE QUAD QUAD-FAN ASSIST Tel (410)799-4200 1 of 15 Installation Guide: Quad INTRODUCTION Tate s Variable Speed Quad Fan Assist device provides the

More information

MathWorks Automotive Conference 2015 Simon Fürst, 2015/09/24. MODEL-BASED SOFTWARE DEVELOPMENT: AN OEM S PERSPECTIVE.

MathWorks Automotive Conference 2015 Simon Fürst, 2015/09/24. MODEL-BASED SOFTWARE DEVELOPMENT: AN OEM S PERSPECTIVE. MathWorks Automotive Conference 2015 Simon Fürst, 2015/09/24. MODEL-BASED SOFTWARE DEVELOPMENT: AN OEM S PERSPECTIVE. MODEL-BASED SOFTWARE DEVELOPMENT AT BMW. Software development with MATLAB & Simulink

More information

Mobia Modeler: An Adaptable Mobile Application Modeler for Non-Expert Users

Mobia Modeler: An Adaptable Mobile Application Modeler for Non-Expert Users Abschlussvortrag Diplomarbeit Mobia Modeler: An Adaptable Mobile Application Modeler for Non-Expert Users Max Tafelmayer Aufgabensteller: Prof. Dr. Heinrich Hußmann Betreuerin: Florence Balagtas-Fernandez

More information

Lecture slides for Training Curriculum TIA Portal

Lecture slides for Training Curriculum TIA Portal Lecture slides for Training Curriculum TIA Portal Siemens Automation Cooperates with Education To be used only at educational and R&D institutions siemens.de/sce Table of contents 020-100 Process description

More information

Collaborating in California: Open HIL Test System Architecture uses the ASAM HIL API

Collaborating in California: Open HIL Test System Architecture uses the ASAM HIL API Collaborating in California: Open HIL Test System Architecture uses the ASAM HIL API ASAM INTERNATIONAL CONFERENCE, Dec. 03 04, 2013, Dresden, Germany Dr. Jiri Keprt, National Instruments Corporation (Speaker)

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

PREEvision. Model-based Electric/Electronic Development. from Architecture Design to Series-Production Readiness ENGLISH. Distr. Systems.

PREEvision. Model-based Electric/Electronic Development. from Architecture Design to Series-Production Readiness ENGLISH. Distr. Systems. Development Distr. Systems Model-based Electric/Electronic Development from Architecture Design to Series-Production Readiness ENGLISH 2 Model-based Electric/Electronic Development from Architecture Design

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

Bridging Formal Methods and Data Science

Bridging Formal Methods and Data Science Bridging Formal Methods and Data Science Vijay Murali Rice University IEEE 2015 Slides courtesy of Swarat Chaudhuri Data Science / Data mining Algorithms and tools to extract knowledge or insights from

More information

Model-Based Testing of Software Product Lines

Model-Based Testing of Software Product Lines Model-Based Testing of Software Product Lines Prof. Dr. Holger Schlingloff Fraunhofer FOKUS & Humboldt Universität holger.schlingloff@fokus.fraunhofer.de H. Schlingloff, Fraunhofer FOKUS Fraunhofer FOKUS

More information

MODEL-BASED DEVELOPMENT OF AUTOMOTIVE EMBEDDED SOFTWARE IN COMPLIANCE WITH ISO 26262: CHALLENGES & EFFECTIVE SOLUTIONS 8 JUNE - 9 JUNE 2015

MODEL-BASED DEVELOPMENT OF AUTOMOTIVE EMBEDDED SOFTWARE IN COMPLIANCE WITH ISO 26262: CHALLENGES & EFFECTIVE SOLUTIONS 8 JUNE - 9 JUNE 2015 MODEL-BASED DEVELOPMENT OF AUTOMOTIVE EMBEDDED SOFTWARE IN COMPLIANCE WITH ISO 26262: CHALLENGES & EFFECTIVE SOLUTIONS 8 JUNE - 9 JUNE 2015 Highlights Developing safety-critical software in compliance

More information

Deployment of Model-based Software Development in Safety-related Applications: Challenges and Solutions Scenarios

Deployment of Model-based Software Development in Safety-related Applications: Challenges and Solutions Scenarios Deployment of Model-based Software Development in Safety-related Applications: Challenges and Solutions Scenarios Mirko Conrad, Heiko Doerr Research E/E and Information Technology DaimlerChrysler AG Alt-Moabit

More information

CONTROL SYSTEMS, ROBOTICS, AND AUTOMATION Vol. III Design of State Space Controllers (Pole Placement) for SISO Systems - Lohmann, Boris

CONTROL SYSTEMS, ROBOTICS, AND AUTOMATION Vol. III Design of State Space Controllers (Pole Placement) for SISO Systems - Lohmann, Boris DESIGN OF STATE SPACE CONTROLLERS (POLE PLACEMENT) FOR SISO SYSTEMS Lohmann, Boris Institut für Automatisierungstechnik, Universität Bremen, Germany Keywords: State space controller, state feedback, output

More information

MECE 102 Mechatronics Engineering Orientation

MECE 102 Mechatronics Engineering Orientation MECE 102 Mechatronics Engineering Orientation Mechatronic System Components Associate Prof. Dr. of Mechatronics Engineering Çankaya University Compulsory Course in Mechatronics Engineering Credits (2/0/2)

More information

Introduction to the Basic Functions of CANape Version

Introduction to the Basic Functions of CANape Version Version 1.1 2012-08-13 Table of Contents 1.0 Introduction... 3 2.0 Convenient access to internal ECU data... 4 3.0 Access to Diagnostic Data... 5 4.0 Event-Synchronous Measurement over CCP/XCP... 6 5.0

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

From Control Loops to Software

From Control Loops to Software CNRS-VERIMAG Grenoble, France October 2006 Executive Summary Embedded systems realization of control systems by computers Computers are the major medium for realizing controllers There is a gap between

More information

Automatic Generation of Consistency-Preserving Edit Operations for MDE Tools

Automatic Generation of Consistency-Preserving Edit Operations for MDE Tools Automatic Generation of Consistency-Preserving Edit Operations for MDE Tools Michaela Rindt, Timo Kehrer, Udo Kelter Software Engineering Group University of Siegen {mrindt,kehrer,kelter}@informatik.uni-siegen.de

More information

Robotics and Automation Blueprint

Robotics and Automation Blueprint Robotics and Automation Blueprint This Blueprint contains the subject matter content of this Skill Connect Assessment. This Blueprint does NOT contain the information one would need to fully prepare for

More information

Complexity Analysis of Simulink Models to improve the Quality of Outsourcing in an Automotive Company. Jeevan Prabhu August 2010

Complexity Analysis of Simulink Models to improve the Quality of Outsourcing in an Automotive Company. Jeevan Prabhu August 2010 Complexity Analysis of Simulink Models to improve the Quality of Outsourcing in an Automotive Company Jeevan Prabhu August 2010 ABSTRACT Usage of software in automobiles is increasing rapidly and since

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

TF Electronics Throttle Controller

TF Electronics Throttle Controller TF Electronics Throttle Controller Software Installation: Double click on TFEsetup.exe file to start installation. After installation there will be a shortcut on your desktop. Connecting the USB cable

More information

Part I. Introduction

Part I. Introduction Part I. Introduction In the development of modern vehicles, the infotainment system [54] belongs to the innovative area. In comparison to the conventional areas such as the motor, body construction and

More information

Demo: Real-time Tracking of Round Object

Demo: Real-time Tracking of Round Object Page 1 of 1 Demo: Real-time Tracking of Round Object by: Brianna Bikker and David Price, TAMU Course Instructor: Professor Deepa Kundur Introduction Our project is intended to track the motion of a round

More information

Rapid Control Prototyping for Automotive Control Software. Kiran K Kulkarni Application Expert ETAS Automotive, India

Rapid Control Prototyping for Automotive Control Software. Kiran K Kulkarni Application Expert ETAS Automotive, India Rapid Control Prototyping for Automotive Control Software Kiran K Kulkarni Application Expert ETAS Automotive, India 1 Rapid Control Prototyping for Automotive Control Software Agenda Basics on Prototyping

More information

Electronic Concepts & Engineering, Inc. Developers of Embedded Electronics & Software. Automotive - Truck - Industrial

Electronic Concepts & Engineering, Inc. Developers of Embedded Electronics & Software. Automotive - Truck - Industrial Electronic Concepts & Engineering, Inc. Developers of Embedded Electronics & Software Automotive - Truck - Industrial ECE Programs have Included: Hybrid Electric Vehicle Control Systems Automated Manual

More information

OPC COMMUNICATION IN REAL TIME

OPC COMMUNICATION IN REAL TIME OPC COMMUNICATION IN REAL TIME M. Mrosko, L. Mrafko Slovak University of Technology, Faculty of Electrical Engineering and Information Technology Ilkovičova 3, 812 19 Bratislava, Slovak Republic Abstract

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

Challenges of Automation in Translation Quality Management

Challenges of Automation in Translation Quality Management Challenges of Automation in Translation Quality Management Berlin, 12.09.2009 Dr. François Massion D.O.G. Dokumentation ohne Grenzen GmbH francois.massion@dog-gmbh.de Overview Quality definition and quality

More information

Measuring, Controlling and Regulating with labworldsoft

Measuring, Controlling and Regulating with labworldsoft Kai-Oliver Linde IKA-Werke Staufen Neumagenstraße 27 79219 Staufen Measuring, Controlling and Regulating with labworldsoft Rapid and easy networking of lab devices from different manufacturers The user

More information

An Overview of Hardware-In-the-Loop Testing Systems at Visteon

An Overview of Hardware-In-the-Loop Testing Systems at Visteon SAE TECHNICAL PAPER SERIES 2004-01-1240 An Overview of Hardware-In-the-Loop Testing Systems at Visteon Syed Nabi and Mahesh Balike Visteon Corporation Jace Allen and Kevin Rzemien dspace Inc. Reprinted

More information

Software Module Test for an Electronic Steering Lock

Software Module Test for an Electronic Steering Lock Software Module Test for an Electronic Steering Lock Wolfgang Beer, Dr. Peter Jüttner, Daniel Simonis (external subcontractor), Siemens VDO Automotive AG Siemensstr. 12 93055 Regensburg, Germany Tel.:

More information

Multi-Konzeptionelle Verwendung von Low-Cost Hardware in der Lehre Dr.-Ing. Daniel Weida, MathWorks

Multi-Konzeptionelle Verwendung von Low-Cost Hardware in der Lehre Dr.-Ing. Daniel Weida, MathWorks Multi-Konzeptionelle Verwendung von Low-Cost Hardware in der Lehre Dr.-Ing. Daniel Weida, MathWorks 2015 The MathWorks, Inc. 1 Agenda Project-Based Learning in Engineering Education Multipurpose Hardware

More information