Episode 13 - Ada und Spark - mit Ingo Houben

Ingo Houben ist Business Development und Account Manager bei
AdaCore und verantwortlich für den deutschsprachigen Raum. Er
langjährige Berufserfahrung in der EDA-, Embedded- und
Automobilindustrie. Dort hat er sich mit Mikroelektronik und
Softwaretechnik beschäftigt.


In diesem Podcast haben wir über Ada und Spark gesprochen. Ada
ist eine Programmiersprache, die sich aufgrund der strengen
Anforderungen an validierte Compiler gut für sicherheitskritische
Anwendungen eignet. Spark ist eine Variante von Ada mit
zusätzlichen Regeln. Diese Regeln ermöglichen es, Programme
automatisch auf Korrektheit zu prüfen.


Die von Ingo erwähnte Studie kann hier heruntergeladen werden:
Controlling Costs with Software Language Choice


Bei Fragen kann man sich über LinkedIn an Ingo wenden: Ingo
Houben - LinkedIn
--- Send in a voice message:
https://podcasters.spotify.com/pod/show/safetycorner/message