Empirical Testing of Automotive CyberPhysical Systems with Credible SoftwareintheLoop Environments Automotive cyberphysical systems are constantly increasing in complexity, especially due to innovations like sophisticated advanced driver assistance features. The increase in system complexity, in turn, gives rise to complex distributed software which creates challenges for verification. Frontloading tests that are regularly performed in prototype vehicles or HardwareintheLoop (HiL) to simulation and SoftwareintheLoop (SiL) environments can be used to validate design decisions and to significantly reduce overall development costs. Novel Automated Driving features, and the Open Context problem, however, move the challenge from the statetotheart to a knowledge problem (knowwhat instead of knowhow). The ISOPAS 21448:2019 for Safety of the Intended Functionality (SOTIF) acknowledges this change but no guidance is provided to the industry to making verification processes ready for operating vehicles in an Open Context environment that may require functional changes during the useful life of a vehicle. Since verification with HiL or vehicles will be all but impractical, in this paper we provide insights into the design of credible SiL environments that address functional and nonfunctional verification and validation concerns of software related automotive system in a continuous lifecycle. With the help of a usecase we demonstrate the significance of the novel approach compared to traditional automotive industry methods.

HIL Based Solution for ADAS Software Development and Verification The automotive, as one of the fastest growing and largest industries, is finding more and more interest in developing software for its innovating solutions. New features and modules such as digital cockpit, driver assistance algorithms and many more are based on software solutions. Thus, there is considerable interest in this industry in computer aided tools that support rapid development of new products, where the majority of the tools require expensive PC hardware support. This paper describes solution that enables use of affordable PC hardware as a new method for the design and validation of advanced software algorithms based on the hardwareintheloop (HIL) simulator. Simulator is used to verify the different software modules and algorithms under development for new electronic control units (ECU), where the development time and mainly the validation phase is carried out faster in a more cost effective and controllable manner.