Artisan werkt aan pakket voor Goal Structuring Notation

Artisan heeft een vroege versie uitgebracht van GSN Modeler, een gebruiksvriendelijke en krachtige visuele modelleeromgeving voor de Goal Structuring Notation (GSN). Met het pakket kunnen Safety Arguments worden gebouwd voor het ontwikkelen van veiligheidskritische systemen in de defensie-, lucht- en ruimtevaart-, stroom- en transportsectoren. GSN is ontwikkeld aan de universiteit van York en biedt een veelgebruikte methode voor hiërarchische grafische notatie. Safety Case Goals kunnen worden opgebroken in subdoelen en uiteindelijk ondersteund door bewijs (Solutions).

Met de GSN Modeler zijn alle GSN-elementen en -nodes te manipuleren, samen met de relaties ertussen. De software valideert ze automatisch zodat ze aan de basisregels van GSN voldoen. Artisans GSN Modeler gebruikt een database waar meerdere gebruikers uit kunnen putten. Daardoor zijn Safety Arguments eenvoudig uit te wisselen.