Search Results

Research in plug in vehicles (PHEV and BEV) has of course been ongoing for decades, however now that these vehicles are finally being produced for a mass market an intense focus over the last few years has been given to proper evaluation techniques and standard information to effectively convey efficiency information to potential consumers. The first challenge is the development of suitable test procedures. Thanks to many contributions from SAE members, these test procedures have been developed for PHEVs (SAE J1711 now available) and are under development for BEVs (SAE J1634 available later this year). A bigger challenge, however, is taking the outputs of these test results and dealing with the issue of off-board electrical energy consumption in the context of decades-long consumer understanding of MPG as the chief figure of merit for vehicle efficiency.

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.)