Search Results

As vehicle control software becomes larger and more complex, it is increasingly important to improve the efficiency of the software development process. This study developed search-based testing technology to increase the efficiency of the validation process. Search-based testing can generate dynamic test data automatically, but it tends to overlook the generation of correct test data to detect problems when the software has many branches and paths. To resolve this problem, a method was devised that combines search-based testing [1] and formal methods such as model checking. This paper describes this method and shows application examples of engine control.

Automotive control systems such as powertrain control interact with the open physical environment, and from this nature, expensive prototyping is indispensable to capture a deep understanding of the system requirements and to develop the corresponding control software. Model-based development (MBD) has been promoted to improve productivity by virtual prototyping. Even with MBD, systematic validation of the software specification remains as a major challenge and it still depends heavily on individual engineers' skill and knowledge. Though the introduction of graphical software modeling improved the situation, it requires much time to identify the primal functions, so-called “design interests”, from a large complex model where irrelevant components are mixed with, and to validate it properly.

Some of the best teaching methods are laboratory courses in which students experience application of the principles being presented. Preparing young engineering students for a career in the automotive industry challenges us to provide comparable opportunities to explore the dynamic performance of motor vehicles in a controlled environment. Today we are fortunate to have accurate and easy-to-use software programs making it practical for students to simulate the performance of motor vehicles on “virtual” proving grounds. At the University of Michigan the CarSim® vehicle dynamics simulation program has been introduced as such a tool to augment the learning experience. The software is used in the Automotive Engineering course to supplement homework exercises analyzing acceleration, braking, aerodynamics, and cornering performance. This paper provides an overview of the use of simulation in this setting.

A traction test machine, developed for evaluation of traction-CVT fluids for the automotive consortium, USCAR, provides precision traction measurements to stresses up to 4 GPa. The high stress machine, WAMhs, provides an elliptical contact between AISI 52100 steel roller and disc specimens. Machine stiffness and positioning technology offer precision control of linear slip, sideslip and spin. A USCAR traction test methodology includes entrainment velocities from 2 to 10 m/sec and temperatures from -20°C to 140°C. The purpose of the USCAR machine and test methodology is to encourage traction fluid development and to establish a common testing approach for fluid qualification. The machine utilizes custom software, which provides flexibility to conduct comprehensive traction fluid evaluations.

This paper describes the performance improvement and cost savings achieved by the Stamping Technology Department at DaimlerChrysler Corporation (Chrysler group), in migrating from Unix workstations with RISC technology to Linux PCs with Intel Pentium technology. Performance comparisons of various engineering applications running on these two system configurations are analyzed. The major aspects such as hardware configuration, operating system, software availability, compatibility, reliability, accuracy and consistency of simulation results are discussed. The improvement in computing speed and deviations in simulation results between MPP LS-Dyna and SMP LS-Dyna are presented.

In recent vehicles, E/E architecture is defined and used as a platform to accommodate various electronics features for better development efficiency, lower cost and higher quality. As electronics features increase and integrated control systems make vehicle electronics more complex, good electronics platforms are vital for today's and future vehicle development. This paper first describes the evolution of vehicle electronics and its recent trend and then addresses the challenges facing vehicle electronics: ✓ More integrated control systems ✓ More software ✓ More networks ✓ Shorter time to market Finally, why JasPar1), Japan Automotive Software Platform and Architecture, was founded and how it is organized will be described including the working group activities on FlexRay implementation.

Buffeting is a wind noise of high intensity and low frequency in a moving vehicle when a window or sunroof is open and this noise makes people in the passenger compartment very uncomfortable. In this paper, side window buffeting was simulated for a typical SUV using the commercial CFD software Fluent 6.0. Buffeting frequency and intensity were predicted in the simulations and compared with the corresponding experimental wind tunnel measurement. Furthermore, the effects of several parameters on buffeting frequency and intensity were also studied. These parameters include vehicle speed, yaw angle, sensor location and volume of the passenger compartment. Various configurations of side window opening were considered. The effects of mesh size and air compressibility on buffeting were also evaluated. The simulation results for some baseline configurations match the corresponding experimental data fairly well.

Test and verification procedures are a vital aspect of the development process for embedded control systems in the automotive domain. Formal requirements can be used in automated procedures to check whether simulation or experimental results adhere to design specifications and even to perform automatic test and formal verification of design models; however, developing formal requirements typically requires significant investment of time and effort for control software designers. We propose Signal Template Library (ST-Lib), a uniform modeling language to encapsulate a number of useful signal patterns in a formal requirement language with the goal of facilitating requirement formulation for automotive control applications. ST-Lib consists of basic modules known as signal templates. Informally, these specify a characteristic signal shape and provide numerical parameters to tune the shape.

A method for predicting body deformation during operation, which cannot be measured by conventional methods, has been developed. The method creates a body model based on the characteristics extracted by modal analysis of the results of a vibration testing of an actual vehicle. The model is combined with a suspension model, using multibody dynamics software, and body deformation calculations are performed. In this paper, the influence of body deformation on vehicle controllability and stability is studied and the usefulness of the method is verified.

It is commonly known that in an automotive manufacturing assembly line several workers perform either a common task or a number of different tasks simultaneously, and there is a need to represent such a multi-worker operation realistically in a digital environment. In the past years, most digital human modeling applications were limited only in a single worker case. This paper presents how to simulate multi-worker operations in a digital workcell. To establish an effective communication and interaction between the mannequins, some existing commercial software package has provided a digital input/output mechanism. The motion for each mannequin is often programmed independently, but can be interrupted anytime by the other digital human models or devices via a communication channel.

