Search Results

Complexity of electronics and embedded software systems in automobiles has been increasing over the years. This necessitates the need for an effective and exhaustive development and validation process in order to deliver fault free vehicles at reduced time to market. Model-based Product Engineering (MBPE) is a new process for development and validation of embedded control software. The process is generic and defines the engineering activities to plan and assess the progress and quality of the software developed for automotive applications. The MBPE process is comprised of six levels (one design level and five verification and validation levels) ranging from the vehicle requirements phase to the start of production. The process describes the work products to be delivered during the course of product development and also aligns the delivery plan to overall vehicle development milestones.

PICASSOS was a UK government funded programme to improve the ability of automotive supply chains to develop complex software-intensive systems with high safety assurance and at an acceptable cost. This was executed by a consortium of three universities and five companies including an automotive OEM and suppliers. Three major elements of the PICASSOS project were: use of automated model based verification technology utilising formal methods; application of this technology in the context of ISO 26262; and evaluation to measure the impact of this approach to inform key management decisions on the costs, benefits and risks of applying this technology on live projects. The project spanned system level design and software development. This was achieved by using a unified model based process incorporating SysML at the system level and using Simulink and Stateflow auto-coded into C at the software level.

Testing real-time vehicular systems challenges the tester to design test cases for concurrent and sequential input events, emulating unexpected user and usage profiles. The vehicle response should be robust to unexpected user actions. Sequence Covering Arrays (SCA) offer an approach which can emulate such unexpected user actions by generating an optimized set of test vectors which cover all possible t-way sequences of events. The objective of this research was to find an efficient nonfunctional sequence testing (NFST) strategy for testing the robustness of real-time automotive embedded systems measured by their ability to recover (prove-out test) after applying sequences of user and usage patterns generated by combinatorial test algorithms, considered as “noisy” inputs. The method was validated with a case study of an automotive embedded system tested at Hardware-In-the-Loop (HIL) level. The random sequences were able to alter the system functionality observed at the prove-out test.

Increasing automation in the automotive systems has re-focused the industry’s attention on verification and validation methods and especially on the development of test scenarios. The complex nature of Advanced Driver Assistance Systems (ADASs) and Automated Driving (AD) systems warrant the adoption of new and innovative means of evaluating and establishing the safety of such systems. In this paper, the authors discuss the results from a semi-structured interview study, which involved interviewing ADAS and AD experts across the industry supply chain. Eighteen experts (each with over 10 years’ of experience in testing and development of automotive systems) from different countries were interviewed on two themes: test methods and test scenarios. Each of the themes had three guiding questions which had some follow-up questions. The interviews were transcribed and a thematic analysis via coding was conducted on the transcripts.