DOCSLIB.ORG

Modelling of Hybrid Electric Vehicle Components in Modelica and Comparison with Simulink THESIS Presented in Partial Fulfillment

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Modelling of Hybrid Electric Vehicle Components in Modelica and Comparison with Simulink THESIS Presented in Partial Fulfillment Modelling of Hybrid Electric Vehicle Components in Modelica And Comparison with Simulink THESIS Presented in Partial Fulfillment of the Requirements for the Degree Master of Science in the Graduate School of The Ohio State University By Avinash Divecha Graduate Program in Mechanical Engineering The Ohio State University 2016 Thesis Committee: Dr. Giorgio Rizzoni, Advisor Dr. Marcello Canova Copyright by Avinash Divecha 2016 ABSTRACT Automobiles affect growth of humanity. Vehicles affect everything from economy to our environment. One of the advancements to ensure the energy consumed by vehicles is sustainable are Hybrid-electric vehicles. Hybrid-electric vehicles cover various domains under its umbrella. They are a combination of different systems including Electrical, Mechanical, Chemical, and Thermal. One of the tools used to model the dynamics of Hybrid-electric vehicles is MATLAB/Simulink which is a general purpose modelling tool. The language of Modelica and its simulation environments allows multi-domain modeling while modeling from the physical perspective. The focus of this thesis was to model components of Hybrid–electric vehicles in a Modelica based simulation environment, in the process learning the advantages and disadvantages of using the Modelica language and the tools which act as the front ends for the language. A model was created to simulate the electrical dynamics of a battery cell and pack. A model of an electric drive was taken from a commercial library and its dynamics were observed by integrating the model of the battery pack along with the electric drive. The models created using Dymola simulated in Dymola and were exported to Simulink to compare results and simulation times. The differences in creating a model in Simulink and a Modelica Simulation environment were examined and noted along with the benefits and shortcomings of the different modeling methodologies. ii DEDICATION To My parents Shailesh and Vibha, Who have molded me into the person I am today and provided for everything I have needed. My brother Yash, Who has always been there for me. All my teachers, Who have taken great efforts to aid my development. And my friends, Who have made this world an enjoyable place to be in. Without you all, none of this would be possible. iii ACKNOWLEDGEMENTS I am grateful to my advisor, Dr. Giorgio Rizzoni who has not only guided me on academic topics and how to conduct research, but also on how live a balanced life, and how to play golf. I would like to express my gratitude to the researchers at The Center for Automotive Research, especially Dr. Qadeer Ahmed, who has helped shaped the outcome of this project, and Dr. Stephanie Stockar, who was not a part of this project but has had an immense influence on me and my research. I would like to thank all the students who have helped me with my difficulties and helped further my knowledge, especially Bharatkumar Hegde, who has always made himself available for discussions which have provided me with insight. I would also like to thank Cummins for funding this research and the entire team there whose questions and feedback were essential to the direction of this project. iv VITA May 2013 ..........................................................B.E. Mechanical Engineering, K. J. Somaiya College of Engineering, University of Mumbai August 2013 to June 2014 ................................Graduate Engineer Trainee, Godrej and Boyce Mfg. Pvt. Ltd., Mumbai, India Jan 2015 to April 2015 .....................................Undergraduate Teaching Assistant, Department of Mechanical Engineering, The Ohio State University March 2015 to May 2015 .................................Student Research Associate, Department of Mechanical Engineering, The Ohio State University May 2015 to Present ........................................Graduate Research Associate, Department of Mechanical Engineering, The Ohio State University FIELDS OF STUDY Major Field: Mechanical Engineering v TABLE OF CONTENTS ABSTRACT ........................................................................................................................ ii DEDICATION ................................................................................................................... iii ACKNOWLEDGEMENTS ............................................................................................... iv VITA ................................................................................................................................... v TABLE OF CONTENTS ................................................................................................... vi LIST OF FIGURES ......................................................................................................... viii CHAPTER 1: INTRODUCTION .................................................................................. 1 1.1 Motivation............................................................................................................... 1 1.2 Simulation Environments ....................................................................................... 4 CHAPTER 2: LITERATURE REVIEW ....................................................................... 7 2.1 HEV Component Modelling Review...................................................................... 7 2.2 Battery Modeling and Comparison of Methods ................................................... 12 CHAPTER 3: THE MODELICA LANGUAGE ......................................................... 13 3.1 Introduction to Modelica ...................................................................................... 13 3.2 Acausality in Modelica ......................................................................................... 18 3.3 Tools running Modelica ........................................................................................ 20 3.4 Comparison of Modelica Simulation Environments ............................................ 28 3.5 Dymola ................................................................................................................. 30 CHAPTER 4: BATTERY MODELING IN MODELICA .......................................... 32 4.1 Overview of Battery Modelling ............................................................................ 32 4.2 0th order Battery Model ......................................................................................... 33 4.3 1st Order Battery Model ........................................................................................ 45 4.4 1st Order Battery Pack Model ............................................................................... 49 4.5 Exporting Battery Models to Simulink ................................................................. 57 CHAPTER 5: ELECTRIC DRIVES MODELING IN MODELICA .......................... 64 vi 5.1 Overview of Electric Drives ................................................................................. 64 5.2 Electric Machine Model ....................................................................................... 67 5.3 Inverter Model ...................................................................................................... 68 5.4 Simulating the Electric Drive ............................................................................... 69 CHAPTER 6: COMPARISON OF MODELICA AND SIMULINK MODELS ........ 75 6.1 Overview of comparison between Modelica and Simulink .................................. 75 6.2 Modeling Approach .............................................................................................. 76 6.3 Data Collection and Plotting ................................................................................. 79 6.4 Acausal Modeling ................................................................................................. 80 CHAPTER 7: CONCLUSION ..................................................................................... 84 REFERENCES ................................................................................................................. 86 vii LIST OF FIGURES Figure 1- Fuel Economy Prediction of Hybrid Vehicles [3] ............................................... 2 Figure 2 – Equations and Schematic of Equivalent Circuit Model .................................... 8 Figure 3 – Simulink Model for Battery Cell Level Calculations ........................................ 8 Figure 4 – Simulink Model for Lumped Battery Pack ....................................................... 9 Figure 5 – Overview of Simulink Model for Interconnected Battery Pack ...................... 10 Figure 6 – Diagram for Inverter ........................................................................................ 11 Figure 7 – Integrator and Derivative blocks with code in Modelica ................................ 19 Figure 8- Equivalent Circuit Model for ECM Battery Modeling ..................................... 33 Figure 9- Model of Capacity Calculator ........................................................................... 34 Figure 10- Model of SOC Calculator................................................................................ 34 Figure 11- Model of Open Circuit Voltage (E0) Calculator ............................................. 35 Figure 12- Model of Resistance R0 Calculator ................................................................. 36 Figure 13- Model of 0th Order Parameter Calculator ........................................................ 37 Figure 14- 0th Order Battery Model .................................................................................
Load more

