Key points are not available for this paper at this time.
Wir berichten über die Organisation und die Ergebnisse der dritten Auflage des Toolwettbewerbs für Cyber-Physikalische Systeme, der im Rahmen des SBFT-Workshops stattfand. Sechs Tools (d.h. CRAG, EvoMBT, RIGAA, RoadSign, Spirale und WOGAN) traten an, um Ausfälle zweier autonomer Fahragenten auszulösen. Wir haben die Effektivität der Tools bei der Aufdeckung von Ausfällen sowie die Vielfalt der erzeugten Ausfälle bewertet. Dieser Bericht beschreibt unsere Methodik, die Teilnehmer, die Ergebnisse und die Herausforderungen, denen wir während der Durchführung der Wettbewerbsversuche gegenüberstanden.
Biagiola et al. (Mon,) untersuchten diese Frage.