Hoe roestig is jouw kennis van Ada? In deze nieuwe aflevering van Elektor Engineering Insights deelt Quentin Ochem van AdaCore een schat aan inzichten over geheugenveilig programmeren en de rol daarvan in embedded systemen van vandaag. Het gesprek belicht de sterke punten en afwegingen van Ada, Spark en Rust, naast C en C++, met duidelijke focus op veiligheid, betrouwbaarheid en langdurig onderhoudsgemak.


De video legt uit hoe sterke typificatie, formele verificatie en het eigendomsmodel van Rust helpen om veelvoorkomende geheugenproblemen zoals buffer overflows en “double frees” te voorkomen. Quentin vergelijkt statische analyse met wiskundig bewijs en laat zien hoe Spark het ontbreken van bepaalde defecten kan garanderen. Het gesprek gaat ook in op adoptie binnen de industrie, waaronder Nvidia’s gebruik van Spark voor firmware en automotive toepassingen, en de groeiende interesse in Rust binnen zowel IT als embedded domeinen.

Je hoort ook meer over compiler-toolchains, integratie met C-bibliotheken en manieren om verschillende hardware aan te sturen. Prestatievergelijkingen, ISO 26262-veiligheidscertificering en technieken voor low-level datamapping komen uitgebreid aan bod. Ben je geïnteresseerd in de toekomst van veilige, efficiënte code voor systemen met hoge integriteit? Dit interview biedt technische diepgang, praktische voorbeelden en een gedetailleerde analyse van een professional met tientallen jaren ervaring in het vak. Bekijk de video hieronder:

Meer afleveringen van Elektor Engineering Insights

Wil je meer leren over programmeren, embedded devices of elektronica in het algemeen? Bekijk alle educatieve video's en profiteer van de kennis van experts op ons Elektor YouTube-kanaal en ons Elektor Industry YouTube-kanaal. Abonneer je op de wekelijkse nieuwsbrief van Elektor om regelmatig deskundige technische kennis en inzichten te ontvangen.