Altreonic komt met een embedded virtuele machine op Arm-processoren. De Safe Virtual Machine (SVM) is bedoeld voor gebruik op het OpencomRTos-platform van de Belgische specialist in formele softwareontwikkeling. Volgens het ontwikkelmodel van Altreonic wordt alles gemodelleerd via Communicating Sequential Processes (CSP). Verschillende componenten worden gedefinieerd als met elkaar communicerende actoren.
De SVM biedt een abstractielaag voor de doelprocessor. De ontwikkeltaal voor deze virtuele machine is Ansi-C, met ondersteuning van alle bibliotheken. Gecompileerde programma‘s kan de SVM dynamisch downloaden naar OpencomRTos-nodes, ontladen en verhuizen naar een andere node. Programma‘s in de virtuele machine boeten wel in aan snelheid. Daar staat tegenover dat de VM geheugentoegang kan controleren en grensoverschrijdingen en numerieke excepties tijdens runtime kan opvangen.
Op een Arm Cortex-M3-processor neemt de virtuele machine slechts 3,8 kbyte werkgeheugen in beslag. Elke node in een OpencomRTos-systeem kan meerder SVM-taken herbergen. Toekomstige versies zullen ook toegang tot native kernelservices ondersteunen en binaire code direct kunnen uitvoeren.
This article is exclusively available to premium members of Bits&Chips. Already a premium member? Please log in. Not yet a premium member? Become one for just €20 for the first year and enjoy all the benefits.