Open License Society brengt opvolger Virtuoso-RTOS

Met OpencomRTOS introduceert Open License Society (OLS) uit Leuven naar eigen zeggen het eerste formeel ontworpen realtime besturingssysteem. De gelaagde nanokernelarchitectuur minimaliseert het geheugengebruik en de latency. De C-software is beschikbaar onder een open licentie waarbij gebruikers alle informatie krijgen, inclusief de ontwerpdocumentatie. Eerste klant is het Ieperse fabless chipbedrijf Melexis, dat OpencomRTOS op zijn automotive sensorplatform MelexCM zet.

’Open License Society vindt het RTOS opnieuw uit‘, kopt het persbericht. ’Dit is inderdaad een boude claim‘, beaamt OLS-directeur Eric Verhulst, ’maar in figuurlijke zin correct. We hebben een rigoureus systeemengineeringtraject gevolgd, waarbij we formele modellering hebben gebruikt om vanaf nul tot de finale architectuur en functionaliteit te komen. Samen met de Universiteit van Gent hebben we een wiskundig ontwerp gemaakt in de TLA+-taal, dat we vervolgens met de TLC-modelchecker hebben geverifieerd.‘

Virtuoso

OpencomRTOS is ontworpen als een schaalbare communicatielaag met scheduling tussen de verschillende taken. Omdat zowel de communicatie als de taakplanning verloopt met prioriteiten, is het ook te gebruiken als (gedistribueerd) realtime besturingssysteem. Boven op het compacte fundament komen een tussenniveau met traditionele RTOS-services en een toplaag die netwerkondersteuning biedt. Verder is het de bedoeling dat gebruikers hun eigen diensten kunnen toevoegen.