Third Party Funds Group - Sub project
Start date : 01.05.2010
End date : 31.08.2014
Im Rahmen eines im europäischen Forschungsprogramm ARTEMIS (Advanced Research and Technology for Embedded Intelligence and Systems) von der Europäischen Union und von dem Bundesministerium für Bildung und Forschung geförderten Verbundprojekts wurde die Fragestellung "Testen kooperierender autonomer Systeme" im Hinblick auf die Definition adäquater Teststrategien untersucht mit dem Ziel, zu vorgegebenen, risikogerechten Testanforderungen zugehörige Testszenarien weitgehend automatisch zu generieren.
Zu diesem Zweck wurde zunächst eine Studie zur Beschreibung und Verifikation kooperierender autonomer Systeme initiiert. Hierzu wurden bereits geeignete Beschreibungssprachen (wie bspw. gefärbte Petri-Netze) zur Modellierung nebenläufiger Aktivitäten analysiert und vergleichend bewertet.
Darüber hinaus wurden verschiedene (zum Teil auf Code-Ebene bereits existierende) Überdeckungskriterien nebenläufiger Prozesse untersucht und auf Modellebene übertragen, bzw. um weitere Kriterien ergänzt.