Influence of Software Complexity on ISO/IEC 26262 Software Verification Requirements

With the emergence of new IT technologies our vehiclesevolve from being machines to becoming self-driving cyberphysicalsystems of systems. The abilities of modern computersand software allow the car manufacturers to develop and deployincreasingly complex functions such as automated parking, collisionavoidance or the upcoming self-driving. However, as the newfunctions are implemented, the electronics and software of thecars has more possibilities to intervene with the driver’s actions,which leads to the more careful need to evaluate the decisionsmade by software. In this talk we explore how the growingcomplexity of software requires even more effort to validate itin the context of ISO/IEC 26262. Our results show that soon weneed to change the way we work with verification and validationas the growing complexity makes it virtually impossible to achievefull certainty that the software is correct