Regio Zuid | Integrated Safety for Deeply Embedded Systems Software (ISAFE)

Veiligheid is één van de belangrijkste ontwerpeisen in 'deeply embedded' systeem software in veiligheid kritische applicaties zoals auto's, treinen, vliegtuigen, medische apparatuur, nucleaire installaties, en de infrastructuur die daarbij hoort. Mede door de opkomst van het 'Internet of Things' (IoT) en 'Cloud Computing' vindt meer en meer integratie van systemen plaats en wordt de rol van (veilige) software in deze systemen van steeds groter belang. Daarnaast bevinden specifieke ontwikkelingen zoals 'Advanced Driver Assist Systems' (ADAS) voor auto's zich in een stroomversnelling die in de komende één tot vijf jaar tot een enorme groei van de vraag naar geïntegreerde veiligheidsoplossingen voor softwareontwikkeling zal leiden. Veiligheidsstandaards hebben een lange historie in industriële systeemontwikkeling en focussen zich op het borgen van de veiligheid ('functional safety'), oftewel het voorkomen van lichamelijk letsel. Veiligheidsstandaards bestaan al lang, maar zijn van oudsher meer gericht op hardware dan op software. Bij recente updates van de standaards is daar verandering in gekomen, zoals in de standaard voor elektrische systemen in personenauto's (ISO 26262) en de DO-178C standaard voor de luchtvaart. Voor zowel hardware als ook voor software geldt dat veiligheid een geïntegreerde aanpak vereist. Met het ISAFE project beogen Verum Software Tools B.V. en Solid Sands B.V. een geïntegreerde continue aanpak te creëren voor het ontwikkelen van software die aan deze veiligheidseisen voldoet. In dit softwareontwikkelingsproces zet Verum Software Tools B.V. haar Dezyne software tool een applicatie design om naar C of C++ code. Een C compiler zorgt vervolgens voor de vertaling van C/C++ naar een executeerbare code in de veiligheid kritische applicatie. Omdat software tools de veiligheid van dergelijke ‘safety-critical’ systemen kunnen beïnvloeden, schrijven veiligheidsstandaarden zoals ISO 26262 voor dat dergelijke software tools (Dezyne; C compiler) worden gekwalificeerd. In dit ISAFE project wordt de kwalificatie van software tools, in verschillende fasen van het softwareontwikkelingsproces, verder geïntegreerd. Dit R&D-project beoogt om de Dezyne software tool te kwalificeren door de gegenereerde code te testen en een MC/DC coverage analyse van de gegenereerde C en/of C++ code uit te voeren. De gegenereerde code wordt vervolgens omgezet in executeerbare code door de C compiler die is gekwalificeerd met de SuperTest validatie suite van Solid Sands B.V. Een dergelijke geïntegreerde continue aanpak voor het ontwikkelen van software, die aan alle veiligheidsstandaarden voldoet, is een volledig nieuwe propositie in de markt, die Verum en Solid Sands in het onderhavige R&D-project nader zullen onderzoeken en ontwikkelen.