In embedded software world, development and testing are becoming far more complex with growing functionality and fail safe strategies. As a result of that, model-based software development is getting increasingly popular in capturing the functional requirements and auto generating the code from these validated models to avoid any functional deficiency. However, the complexity in the model may not be correctly interpreted by the code generation tool and may result to an incorrect code behavior. In this paper, a methodology has been proposed and implemented to validate the generated code against the models. Simulation test scripts are recorded in the modeling environment to generate the desired set of test inputs. These input scripts are designed to get complete transition and state exposure to maximize the functional coverage. With these test scripts, expected outputs are recorded for downstream validation in the simulation environment with mature models.

Automotive electronics and software is getting complex day by day. More and more features and functions are offered and supported by software in place of hardware. Communication is carried out on the CAN bus instead of hard wired circuits. This architectural transition facilitates lots of flexibility, agility and economy in development. However, it introduces risk of unexpected failures due to insufficient testing and million of possible combinations, which can be created by users during the life time of a product. Model based development supports an effective way of handling these complexities during simulation and also provide oracle for its validation. Based on priorities and type of applications, test vectors can be auto generated and can be used for formal verification of the models. These auto-generated test vectors are valuable assets in testing and can be effectively reused for target hardware (ECU) verification.

There are various standards to evaluate the quality of software. Tools to quantatively evaluate the quality of software have become available in recent year. Although these tools are effective, warning reports can become extensive, when the volume of software becomes large. And, the manpower to confirm the report also becomes large. Knowledge and experience are to analyze the warning report. Consequently, an oversight, a misapprehension, etc. may arise. To solve this problem, we are examining system to automate this work.

The application of Model-Based Development (MBD) techniques for automotive control system and software development have become standard processes due to the potential for reduced development time and improved specification quality. In order to improve development productivity even further, it is imperative to introduce a systematic Verification and Validation (V&V) process to further minimize development time and human resources while ensuring control specification quality when developing large complex systems. Traditional methods for validating control specifications have been limited by control specification scale, structure and complexity as well as computational limitations restricting their application within a systematic model-based V&V process. In order to address these issues, Toyota developed Hierarchical Accumulative Validation (HAV) for systematically validating functionally structured executable control specifications.

The problem of predicting the quality of weld is critical to manufacturing. A great deal of data is collected under multiple conditions to predict the quality. The data generated at Daimler Chrysler has been used to develop a model based on grammatical evolution. Grammatical Evolution Technique is based on Genetic Algorithms and generates rules from the data which fit the data. This paper describes the development of a software tool that enables the user to choose input variables such as the metal types of top and bottom layers and their thickness, intensity and speed of laser beam, to generate a three dimensional map showing weld quality. A 3D weld quality surface can be generated in response to any of the two input variables picked from the set of defining input parameters. This tool will enable the user to pick the right set of input conditions to get an optimal weld quality. The tool is developed in Matlab with Graphical User Interface for the ease of operation.

The damping loss factor of a structural panel plays a significant role in its vibro-acoustic performance. The objective of this paper is to present a new procedure for evaluating the damping loss factors of these panels. Traditionally, the damping loss factors are determined by using the decay rate of the decay curves which are experimentally obtained from the structure. However, this is time consuming and the accuracy is limited by fluctuations in the decay curve. In this paper, the envelope signal of each decay curve is determined through its Hilbert transform, and the remaining small fluctuations in the envelope signal are further smoothed out by the exponential average method. Finally, the damping loss factor is estimated based on the smoothed envelope signal of each decay curve. A computer program has been developed to implement this procedure. It is shown that this procedure improves both accuracy and efficiency of the decay rate method for estimating damping loss factor.

This paper describes a design tool and a software platform for FlexRay systems that are investigated in Nagoya University and are proposed to JasPar. The design tool reads the specification of a system as a task graph that consists of a set of tasks and messages among them. The design tool, then, allocates the tasks to ECUs and schedules the messages on a FlexRay network. The software platform consists of a middleware called time-trigger module (TTM) which dispatches time-triggered tasks, a communication middleware for a time-triggered network (TT-COM), a network management middleware for FlexRay (FlexRay-NM), and a device driver for FlexRay controller.

Teammate Advanced Drive is a driving support system with state-of-the-art automated driving technology that has been developed for customers’ safe and secure driving on highways based on the Toyota’s Mobility Teammate Concept. This SAE Level 2 (L2) system assists overtaking, lane changes, and branching to the destination, in addition to providing hands-free lane centering and car following. The automated driving technology includes self-localization onto a High Definition Map, multi-modal sensing to cover 360 degrees of the surrounding environment using fusion of LiDARs, cameras, and radars, and a redundant architecture to realize fail-safe operation when a malfunction or system limitation occurs. High-performance computing is provided to implement deep learning for predicting and responding to various situations that may be encountered while driving.

Effective computer-aided design of engineering systems requires comprehensive computer-application software that conveniently adapts to the particular engineering design considered. This paper discusses the theoretical background and initial experience with a program intended for computer-aided design of machine-like mechanical systems, and outlines the use of a time-shared graphic terminal for schematic display of program output. The program is applicable to three types of mechanical systems: linear and nonlinear unconstrained dynamic systems, kinematic systems (that is, constrained systems), and multifreedom, constrained systems.

Reductions of hardware costs as well as implementations of new innovative functions are the main drivers of today's automotive electronics. Indeed more and more resources are spent on adapting existing solutions to different environments. At the same time, due to the increasing number of networked components, a level of complexity has been reached which is difficult to handle using traditional development processes. The automotive industry addresses this problem through a paradigm shift from a hardware-, component-driven to a requirement- and function-driven development process, and a stringent standardization of infrastructure elements. One central standardization initiative is the AUTomotive Open System ARchitecture (AUTOSAR). AUTOSAR was founded in 2003 by major OEMs and Tier1 suppliers and now includes a large number of automotive, electronics, semiconductor, hard- and software companies.