A Consistency Analysis Method for Traffic Sequence Charts

The trend in the development of highly automated vehicles goes towards scenario-based methods. Traffic Sequence Charts are a visual but yet formal language for describing scenario-based requirements on highly automated vehicles. This work presents an approach for finding inconsistencies (conflicts)...

Ausführliche Beschreibung

Bibliographische Detailangaben

1. Verfasser:	Becker, Jan Steffen
Format:	Artikel
Sprache:	eng
Schlagworte:	Computer Science - Systems and Control
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!