Bei der Entwicklung von Automotive-Software setzten die zuständigen Teams in der Vergangenheit auf unsystematische, manuelle Verifikationskonzepte, um sicherzustellen, dass ihre Automotive-Software den einschlägigen Safety- und Security-Normen wie ISO26262 und SAE 21434 entsprach. Eine größere Effizienz versprechen integrierte, automatisierte Verifikationswerkzeuge.
Weiterlesen