Search Results

As automotive electronic systems aiming for a safe and secure automobile society continue to develop, the control specifications of the ECU are becoming increasingly complex. When attempting to validate control specifications that cooperatively control different control specifications, control specification developers must consider various validation viewpoints. They narrow down the validation viewpoints based on rules from past experience, describe timing charts, and validate the specifications. However, due to complicated specifications, empirical rules do not pass, and specification mismatches are often found after actual systems completion. On the other hand, a block diagram simulator is a tool to verify control specifications. Since these tools are aimed at modeling and verifying the system design, it is efficient to describe how to implement the system. However, first it is necessary to verify the consistency between the model and the specifications.

In respect to the present large refrigerator trucks, sub-engine type is the main product, but the basic structure does not change greatly since the introduction for around 50 years. A sub-engine type uses an industrial engine to drive the compressor, and the environmental correspondence such as the fuel consumption, the emission is late remarkably. In addition, most of trucks carry the truck equipment including the refrigerator which consumes fuel about 20% of whole vehicle. Focusing on this point, the following are the reports about the system development plan for fuel consumption reduction of the large size refrigerator truck. New concept is to utilize electrical power from HV system to power the electric-driven refrigerator. We have developed a fully electric-driven refrigerator system, which uses regenerated energy that is dedicated for our refrigerator system.

We propose a verification method in the field of automotive control systems integrating the concepts of Formal Methods with testing, aiming at efficient and reliable software development. Although Formal Methods are believed to provide the benefits of their rigorous nature and their inherent capability of automation, only limited cases are known where Formal Methods were applied in system and software development, in practice, due to two major difficulties: appropriate abstraction in modeling and scalability in automated reasoning. Focusing on testing on the other hand, there is the difficulty of selecting reasonable set of tests for given verification objectives. In order to overcome these difficulties, our approach is to present verification criteria for testing to appropriately cover the property with the help of the Formal Method concepts.

The growing functionality and complexity of recent vehicle electronic systems have made inter-device communication (on-board LAN) technology vital to vehicle design. By field of application, the LAN (Local Area Network) systems currently in use are LIN (Local Interconnect Network) used for body systems, CAN (Controller Area Network) used for control systems, and MOST (Media Oriented Systems Transport ) used for multimedia and camera systems, and work to standardize the next-generation communication technology for each of those fields is underway. This paper provides a technical overview of the CXPI (Clock Extension Peripheral Interface) communication protocol, which satisfies the body system requirements (rapid response, system extensibility, high reliability, and low cost). It also presents the progress made on standardization at SAE and other organizations.

A new development environment is required where conflict between control systems is minimized, where processing can be executed while maintaining independence between systems, and where quality can be assured easily. This environment must enable flexibility in software layouts to accommodate software changes during the development process and the parallel development of multiple derivative systems. We have developed virtualization technology (virtual CPU), which allows the execution of system control with a single CPU without conflict between systems. An outstanding virtual CPU architecture that we have developed allows us to execute multiple real-time control tasks with the hardware scheduler, and we have developed hardware that extends the management of address space and interrupt handling, making it possible for a single CPU to be configured as multiple CPUs. Also, we have implemented a bus system that reduces interference between threads.

A new exhaust emission control system has been developed which complies with the world's most severe emission standard: CARB PZEV. Leaner combustion in cold condition was enabled and rapid warm-up of a close-coupled catalyst was realized by utilizing a newly developed Intake Air Control Valve (IACV) system and hyper-atomization fuel injector. In addition, the newly developed HC adsorbing type 3-way catalyst realized cold HC reduction at lower cost. For further reduction of the exhaust emission, the Variable Valve Timing-Intelligent (VVT-i) system was positively operated immediately after the cold start. By the suitable operation of Variable Valve Timing (VVT), the blow-back from the cylinder enhanced the fuel atomization and re-burning of remaining unburned hydrocarbons (HCs), and increased in-cylinder residual gas reduces NOx.

In recent years, the powertrain system is becoming bigger and more sophisticated than ever, and it is very important that new powertrain systems shall be timely developed just when the market required. In this kind of new system, the quality in particular will be an important factor on the vehicle evaluation issue. With this objective in mind, DENSO has been working on the following challenges, such as the development of key technology, the improvement of quality assurance system, and engineer education to realize them. This reports a general idea on these quality management activities.