Ingo Stürmer, Dietrich Travkin. Automated Transformation of MATLAB Simulink and Stateflow Models
|
|
- Hugh Cannon
- 8 years ago
- Views:
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
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 informationSQMB '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 informationUsing 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 informationConverting 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 informationProduct 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 informationwww.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 informationAUTOSAR 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 informationSoftware 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 informationIntroduction 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 informationIntegrated 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 informationModel-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 informationSoftware 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 informationSimulink 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 informationPower 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 informationI 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 informationINTEGRATION 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 informationDevelopment 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µ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 informationMaking 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 informationOverview 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 informationReprint, 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 informationCaterpillar 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 informationModel 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 informationEchtzeittesten 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 informationIntegrating 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 informationRobot 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 informationWhy 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 informationInstrumentation-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 informationidas 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 informationValidating 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 informationWiederverwendung 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 informationVerification 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 informationProceedings 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 informationPerformance 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 informationAutomatic 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 informationDevelopment 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 informationCollaborating 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 informationQuality 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 informationGEDAE 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 informationAutomotive 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 informationDr.-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 informationEXAM 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 informationModel-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 informationBest 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 informationIntroduction 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 informationSoftware 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 informationMobia 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 informationMathWorks 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 informationLecture 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 informationSoftware 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 informationDeployment 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 informationMathWorks 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 informationEfficient 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 informationComplexity 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 informationModel-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 informationMECE 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 informationFrom 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 informationPart 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 informationBest 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 informationDevelopment of a Continuous Process Test to Increase the Software Code Quality of a Engine Control System
Development of a Continuous Process Test to Increase the Software Code Quality of a Engine Control System Patama Ramchune The Sirindhorn International Thai-German Graduate School of Engineering (TGGS)
More informationRobotics 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 informationOPC 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 informationTopics. Introduction. Java History CS 146. Introduction to Programming and Algorithms Module 1. Module Objectives
Introduction to Programming and Algorithms Module 1 CS 146 Sam Houston State University Dr. Tim McGuire Module Objectives To understand: the necessity of programming, differences between hardware and software,
More informationDemo: 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 informationChallenges 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 informationMODEL-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 informationMulti-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 informationTextual Modeling Languages
Textual Modeling Languages Slides 4-31 and 38-40 of this lecture are reused from the Model Engineering course at TU Vienna with the kind permission of Prof. Gerti Kappel (head of the Business Informatics
More informationModel-Driven Software Development for Robotics: an overview
Model-Driven Software Development for Robotics: an overview IEEE-ICRA2011 Workshop on Software Development and Integration in Robotics Jan F. Broenink, Maarten M. Bezemer Control Engineering, University
More informationQuality Assurance of Models for Autocoding
Quality Assurance of Models for Autocoding Ann Cass, Pierre Castori S YNS PACE AG Hardstrasse 11 CH - 4052 Basel ac@synspace.com, pc@synspace.com Abstract: Automatic Code Generation is an emerging technology
More informationMulti-domain Model-driven Development Developing Electrical Propulsion System at Volvo Cars
Multi-domain Model-driven Development Developing Electrical Propulsion System at Volvo Cars Jonn Lantz Technical Specialist, Electric Propulsion Systems @ Volvo Car Group Jonn.Lantz@volvocars.com 1 Partners
More information1. Enter Question Text directly into Bb Test Canvas. 2. Create test questions in Respondus and import into Bb
3/24/2011 1 Screening and placement Diagnosis of knowledge deficiencies Formative assessment of student progress Summative evaluation of student outcomes Comparison of student performance with other students
More informationPRACTICAL 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 informationProduct 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 informationA Comprehensive Safety Engineering Approach for Software Intensive Systems based on STPA
www.uni-stuttgart.de A Comprehensive Safety Engineering Approach for Software Intensive Systems based on STPA STPA-based Approach STPA Safety Analysis Asim Abdulkhaleq, Ph.D Candidate Institute of Software
More informationEli 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 informationAutomatic 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 informationWebSphere Business Modeler
Discovering the Value of SOA WebSphere Process Integration WebSphere Business Modeler Workshop SOA on your terms and our expertise Soudabeh Javadi Consulting Technical Sales Support WebSphere Process Integration
More informationA Model-based Methodology for Developing Secure VoIP Systems
A Model-based Methodology for Developing Secure VoIP Systems Juan C Pelaez, Ph. D. November 24, 200 VoIP overview What is VoIP? Why use VoIP? Strong effect on global communications VoIP will replace PSTN
More informationAn 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 informationControl System Definition
Control System Definition A control system consist of subsytems and processes (or plants) assembled for the purpose of controlling the outputs of the process. For example, a furnace produces heat as a
More informationVehicle Off-Line GPS and Fuel Monitoring System (post trip vehicle monitoring system) Riga ; Latvia www.guardmagic.com
Vehicle Off-Line GPS and Fuel Monitoring System (post trip vehicle monitoring system) About Off-Line monitoring Off-Line vehicle and fuel monitoring system is the most inexpensive and the most cost effective
More informationMotorcycle application definition design
D5.3.1 Motorcycle application definition design Motorcycle application definition design Deliverable n. D5.3.1 Motorcycle application definition design Sub Project SP5 Integration and tests Workpackage
More informationAdvanced Electronic Platform Technologies Supporting Development of Complicated Vehicle Control Software
133 Hitachi Review Vol. 63 (2014), No. 2 Advanced Electronic Platform Technologies Supporting Development of Complicated Vehicle Control Software Yoshinobu Fukano, Dr. Sci. Kosei Goto Masahiro Matsubara
More informationApplication of UML in Real-Time Embedded Systems
Application of UML in Real-Time Embedded Systems Aman Kaur King s College London, London, UK Email: aman.kaur@kcl.ac.uk Rajeev Arora Mechanical Engineering Department, Invertis University, Invertis Village,
More informationEHOOKS 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 informationOn Quantitative Software Quality Assurance Methodologies for Cardiac Pacemakers
On Quantitative Software Quality Assurance Methodologies for Cardiac Pacemakers Marta Kwiatkowska Department of Computer Science, University of Oxford Joint work with Alexandru Mereacre and Nicola Paoletti
More informationDials & Gauges Blockset
Dials & Gauges Blockset For Use with Simulink Modeling Simulation Implementation User s Guide Version 1 How to Contact The MathWorks: www.mathworks.com comp.soft-sys.matlab support@mathworks.com suggest@mathworks.com
More informationEBERSPÄCHER ELECTRONICS automotive bus systems. solutions for network analysis
EBERSPÄCHER ELECTRONICS automotive bus systems solutions for network analysis DRIVING THE MOBILITY OF TOMORROW 2 AUTOmotive bus systems System Overview Analyzing Networks in all Development Phases Control
More informationReal Time Simulation for Off-Road Vehicle Analysis. Dr. Pasi Korkealaakso Mevea Ltd., May 2015
Real Time Simulation for Off-Road Vehicle Analysis Dr. Pasi Korkealaakso Mevea Ltd., May 2015 Contents Introduction Virtual machine model Machine interaction with environment and realistic environment
More informationDr. Ulrich Lauff, Dr. Kai Pinnow, and Dipl.-Ing. Florian Schmid. New Tools and Methods for Validation and Calibration
Special Reprint from HANSER automotive 10/2015 Dr. Ulrich Lauff, Dr. Kai Pinnow, and Dipl.-Ing. Florian Schmid New Tools and Methods for Validation and Calibration Mastering complex vehicle systems reliably
More informationADI Simulation Systems Help Speed Aircraft Development from Preliminary Design through Certification
ADI Simulation Systems Help Speed Aircraft Development from Preliminary Design through Certification Rapid advancements in avionics systems require moving from concept to certification as quickly and efficiently
More informationSchnell 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 informationSignalDraw: GUI Tool For Generating Pulse Sequences
SignalDraw: GUI Tool For Generating Pulse Sequences Konstantin Berlin Department of Computer Science University of Maryland College Park, MD 20742 kberlin@cs.umd.edu December 9, 2005 Abstract Generating
More informationRyan F. Schkoda, Ph.D. Postdoctoral Fellow Wind Turbine Drivetrain Testing Facility Charleston, SC
Systems Engineering Activities at Clemson University s International Center for Automotive Research (CU-ICAR) and Wind Turbine Drivetrain Testing Facility Ryan F. Schkoda, Ph.D. Postdoctoral Fellow Wind
More informationProduct Information Services for Embedded Software
Product Information Services for Embedded Software Table of Contents 1 Technical Consulting/Engineering Services... 3 1.1 Overview of Advantages... 3 1.2 Application Areas... 3 2 Product- Services - Proficient
More informationWhere Smart Data meets Data Security Siemens Cloud for Industry powered by SAP HANA. April 2015
Where Smart Data meets Data Security Siemens Cloud for Industry powered by SAP HANA April 2015 Think of a Number! 13642916 Page 2 Prologue: Nineteenth-century Data Overkill Page 3 Prologue: Your Brain
More informationTESSY Automated dynamic module/unit and. CTE Classification Tree Editor. integration testing of embedded applications. for test case specifications
TESSY Automated dynamic module/unit and integration testing of embedded applications CTE Classification Tree Editor for test case specifications Automated module/unit testing and debugging at its best
More informationMeasuring, 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 informationDynamic Process Modeling. Process Dynamics and Control
Dynamic Process Modeling Process Dynamics and Control 1 Description of process dynamics Classes of models What do we need for control? Modeling for control Mechanical Systems Modeling Electrical circuits
More information