Certus: A domain specific language for confidence assessment in assurance cases
Dit artikel introduceert Certus, een domeinspecifieke taal die kwantitatieve betrouwbaarheidsbeoordeling in assurance-gevallen mogelijk maakt door gebruik te maken van fuzzy sets voor linguïstisch betekenisvolle oordeelsvorming en transparante expressiegebaseerde propagatie, waarmee het veelvoorkomende beperkingen van bestaande methoden aanpakt.
Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer
Stel je voor dat je een rechter bent in een rechtszaal met veel inzet, maar in plaats van te beslissen of iemand een misdaad heeft gepleegd, beslis je of een zelfrijdende auto veilig genoeg is om de weg op te gaan. In de wereld van engineering is dit niet zomaar een onderbuikgevoel; het is een formeel proces dat een "Assurance Case" wordt genoemd. Zie een Assurance Case als een enorme, logische puzzel waarbij ingenieurs bewijsstukken opstapelen — zoals testresultaten, code-reviews en veiligheidscontroles — om een toren van bewijs te bouren die zegt: "Wij zijn er zeker van dat dit systeem niemand letsel zal toebrengen."
Al een lange tijd worstelen ingenieurs met de vraag hoe ze die "vertrouwen" kunnen meten. Sommigen proberen super precies te zijn door exacte getallen toe te wijzen, zoals "93,4% vertrouwen". Maar dat is lastig. Is 93,4% goed genoeg? Is 93,3% een ramp? Het is alsof je probeert de smaak van een aardbei te beschrijven met alleen een liniaal; de getallen voelen koud, verwarrend en gemakkelijk verkeerd te interpreteren aan. Anderen gebruiken vage woorden zoals "vrij zeker" of "erg bezorgd", maar dan is het moeilijk om met die woorden wiskunde te bedrijven om te zien of de hele bewijstoren wel overeind blijft. De grote vraag is: Hoe combineren we de precisie van wiskunde met de natuurlijke, vage manier waarop mensen eigenlijk over risico denken?
Dit is waar een nieuwe tool genaamd Certus in beeld komt. Het artikel introduceert Certus als een speciale "taal" die is ontworpen om ingenieurs te helpen praten over vertrouwen op een manier die natuurlijk aanvoelt, maar nog steeds werkt als wiskunde. In plaats van ingenieurs te dwingen een specifiek getal zoals 0,87 te kiezen, laat Certus hen vage woorden gebruiken zoals "hoog", "laag" of "zeer laag". Maar hier zit de magische truc: Certus behandelt deze woorden als "fuzzy sets" (vage verzamelingen). Stel je een schaal voor waarbij "hoog" niet slechts één punt is, maar een zachte wolk van mogelijkheden die overlapt met "medium". Dit stelt het systeem in staat om berekeningen uit te voeren met deze wolken, waarbij de "vaagheid" helemaal mee omhoog gaat naar de top van de argumentatietoren en het uiteindelijke oordeel.
De auteurs, Simon Diemert en Jens H. Weber, suggereren dat deze aanpak verschillende hoofdpijndossiers oplost. Ten eerste voorkomt het dat mensen getallen verkeerd interpreteren (geen paniek meer over een kans op falen van 0,07%). Ten tweede erkent het dat menselijk oordeel van nature vaag is en laat het ingenieurs deze nuance uitdrukken zonder deze te verliezen in een rekenmachine. Ten derde gaat het om met "defeaters" — die als kleine "ha, ik heb je!"-argumenten zijn die proberen de toren omver te werpen. Certus heeft een speciale manier om deze "gotcha's" toe te laten, zodat ze het vertrouwen verminderen zonder het hele systeem te breken.
Om hun idee te testen, bouwde het team een prototype van Certus en paste dit toe op een praktijkvoorbeeld: een veiligheidsargument voor een Adaptive Cruise Control (ACC) systeem in een auto. Ze lieten zien hoe de taal eenvoudige uitspraken zoals "de code-inspectie heeft een zeer hoog vertrouwen" kon combineren met "de hardware kan falen" om een uiteindelijke, berekende vertrouwensgraad te produceren. Toen ze de fuzzy resultaten vergeleken met een oudere methode die strikte getallen gebruikte, waren de resultaten vergelijkbaar, maar Certus voelde intuïtiever en transparanter aan.
Het artikel beweert niet dat Certus het afgewerkte, perfecte product is dat morgen klaar is voor elke fabriek. In plaats daarvan suggereert het dat dit een veelbelovende nieuwe richting is. De auteurs geven toe dat ze meer werk moeten verrichten om dit prototype om te vormen tot een tool die ingenieurs dagelijks kunnen gebruiken, inclusief het maken van betere visuele diagrammen en het bewijzen dat de resultaten betrouwbaar genoeg zijn voor beslissingen van leven of dood. Maar voor nu biedt Certus een speelse maar krachtige nieuwe manier om vertrouwen te kweken in de machines die ons binnenkort zullen besturen.
Verdrinkt u in papers in uw vakgebied?
Ontvang dagelijkse digests van de nieuwste papers die bij uw onderzoekswoorden passen — met technische samenvattingen, in uw taal.