Search Results

Automobile manufactures need to adopt new technologies to meet global CO2 (carbon dioxide) emission regulations and better fuel efficiency demands from customers. Also, the production cost should be as low as possible for an affordable vehicle. Therefore, it is advantageous for OEMs to develop fuel efficient technologies which can be controlled by software without additional hardware costs. The coasting control is a fuel efficiency improvement technology that can be implemented by the change of vehicle software only. The coasting control is a technology that reduces the driving resistance (Deceleration) when the driver releases the gas pedal. This technology leads to reducing the energy required for the vehicle to drive and results in improving the real-world fuel economy. In an internal combustion engine (ICE) vehicle, the coasting state is achieved by changing the gear to neutral, and the effect has been discussed and clarified by many previous studies.

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.

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.