Så såg det ut när ungerska HCC demonstrerade sitt nya filsystem på mässan Embedded World i Nürnberg.
Standardfilsystemet på kortet intill har hunnit samla på sig 11 inkonsistenser under den tid demonstrationen har snurrat när Elektroniktidningen besöker montern.
HCC har varit verksamt i 15 år och saluför maskinnära programvarukomponenter av olika slag: nätverksstackar, kryptering, USB-drivrutiner och filsystem.
Det finns konkurrerande komponenter, men HCC menar sig vara unikt vad gäller robusthet – det är den röda tråden i HCC:s alla programvarukomponenter.
Företaget ger en känga åt konkurrenterna. OpenSSL-buggen Heartbleed och Apples GOTO-bugg är enligt HSS precis vad man kan förvänta sig från dessa projekt med tanke på vilka utvecklingsmodeller de använder.
– OpenSSL – det är fyra personer varav en är professionell. De kan lägga till en feature och skicka in en ny version av sin programvara nästa dag, och sedan används den av miljoner, säger Dave Hughes.
Han kallar deras säkerhetsmodell för ”flygplatsmodellen” – det vill säga att säkerhetshål täpps till allteftersom de upptäcks. HCC:s modell kallas v-modellen och innebär istället att koden testas efter brister redan under det att den utvecklas.
V-testning görs på alla nivåer – från specifikationen av det fulla systemet ner till de enskilda komponenterna i botten av V:t.
Företaget ber dig inte lita på att dess programkomponenter är korrekta, utan bifogar också verktyg som hjälper dig att själva testa detta.