Development and evaluation of a framework for semi-automated formalization of automotive requirements.Syrko, Ariel January 2015 (has links)
Quantity and intricacy of features implemented in vehicle have expanded rapidly over a past few years. Currently vision of autonomous vehicle is no longer a dream or SF movie, but instead a coming reality. In order to reach the better quality and high safety, advanced verification techniques are required. Simulink Design Verifier is a model checking tool based on formal verification, which can be effectively used to solve problems concerning error detection and testing at earlier stages of project. The transformation of requirements written in traditional form into Simulink Design Verifier objectives can be time consuming as well as requiring knowledge of system model and the verification tools. In order to reduce time consumption and to guide a user through the system model and the verification tool, the semi-automated framework has been developed. An implementation of restricted English grammar patterns into Simulink objects supports description of patterns to engineers and reduces time consumption. The developed framework is flexible and intuitive hence can be a solution for other branches of industry, but further tests and verification would be required. This thesis highlights the whole process of transformation system requirements written in natural language into Simulink Design Verifier objectives. The Fuel Level Display System model currently used by almost all Scania’s vehicles is analysed. Limitations and errors encountered during development process like a flexibility of Simulink Design Verifier to capture requirements and the patterns behaviour or ambiguity of system requirements are analysed and described in this thesis.
The performance of an electric utility vehicle is very dependent on how it is used. The range can decrease significantly if there are many uphill along the route and if the vehicle carry a heavy load. The most important is that the vehicle never stops because lack of energy or power. The purpose of this thesis was to study how performance of the electric utility vehicle Nimbell Trigo were affected, depending on route, drive pattern and load. To study the performance, the parameters: battery current, state of charge and speed were analyzed. To analyze these parameters, a dynamic model of the vehicle has been created with Simulink. The model is based on physical relations and vehicle data. With the specifications for the vehicle and the force acting on it, energy consumption, battery current and power demand have been calculated with the Simulink model for specific routes and drive patterns. To validate the mode, three different routes were driven with Nimbell Trigo in Gothenburg and a simulation of the same routes and drive patterns were made with the Simulink model. The result from the validation shows that the dynamic model can predict the parameters of interest well, particularly the state of charge. The Simulink model can in the future be a time and cost efficient way, to analyze the performance of Nimbell Trigo and thereby replace test drives in an initial phase. / Marknaden för elektriska arbetsfordon har ökat de senaste åren i takt med dels ökade krav på miljövänliga alternativ, dels framsteg inom batteritekniken. Akilleshälen för de elektriska fordonen som grupp har varit energilagringen i batterierna. Erfordrad batteri- och motorstorlek är starkt kopplat till användningen av fordonet. Vid körningar med långa uppförsbackar samt tung last, förkortas räckvidden markant. Vid för höga belastningar på fordonet minskar maximala hastigheten och i längden kan motorn överhettas. För användaren är det av stor vikt att fordonet inte blir stillastående för att effekten eller energin inte räcker till. Syftet med detta examensarbete var att utreda hur det elektriska arbetsfordonet Nimbell Trigo presterar för olika rutter och körmönster, med en given last. För att utreda prestandan av fordonet skapades därför en dynamisk modell av Nimbell Trigo i det dynamiska simuleringsverktyget Simulink. De parametrar som valdes att studera var batterinivå som är kopplat till energin, batteriströmmen som är relaterad till effekten och i sin tur påverkar batterinivån, samt hastigheten som kan indikera när effekten inte räcker till. Med den dynamiska modellen kan effektbehov och energikonsumtion för en given sträcka beräknas på förhand. Fordonets hastighet, acceleration samt backtagningsförmåga erhålls för olika situationer från simuleringen. Dessa parametrar kan därmed studeras med avseende på olika motoralternativ genom att ange moment- och verkningsgradskurvan för motorn. Den dynamiska modellen validerades med testkörningar där Nimbell Trigo kördes en viss rutt med ett givet körmönster och last. Motorfrekvens, batteriström och batterinivå uppmättes. Dessa parametrar simulerades i modellen för samma rutt och körmönster. Mätvärdena från testkörningarna plottades mot de värden som erhölls från simuleringen. Resultatet visar att den dynamiska modellen som skapades stämmer bra överens mot uppmätta testdata. Den dynamiska modellen kan i framtiden komma att användas, för att på ett kostnads- och tidseffektivt sätt ersätta testkörningar i initiala studier av olika drivlinor och batterier.
In this report a model of a road roller is created to simulate its velocity for different joystick signals. The model will also simulate the pressure that occurs in the road rollers hydraulic system when it is driven in different velocitys and gears. In this project a program that is called Simulink is used to model the road roller. Diffrent sub-models are derived concerning velocity and the pressure in the hydraulic system which later is used to form the model of the road roller. / I denna rapport tas en modell fram över en vält för att simulera vältens hastighet för olika körspaks utslag. Dessutom simulerar modellen det tryck som skapas i vältens hydrauliska system vid olika hastigheter och växlar. I projektet används programmet Simulink för att ta fram en simulerings modell över välten. Olika delmodeller relaterade till vältens hastighet samt trycket i det hydrauliska systemet som sedan används till att bilda modellen av välten.
Thesis (Masters Degree(Chemical Engineering))--Cape Peninsula University of Technology, 2008 / ABSTRACT Carbon-in-pulp (CIP) technology is firmly entrenched in the mining sector due to numerous advances in the last few decades. CIP technology recovers complexed gold in solution from slurry streams by contacting the pulp with carbon and separating the two by screening. The carbon-in-leach (CIL) process, where the pulp contains free cyanide, is closely related to CIP. Both these processes, especially CIL, are complex and are governed by a number of interacting unit processes. The overall process efficiency is dependant on a large number of variables, making the process difficult to optimize. This study uses simple adsorption and leaching rate equations in order to predict dynamic CIL/CIP plant performance under varying operating conditions. This will assist plant metallurgists to achieve optimum efficiency, highlight plant sensitivity to certain variables and will ultimately result in proactive process control. Various assumptions were made in order to keep the modeling considerations as simple and realistic as possible. The process was assumed to have linear kinetic and equilibrium operation. The process was simulated using Simulink in Matlab. Variables are solved on a time step basis by Matlab’s built in optimization algorithms. Simulation results illustrated that the use of simple leaching and adsorption rate expressions are effective for investigating dynamic plant behavior under changing operating conditions.
Leferman, Michael Joseph
20 January 2010
This thesis focuses on a user-friendly software-defined radio (SDR) development workflow for prototyping, research and education in wireless communications and networks. Specifically, a Simulink interface to the Universal Software Radio Peripheral 2(USRP2) SDR platform is devised in order to enable over-the-air data transmission and reception using a Simulink signal source and sink, in addition to controlling a subset of the hardware resources of the USRP2 platform. Using the USRP2 as the RF front end, this interface will use Simulink for software radio development and signal processing libraries of the digital baseband component of the communication transceiver design. This combination of hardware and software will enable the rapid design, implementation, and verification of digital communications systems in simulation, while allowing the user to easily test the system with near real time over-the-air transmission. The use of Simulink and MATLAB for communication transceiver development will provide streaming access to the USRP2 without the steep learning curve associated with current workflows. These widely available software packages and the USRP2 will make digital communication system prototyping both affordable yet highly versatile, enabling researchers and industry engineers to conduct studies into new wireless communications and networking architectures including cognitive radio. Furthermore, the interface will allow users to become familiar with tools used in industry while learning communications and networking concepts.
This work deals with automatic generation of hybrid dynamics of bipedal robot in Matlab symbolic toolbox. Next goal is to provide linearisation of nonlinear model and achieve optimal state space controller. Work implements object model generator and simulator based on core of Matlab Simulink and visualisation of the results in user friendly GUI.
Furmanik, Olga, Famili, Alireza
The thesis investigates control system integration in ADAMS and the thesis presents appropriate knowledge related to the topic as multi body system, acting forces between road and wheels, equation of motion regarding to the haulers, traction control system and differential locks. The emphasis of the thesis is to implement and test the automatic traction control (ATC) for the hauler into ADAMS and Simulink models. The ATC models are based on certain requirements provided by Volvo Construction Equipment. As expected, results indicate that the ATC model operates during simulation for various road conditions. Nevertheless, the ATC model includes a few defects which are observed in results. The significant achievement of the thesis is a great collaboration between ADAMS and Simulink model.
DEVELOPMENT OF A MOTOR SPEED CONTROL SYSTEM USING MATLAB AND SIMULINK, IMPLEMENTED WITH A DIGITAL SIGNAL PROCESSORKlee, Andrew 01 May 2005 (has links)
This thesis describes an improved methodology for embedded software development. MATLAB and Simulink allow engineers to simplify algorithm development and avoid duplication of effort in deploying these algorithms to the end hardware. Special new hardware targeting capabilities of MATLAB and Simulink are described in detail. A motor control system design served to demonstrate the efficacy of this new method. Initial data was collected to help model the motor in Simulink. This allowed for the design of the open and closed loop control systems. The designed system was very effective, with good response and no steady state error. The entire design process and deployment to a digital signal processor took significantly less time and effort than other typical methods. The results of the control system design as well as the details of these development improvements are described. / M.S.Cp.E. / Department of Electrical and Computer Engineering / Engineering and Computer Science / Computer Engineering
03 June 2008
The systems of equations created by Blower et al. (1995) and Jia et al. (2007) designed to model the dynamics of Tuberculosis are solved using the computer software SIMULINK. The results are first employed to examine the intrinsic transmission dynamics of the disease through two models developed by Blower et al. (1995). The "simple transmission model" was used primarily to give insight to the behavior of the susceptible, latent, and infectious groups of individuals. Then, we consider a more detailed transmission model which includes several additional factors. This model captures the dynamics of not only the susceptible, latent and infectious groups but also the non-infectious cases and the recovered cases. Using the SIMULINK results, it can be shown that the intrinsic dynamics of the disease contribute to the rise and decline of the disease seen in historical accounts. Next, the simulation results are used to study the equilibrium points of the disease which can be obtained by varying the parameters and therefore changing the value for the basic reproduction ratio (R0 ). Our model uses the system of equations developed by Jia et al. (2007). The SIMULINK results are used to visually confirm the hypothesis proposed by Jia et al. (2007) that the equilibrium behavior of the system when R0 > 1 is globally asymptotically stable. / M.S. / Department of Mathematics / Sciences / Mathematical Science MS
At the Division for Electricity at Uppsala University a new marine substation for waveenergy is being built. The marine substation is required to connect the wave energyconverters to the grid. In this thesis a part of the main circuit for the marinesubstation is assembled and tested. Furthermore, a part of the measurement system isdesigned and a prototype is built and evaluated. The test results from the set-up ofthe main circuit agree well with simulations done in MATLAB Simulink. A detailed listof components combined with a finished CAM-model for a measurement card arepresented along with interface cards and shielding solutions.
Page generated in 0.0316 seconds