De JSP Safety Evidence Kernel is onze eerste concrete onderzoekssoftware voor het structureren van veiligheidsargumenten. De software helpt zichtbaar te maken hoe technische fouten kunnen samenlopen en welke bewijsstukken nog ontbreken voordat een bewering serieus kan worden beoordeeld.
Het probleem dat we aanpakken
In complexe ontwerpen raken aannames, testresultaten en veiligheidsclaims gemakkelijk verspreid. Een foutboom alleen vertelt niet welke onafhankelijk controleerbare bewijzen nog nodig zijn. De Kernel brengt deze onderdelen samen in een onderzoeksomgeving.
Wat de huidige demo doet
Je kunt drie foutbomen onderzoeken, twintig kwalitatieve foutcombinaties bekijken, vijftien bewijsvoorwaarden nalopen, claimafhankelijkheden lezen, risico’s annoteren en een rapport downloaden. Lokale notities blijven op het apparaat van de gebruiker en kunnen als JSON worden geëxporteerd.
Wie er iets aan kan hebben
Systems engineers, softwareonderzoekers, studenten en onafhankelijke beoordelaars kunnen voorlopige veiligheidsargumenten organiseren en duidelijker bespreken. De interface gebruikt begrijpelijke uitleg en maakt onbewezen bronstatussen expliciet.
Wat de Kernel nadrukkelijk niet is
Geen gecertificeerd veiligheidsproduct, geen berekening van echte ongevalskansen, geen operationeel vluchtbesturingssysteem en geen vervanging voor wettelijke goedkeuring of gespecialiseerde onafhankelijke engineering. Een formele commerciële release is nog niet bevestigd.
Zelf proberen: gebruik het eigen submenu Overzicht, Foutbomen, Bewijsregister, Afhankelijkheden, Risico’s en Rapporten. Elk onderdeel is een afzonderlijke, interactieve pagina — geen lange alles-in-één-pagina.