Search Results

Software products in the automotive industry are by nature widely distributed and costly to update (recall), so high reliability is clearly of utmost importance. Just as clearly, the increasing reliance on remote access to such systems, for diagnostic and other purposes, has made security an essential requirement, and traditional techniques for software development are proving to be inadequate in dealing with these issues. Correctness by Construction is a software design and development methodology that builds reliability and security into the system from the start. It can be used to demonstrate, with mathematical rigor, a program's correctness properties while reducing the time spent during testing and debugging. This paper will discuss the use of Correctness by Construction, and its accompanying SPARK language technology, to improve automotive systems' security and reliability. (The approach can also account for safely issues, although that is not the focus of this paper.)

The first commercially available plug-in hybrid electric vehicle (PHEV), the General Motors (GM) Volt, was introduced into the market in mid-December 2010. The Volt uses a series-split powertrain architecture, which provides benefits over the series architecture that typically has been considered for use in electric-range extended vehicles (EREVs). A specialized EREV powertrain, called the Voltec, drives the Volt through its entire range of speed and acceleration with battery power alone and within the limit of battery energy, thereby displacing more fuel with electricity than a PHEV, which characteristically blends electric and engine power together during driving. This paper assesses the benefits and drawbacks of these two different plug-in hybrid electric architectures (series versus series-split) by comparing component sizes, system efficiency, and fuel consumption over urban and highway drive cycles.

Argonne National Laboratory (Argonne) and Idaho National Laboratory (INL), working with the FreedomCAR and Fuels Partnership, lead activities in vehicle dynamometer and fleet testing as well as in modeling activities. By using Argonne’s Advanced Powertrain Research Facility (APRF), the General Motors (GM) Tahoe 2-mode was instrumented and tested in the 4-wheel-drive test facility. Measurements included both sensors and controller area network (CAN) messages. In this paper, we describe the vehicle instrumentation as well as the test results. On the basis of the analysis performed, we discuss the vehicle model developed in Argonne’s vehicle simulation tool, the Powertrain System Analysis Toolkit (PSAT), and its comparison with test data. Finally, on-road vehicle data, performed by INL, is discussed and compared with the dynamometer results.