Sign in

Barrierenbasierte Testsynthese für sicherheitskritische Systeme, die zeitgesteuerten Reach-Avoid-Spezifikationen unterliegen

By Prithvi Akella and others
Wir schlagen ein kontradiktorisches, zeitvariables Testsyntheseverfahren für sicherheitskritische Systeme vor, ohne dass spezifische Kenntnisse der zugrunde liegenden Steuerung erforderlich sind, die das System steuert. Aus einem breiteren Test- und Bewertungskontext ist die Bestimmung schwieriger Tests des Systemverhaltens wichtig, da diese Tests problematische Systemphänomene aufklären würden, bevor diese Fehler zu problematischen... Show more
January 23, 2023
=
0
Loading PDF…
Loading full text...
Similar articles
Loading recommendations...
=
0
x1
Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications
Click on play to start listening