Recommended publications
  • Applying Reinforcement Learning to Modelica Models
    ModelicaGym: Applying Reinforcement Learning to Modelica Models Oleh Lukianykhin∗ Tetiana Bogodorova [email protected] [email protected] The Machine Learning Lab, Ukrainian Catholic University Lviv, Ukraine Figure 1: A high-level overview of a considered pipeline and place of the presented toolbox in it. ABSTRACT CCS CONCEPTS This paper presents ModelicaGym toolbox that was developed • Theory of computation → Reinforcement learning; • Soft- to employ Reinforcement Learning (RL) for solving optimization ware and its engineering → Integration frameworks; System and control tasks in Modelica models. The developed tool allows modeling languages; • Computing methodologies → Model de- connecting models using Functional Mock-up Interface (FMI) to velopment and analysis. OpenAI Gym toolkit in order to exploit Modelica equation-based modeling and co-simulation together with RL algorithms as a func- KEYWORDS tionality of the tools correspondingly. Thus, ModelicaGym facilit- Cart Pole, FMI, JModelica.org, Modelica, model integration, Open ates fast and convenient development of RL algorithms and their AI Gym, OpenModelica, Python, reinforcement learning comparison when solving optimal control problem for Modelica dynamic models. Inheritance structure of ModelicaGym toolbox’s ACM Reference Format: Oleh Lukianykhin and Tetiana Bogodorova. 2019. ModelicaGym: Applying classes and the implemented methods are discussed in details. The Reinforcement Learning to Modelica Models. In EOOLT 2019: 9th Interna- toolbox functionality validation is performed on Cart-Pole balan- tional Workshop on Equation-Based Object-Oriented Modeling Languages and arXiv:1909.08604v1 [cs.SE] 18 Sep 2019 cing problem. This includes physical system model description and Tools, November 04–05, 2019, Berlin, DE. ACM, New York, NY, USA, 10 pages. its integration using the toolbox, experiments on selection and in- https://doi.org/10.1145/nnnnnnn.nnnnnnn fluence of the model parameters (i.e.
    [Show full text]
  • Optimation Optimizing Process Control with Dymola
    DS PLM SUCCESS STORY Optimation Optimizing process control with Dymola Overview Challenge Optimizing manufacturing processes define the strategies to run the mill or the Optimation needed to provide its Sweden’s Optimation helps companies to power plant at an optimum level and use customers with solutions that define optimize their manufacturing processes via simulation to test those strategies before they the optimal process control strategy for their production processes its expertise in control technology, dynamic are implemented in the real world.” simulation, and production processes. Solution Optimized process control can contribute to With Dymola, Optimation produces simulation Optimation uses Dymola to energy savings, better product quality, and results that mimic reality enabling its dynamically simulate the way a increased output. On the contrary, incorrectly customers to implement the most optimum controller should function for maximum structured and insufficiently configured configuration from the beginning. “I suppose operating capacity control systems lead to production downtime, we can say that we are control architects - we idleness or inefficiencies. Customers that turn define the optimum strategy and we create a Benefits to Optimation for process control optimization roadmap so that programmers have precise Thanks to Dymola, Optimation’s customers have a precise idea of the come from a variety of disciplines that include instructions on how to program a control way a process controller should be pulp mills, power plants, mining and steel. system,” said Eriksson. programmed before proceeding with physical modifications or installations Optimum configuration with Dymola A plant is an ensemble of hydraulic, Optimation uses Dymola, Dassault Systèmes mechanical, electrical systems. This is why multi-engineering modeling and simulation Optimation adopts a broad approach when solutions based on the open Modelica asked to optimize an existing plant.
    [Show full text]
  • ESI's Simulationx
    by ESI‘s SimulationX Courses and Contents SimulationX is a registered trademark of ESI ITI GmbH Dresden. © ESI ITI GmbH, Dresden, Germany, 2019. All rights reserved. Doc. Vers. 08/2019 Preface Dear Sir or Madam, with the continuous development of SimulationX we provide you with the necessary resources for a targeted and sustain- able work in the field of system simulation. You will learn the efficient use of the software and its innovations in group and individual training courses at ESI or directly at your site. The highly practical nature of our courses and the professional Your personal contact: expertise of our tutors guarantee a quick and successful learn- ing process. We look forward to passing on our knowledge and would be happy to discuss new solutions with you. Antje Richter T + 49 (0) 351 260 50 - 120 With best regards on behalf of the ESI team, F + 49 (0) 351 260 50 - 155 [email protected] Antje Richter, Content 1 ESI ITI Academy 1.1 Introduction 07 1.2 Course Overview 08 1.3 Conditions of Participation 09 1.4 Registration 10 2 Introduction to SimulationX 2.1 Fundamentals 11 2.2 Advanced Modeling 12 2.3 Methods for Calculation and Analyses 13 3 Physical Domains 3.1 Mechanics (1D) 14 3.2 Planar Mechanics 15 3.3 Multi-Body Systems 16 3.4 Hydraulics 17 3.5 Thermal 18 3.6 Pneumatics 19 3.7 Acoustics (1D) 20 3.8 Electronics, Electromagnetics, Electromechanics 21 3.9 Electrical Power & Communications Analysis (1D) 22 3.10 Control Engineering 23 Content 4 Applications 4.1 Drive Systems 24 4.1 Drive Systems 25 4.2 Hybrid
    [Show full text]
  • Simulationx를 이용한 기계, 유체, 전기 통합 시스템 모델링 및 해석 Simulationx, Multi-Domain Simulation and Modeling Tool for the Design, Analysis, and Optimization of Complex Systems
    기술해설 SimulationX를 이용한 기계, 유체, 전기 통합 시스템 모델링 및 해석 SimulationX, Multi-domain Simulation and Modeling tool for the Design, Analysis, and Optimization of Complex systems 윤영환, 장주섭 Y. H. Yoon and J. S. Jang 1. 서 론 SimulationX의 사용상 장점은 다음과 같다. 1) 각기 다른 분야의 엔지니어들이 각자의 방식대 컴퓨터의 성능 발달로 인하여 이것을 활용한 시 로 부품이나 시스템을 모델링 할 수 있고, 이를 뮬레이션의 활용도가 높아지고 있고, 그 결과 복잡 서로 공유함으로써 복합적인 시스템 전체의 해 한 시스템을 실제 시스템처럼 모사가 가능하다. 이 석을 가능하게 하여 Multi-Domain Simulation 러한 CAE(Computer Aided Engineering) 기술 활 S/W라고 한다. 용은 비용 절감 및 개발 기간의 단축이라는 점에서 2) 상호 작용 및 피드백을 포함하는 다양한 도메 매우 중요하며, 현재 많은 제품 개발에 해석 기술이 인 부품들의 상호 작용을 모델링 할 수 있다. 활용되고 있다.1-4) 3) 시스템 개발에 있어서 공통적인 모델링 및 해 SimulationX는 독일의 드레스덴(Dresden)에 본사 석 환경을 이용함으로써 모든 관계자들 간 상 를 두고 있는 ITI GmbH에서 개발한 Multi-Domain 호 이해의 기반을 다질 수 있다. 시뮬레이션 프로그램으로서, 어떤 시스템을 구성하 4) 시제품(prototype) 제작 및 테스트 기간을 단축 고 있는 부품들의 상호 작용을 해석하고 평가할 수 하고 개발 비용을 절감할 수 있다. 있는 대표적인 소프트웨어(Software, S/W)이다. 5) 실제로 측정이 어렵거나 불가능한 모델에 대한 SimulationX를 가장 많이 시용하는 업체로는 유 관찰이 가능하여 시스템 전반에 대한 이해도를 럽의 BMW, Benz와 같은 자동차산업의 선두그룹으 높여 준다. 로 독일 자동차 회사들이 왜 세계 최고의 제품을 SimulationX의 조작 화면(GUI)은 그림 1과 같이 만드는지 알 수 있을 정도로 잘 만들어진 S/W이다. 왼쪽의 각종 물리적인 모델을 포함하고 있는 라이 SimulationX는 이미 라이브러리 화 되어있는 기 브러리, 오른쪽 위에 이러한 모델들을 배치하고 서 계(1D mechanics, 3D multi-body systems), 유압 로 연결하여 시스템 전체의 회로도를 작성하는 (Hydraulics), 공압(Pneumatics), 제어(Controls), 전 Model view외 각 모델의 물리적 특성 파라미터의 기, 전자(Electric, Electronics), 자장(Magnetics), 파 표시 및 조정, 해석과 관련된 사항을 조정하는 워트레인(Power transmission 1D, 3D), 전기 기계 Model explorer로 구성되어 있다.
    [Show full text]
  • ISIGHT Brochure
    ISIGHT AUTOMATE DESIGN EXPLORATION AND OPTIMIZATION ISIGHT INDUSTRY CHALLENGES In today’s computer-aided product development and manufacturing environment, designers and engineers are using a wide range of KEY BENEFITS software tools to design and simulate their products. Often, the • Reduce time and costs parameters and results from one software package are required as • Improve product reliability inputs to another package, and the manual process of entering the required data can reduce efficiency, slow product development, and • Gain competitive advantage introduce errors in modeling and simulation assumptions. SIMULIA’s Isight Solution Isight provides designers, engineers, and researchers with an open system for integrating design and simulation models—created with various CAD, CAE, and other software applications—to automate the execution of hundreds or thousands of simulations. Isight allows users to save time and improve their products by optimizing them against performance or cost metrics through statistical methods, such as Design of Experiments (DOE) or Design for Six Sigma. Isight combines cross-disciplinary models and applications together in a simulation process flow, automates their execution, explores the resulting design space, and identifies the optimal design Isight parameters based on required constraints. Isight’s ability to manipulate and map parametric data between process steps and automate multiple simulations greatly improves efficiency, reduces manual errors, and accelerates the evaluation of product design alternatives. Open Component Framework Isight provides a standard library of components— including Excel™, Word™, CATIA V5™, Dymola™, MATLAB®, COM, Text I/O applications, Java and Python Scripting, and databases—for integrating and running a model or simulation. These components form the building blocks of simulation process flows.
    [Show full text]
  • Dassault Systèmes Products Lines Releases Support Life Cycle Dates for Licensed Program
    Dassault Systèmes Products Lines Releases Support Life Cycle Dates For licensed program © Dassault Systèmes | Confidential Information | 5/23/14 | ref.: 3DS_Document_2014 ref.: Information | | 5/23/14 © Dassault | Confidential Systèmes 3DS.COM Applicable as of - 9/13/2019 Dassault Systèmes - Customer Support Table of contents 1. 3DEXPERIENCE ........................................................................................................... 4 2. 3DEXCITE ..................................................................................................................... 5 3. BIOVIA ........................................................................................................................... 6 4. CATIA Composer ........................................................................................................... 8 5. CATIA V4 ....................................................................................................................... 9 6. CATIA AITAC ............................................................................................................... 10 7. DELMIA APRISO ......................................................................................................... 11 8. DELMIA ORTEMS ....................................................................................................... 12 9. DYMOLA...................................................................................................................... 13 10. ELECTRE & ELECTRE Connectors for V5 .................................................................
    [Show full text]
  • Efficient Software Tools in the Renewable Energy Domain: Maple and Maplesim
    EnviroInfo 2013: Environmental Informatics and Renewable Energies Copyright 2013 Shaker Verlag, Aachen, ISBN: 978-3-8440-1676-5 Efficient software tools in the renewable energy domain: Maple and MapleSim Ji ří H řebí ček 1, Jaroslav Urbánek 1,2 Abstract There are presented efficient software tools Maple and MapleSim for solving technical problems in the renewable energy domain using mathematics-based modelling. MapleSim represents the simulation environment, which has a graphical interface for interconnecting system components. The system models are then processed by the Maple (symbolic computation system) mathematics engine, and finally the differential-algebraic equations describing the solved systems are simulated numerically to produce and 2-D, 3-D visualise output results. Maple allows users to quickly focus and reliably solve problems with easy access to over 5000 algorithms and functions developed over 30 years of cutting-edge research and development. In the paper there are presented two solved problems in the renewa- ble energy domain, which are freely downloadable from the web of the Canadian company Maplesoft developing above software tools. 1. Introduction The Canadian company Maplesoft 3 has developed simple and friendly used software tools Maple® 4 and MapleSim® 5 which reduce the cost and effort of developing high-fidelity models of power generation and energy storage systems, including gas and steam turbine generator sets; wind, wave, and solar energy sys- tems and batteries. Maple information technology has been trusted as a cutting edge mathematical and technical tool for over 30 years. In that time, millions of users from around the world have used and relied on the power of Maple for their research, testing, analysis, design, teaching, and schoolwork (Gander/Hřebí ček 2004), (Lynch 2009), (Borwein/Skerritt 2011), (Fox 2011), (Hřebí ček et al 2011), (Hřebí ček 2012).
    [Show full text]
  • Reusing Static Analysis Across Di Erent Domain-Specific Languages
    Reusing Static Analysis across Dierent Domain-Specific Languages using Reference Attribute Grammars Johannes Meya, Thomas Kühnb, René Schönea, and Uwe Aßmanna a Technische Universität Dresden, Germany b Karlsruhe Institute of Technology, Germany Abstract Context: Domain-specific languages (DSLs) enable domain experts to specify tasks and problems themselves, while enabling static analysis to elucidate issues in the modelled domain early. Although language work- benches have simplified the design of DSLs and extensions to general purpose languages, static analyses must still be implemented manually. Inquiry: Moreover, static analyses, e.g., complexity metrics, dependency analysis, and declaration-use analy- sis, are usually domain-dependent and cannot be easily reused. Therefore, transferring existing static analyses to another DSL incurs a huge implementation overhead. However, this overhead is not always intrinsically necessary: in many cases, while the concepts of the DSL on which a static analysis is performed are domain- specific, the underlying algorithm employed in the analysis is actually domain-independent and thus can be reused in principle, depending on how it is specified. While current approaches either implement static anal- yses internally or with an external Visitor, the implementation is tied to the language’s grammar and cannot be reused easily. Thus far, a commonly used approach that achieves reusable static analysis relies on the trans- formation into an intermediate representation upon which the analysis is performed. This, however, entails a considerable additional implementation effort. Approach: To remedy this, it has been proposed to map the necessary domain-specific concepts to the algo- rithm’s domain-independent data structures, yet without a practical implementation and the demonstration of reuse.
    [Show full text]
  • Introduction to Dymola
    DYMOLA AND MODELICA Course overview DAY 1 Dymola and Modelica I • Introduction Dymola, Modelica, Modelon • Lecture 1 Overview of Dymola and Physical modeling . Workshop 1 Workflow of modeling physical systems in Dymola • Lecture 2 Simulation and post-processing with Dymola . Workshop 2 Simulating and analyzing a physical system • Lecture 3 Configure system models . Workshop 3 Creating a reconfigurable system DAY 2 Dymola and Modelica I • Lecture 4 Modelica I – Writing Modelica models . Workshop 4a Cauer low pass filter using Electric Library . Workshop 4b A moving coil using Magnetic, Electric and Translational mechanics libraries . Workshop 4c Temperature control using Heat transfer Library • Lecture 5 Understanding equation-based modeling . Workshop 5 Defining boundary conditions • Lecture 6 Trouble shooting and common pitfalls . Workshop 6 Common pitfalls DAY 3 Dymola and Modelica II • Lecture 7 Modelica II – Advanced features . Workshop 7 Implementing a solar collector • Lecture 8 Working with the Modelica Standard Library . Workshop 8a Lamp logic using StateGraph II . Workshop 8b Suspension linkage using MultiBody mechanics • Lecture 9 Hybrid modeling . Workshop 9a Hybrid examples . Workshop 9b Hammer impact model . Workshop 9c Designing a thermostat valve DAY 4 Dymola and Modelica II • Lecture 10 Efficient and reconfigurable modeling . Workshop 10 Creating a system architecture based on templates and interfaces • Lecture 11 Model variants and data management . Workshop 11 Creating a data architecture and adaptive parameter interfaces • Lecture 12 FMI technology . Workshop 12a Import and Export FMUs in Dymola . Workshop 12b FMI with Excel . Workshop 12c FMI with Simulink DAY 5 Dymola and Modelica II • Lecture 13 Workflow automation and scripting . Workshop 13 Automated sensitivity analysis • Lecture 14 Dymola code with other tools .
    [Show full text]
  • Hosted by Indian Institute of Science, Bangalore
    Hosted by Indian Institute of Science, Bangalore 29 November 2018 30 November 2018 Modelica Tutorials – Beginners and 1st Modelica Users’ Meet – India Intermediate level with Hands on (MUMI 2018) Venue Class Room – 222, ICER, IISc, Bangalore Register here https://tinyurl.com/isadigitaltwins Silver Sponsor Bronze Sponsor About Modelica A non-proprietary, object-oriented, equation based language to conveniently model complex multi- domain systems used by many Industries for Modeling and Simulation Control Edge Designer MIKE from OpenModelica from from Bosch Rexroth DHI OSMC SimulationX from ESI ITI Technologies GmbH, Dresden, Germany. Simcenter Amesim from Siemens PLM Software SystemModeler from Wolfram Research, Sweden CATIA Systems Engineering Dymola from Dassault from Dassault Systèmes Systèmes Altair Activate from Altair OPTIMICA Compiler solidThinking Toolkit from Modelon AB ABB OPTIMAX PowerFit Twin Builder MapleSim from JModelica from from ABB Group from ANSYS Waterloo Maple Modelon with academia Application Tool Modelica Tutorial Modelica Users’ Meet India, 2018 Keynote: Dr Peter Fritzson Presenters from Professor and Research Director of the Programming Altair India Private Limited Environment Laboratory at Linköping University BMSCE Bangalore Director of the Open Source Modelica Consortium Dymola Director of the MODPROD center for model-based IISc Bangalore product development IIT Bombay Vice chairman of the Modelica Association ModeliCon InfoTech LLP Modelon Engineering Private Limited Tutorial Agenda SASTRA Deemed University
    [Show full text]
  • Automated Annotation of Simulink Generated C Code Based on the Simulink Model
    DEGREE PROJECT IN COMPUTER SCIENCE AND ENGINEERING, SECOND CYCLE, 30 CREDITS STOCKHOLM, SWEDEN 2020 Automated Annotation of Simulink Generated C Code Based on the Simulink Model SREEYA BASU ROY KTH ROYAL INSTITUTE OF TECHNOLOGY SCHOOL OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCE Automated Annotation of Simulink Generated C Code Based on the Simulink Model SREEYA BASU ROY Master in Embedded Systems Date: September 25, 2020 Supervisor: Predrag Filipovikj Examiner: Matthias Becker School of Electrical Engineering and Computer Science Host company: Scania CV AB Swedish title: Automatisk Kommentar av Simulink Genererad C kod Baserad på Simulink Modellen iii Abstract There has been a wave of transformation in the automotive industry in recent years, with most vehicular functions being controlled electron- ically instead of mechanically. This has led to an exponential increase in the complexity of software functions in vehicles, making it essential for manufactures to guarantee their correctness. Traditional software testing is reaching its limits, consequently pushing the automotive in- dustry to explore other forms of quality assurance. One such technique that has been gaining momentum over the years is a set of verification techniques based on mathematical logic called formal verification tech- niques. Although formal techniques have not yet been adopted on a large scale, these methods offer systematic and possibly more exhaus- tive verification of the software under test, since their fundamentals are based on the principles of mathematics. In order to be able to apply formal verification, the system under test must be transformed into a formal model, and a set of proper- ties over such models, which can then be verified using some of the well-established formal verification techniques, such as model check- ing or deductive verification.
    [Show full text]
  • Automatic Calibrations Generation for Powertrain Controllers Using Maplesim
    2018-01-1458 Automatic Calibrations Generation for Powertrain Controllers Using MapleSim Abstract development costs. Furthermore, MapleSim’s symbolic capabilities, including symbolic simplification and symbolic optimization of gen- Modern powertrains are highly complex systems whose development erated code, enable complex models to be simulated at speeds that al- requires careful tuning of hundreds of parameters, called calibrations. low real-time simulation for Hardware-In-the-Loop testing. The tool These calibrations determine essential vehicle attributes such as per- has been used in different industries, including safety critical indus- formance, dynamics, fuel consumption, emissions, noise, vibrations, tries [3]. Furthermore, the tool has been applied in powertrain model- harshness, etc. This paper presents a methodology for automatic gen- ing and analysis [4, 5, 6]. For example, [4] uses MapleSim/Maple for eration of calibrations for a powertrain-abstraction software module modeling and rapid prototyping of a powertrain. within the powertrain software of hybrid electric vehicles. This mod- ule hides the underlying powertrain architecture from the remaining In model-based development, the calibration process makes up a sig- powertrain software. The module encodes the powertrain’s torque- nificant portion of overall development efforts [7]. The calibration speed equations as calibrations. The methodology commences with process deals with tuning system parameters—calibrations—to meet modeling the powertrain in MapleSim, a multi-domain modeling and multiple requirements. Within the powertrain controls, calibrations simulation tool. Then, the underlying mathematical representation of typically reflect parameters (e.g., filters’ parameters, delays, thresh- the modeled powertrain is generated from the MapleSim model using olds, etc.) that are used for fine-tuning performance, fuel-efficiency, Maple, MapleSim’s symbolic engine.
    [Show full text]