Pieter Edelman
13 September 2011

Altreonic heeft een boek uitgegeven rond zijn OpencomRTos en bijbehorende ontwikkelmethodes. De tools van het Vlaamse bedrijf geven de ontwikkelaar de mogelijkheid om met formele methodes software te ontwikkelen en deze vervolgens uit te rollen naar verschillende targets. Het boek ’Formal development of a network centric RTOS‘ wordt uitgegeven door Springer, maar is desondanks geen puur wetenschappelijk werk, meldt Altreonic. In plaats daarvan toont het de state of the art in de wetenschap en hoe deze kan worden toegepast in de ontwikkeling van daadwerkelijke industriële toepassingen. Het is ook niet puur een handleiding, maar gaat dieper en breder in op de gedachten achter en de ontwikkeling van het OpencomRTos en onderwerpen als betrouwbare systemen, formele methodes en concurrency.