Certus: A domain specific language for confidence assessment in assurance cases
Dieses Paper führt Certus ein, eine domänenspezifische Sprache, die durch die Nutzung von Fuzzy-Mengen für eine linguistisch aussagekräftige Repräsentation von Urteilen und eine transparente ausdrucksbasierte Propagation eine quantitative Konfidenzbewertung in Assurance Cases ermöglicht und damit die gängigen Einschränkungen bestehender Methoden adressiert.
Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen
Stellen Sie sich vor, Sie sind ein Richter in einem hochkarätigen Gerichtssaal, aber statt zu entscheiden, ob jemand ein Verbrechen begangen hat, entscheiden Sie, ob ein selbstfahrendes Auto sicher genug ist, um auf die Straße zu gelangen. In der Welt des Ingenieurwesens ist dies kein bloßes Bauchgefühl; es ist ein formaler Prozess, der als „Assurance Case“ bezeichnet wird. Betrachten Sie einen Assurance Case als ein riesiges, logisches Puzzle, bei dem Ingenieure Beweisstücke – wie Testergebnisse, Code-Reviews und Sicherheitsprüfungen – aufstapeln, um einen Turm aus Beweisen zu errichten, der besagt: „Wir sind zuversichtlich, dass dieses System niemanden verletzt.“
Lange Zeit hatten Ingenieure damit zu kämpfen, wie sie diese „Zuversicht“ messen können. Einige versuchen, extrem präzise zu sein und weisen exakte Zahlen zu, wie etwa „93,4 % Zuversicht“. Aber das ist schwierig. Sind 93,4 % gut genug? Sind 93,3 % eine Katastrophe? Es ist, als würde man versuchen, den Geschmack einer Erdbeere nur mit einem Lineal zu beschreiben; die Zahlen wirken kalt, verwirrend und sind leicht misszuverstehen. Andere verwenden vage Wörter wie „ziemlich sicher“ oder „sehr besorgt“, aber dann ist es schwer, mit diesen Wörtern zu rechnen, um zu sehen, ob der gesamte Beweisturm standhält. Die große Frage lautet: Wie bringen wir die Präzision der Mathematik mit der natürlichen, unscharfen Art und Weise zusammen, wie Menschen tatsächlich über Risiko denken?
Hier kommt ein neues Werkzeug namens Certus ins Spiel. Das Paper stellt Certus als eine spezielle „Sprache“ vor, die darauf ausgelegt ist, Ingenieuren zu helfen, über Zuversicht zu sprechen, auf eine Weise, die sich natürlich anfühlt, aber dennoch wie Mathematik funktioniert. Anstatt die Ingenieure dazu zu zwingen, eine spezifische Zahl wie 0,87 zu wählen, erlaubt Certus ihnen, unscharfe Wörter wie „hoch“, „niedrig“ oder „sehr niedrig“ zu verwenden. Aber hier liegt der magische Trick: Certus behandelt diese Wörter wie „Fuzzy Sets“ (unscharfe Mengen). Stellen Sie sich eine Gleitskala vor, auf der „hoch“ nicht nur ein einzelner Punkt ist, sondern eine weiche Wolke aus Möglichkeiten, die sich mit „mittel“ überschneidet. Dies ermöglicht es dem System, mit diesen Wolken zu rechnen und die „Unscharfe“ bis ganz nach oben im Argumentationsturm bis zum endgültigen Urteil mitzunehmen.
Die Autoren, Simon Diemert und Jens H. Weber, schlagen vor, dass dieser Ansatz mehrere Kopfschmerzen löst. Erstens verhindert er, dass Menschen Zahlen missverstehen (keine Panik mehr über eine Ausfallchance von 0,07 %). Zweitens gibt er zu, dass menschliches Urteilsvermögen von Natur aus vage ist, und lässt Ingenieure diese Nuance ausdrücken, ohne sie in einem Taschenrechner zu verlieren. Drittens geht es mit „Defeatern“ um – das sind wie kleine „Gotcha!“-Argumente, die versuchen, den Turm umzuwerfen. Certus hat eine spezielle Methode, um diese „Gotchas“ von der Zuversicht abzuziehen, ohne das gesamte System zu zerstören.
Um ihre Idee zu testen, bauten das Team einen Prototyp von Certus und wandte ihn auf ein reales Beispiel an: ein Sicherheitsargument für ein adaptives Abstandsregelsystem (ACC) in einem Auto. Sie zeigten, wie die Sprache einfache Aussagen wie „die Code-Inspektion weist eine sehr hohe Zuversicht auf“ mit „die Hardware könnte ausfallen“ kombinieren kann, um ein endgültiges, berechnetes Zuversichtslevel zu erzeugen. Als sie ihre unscharfen Ergebnisse mit einer älteren Methode verglichen, die strikte Zahlen verwendete, waren die Ergebnisse ähnlich, aber Certus fühlte sich intuitiver und transparenter an.
Das Paper behauptet nicht, dass Certus das fertige, perfekte Produkt ist, das morgen in jeder Fabrik einsatzbereit ist. Stattdessen deutet es an, dass dies ein vielversprechender neuer Weg ist. Die Autoren geben zu, dass sie noch mehr Arbeit leisten müssen, um diesen Prototyp in ein Werkzeug zu verwandeln, das Ingenieure jeden Tag nutzen können, einschließlich der Erstellung besserer visueller Diagramme und des Nachweises, dass die Ergebnisse vertrauenswürdig genug für lebenswichtige Entscheidungen sind. Aber für den Moment bietet Certus eine spielerische und doch kraftvolle neue Art, Vertrauen in die Maschinen aufzubauen, die uns bald steuern werden.
Ertrinken Sie in Arbeiten in Ihrem Fachgebiet?
Erhalten Sie tägliche Digests der neuesten Arbeiten passend zu Ihren Forschungsbegriffen — mit technischen Zusammenfassungen, in Ihrer Sprache.