Integrated Safety for Deeply Embedded Systems Software (ISAFE)

Inleiding

Veiligheid is één van de belangrijkste ontwerpeisen in 'deeply embedded' systeemsoftware 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.

Ontwikkelingen en Veiligheidsstandaards

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 software geldt dat veiligheid een geïntegreerde aanpak vereist.

Doel van het ISAFE Project

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 in om een applicatie design om te zetten 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.

Kwalificatie van Software Tools

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.

Innovatie in de Markt

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.