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.)
Secure software distribution in aviation context. Presenter David von Oheimb, Siemens AG
Software usability is a quality attribute defined as ?the extent to which a product can be used by specified users to achieve specified goals with effectiveness, efficiency and satisfaction in a specific context of use? (ISO 9241, 1998), usability is also referred to as ?quality in use? (ISO 14598, 1999). Presenter Anabell Beltran, Stoneridge Electronics North America
Hydraulic Hybrid Powertrain-In-the-Loop Integration for Analyzing Real-World Fuel Economy and Emissions Improvements
The paper describes the approach, addresses integration challenges and discusses capabilities of the Hybrid Powertrain-in-the-Loop (H-PIL) facility for the series/hydrostatic hydraulic hybrid system. We describe the simulation of the open-loop and closed-loop hydraulic hybrid systems in H-PIL and its use for concurrent engineering and development of advanced supervisory strategies. Presenter Fernando Tavares, Univ. of Michigan
The amount of software, computation and logic embedded into the vehicle systems is increasing. Testing of complex real time embedded systems using Hardware in Loop (HIL) simulations across different vehicle platforms has been a challenge. Data driven testing enables a qualitative approach to test these complex vehicle systems. It consists of a test framework wherein the test logic and data are independent of the HIL test environment. The data comprises variables used for both input values and output verification values. This data is maintained in a database or in the form of tables. Each row defines an independent test scenario. The entire test data is divided into three categories, High, Medium and Low. This feature gives the advantage of leveraging the same set of test data from Unit Level Testing phases to the Integration Test phase in the V-Cycle of software development. A data driven test approach helps the reuse of tests across vehicle platforms.