Tools&Toys

Altreonic publiceert boek over formele methodes

Pieter Edelman
Leestijd: 1 minuut

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.

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 and enjoy all the benefits.

Login

Related content