podcast.de
Anmeldung
Anmeldung Registrierung
Auto Hell Dunkel
Erweiterte Suche
  1. Startseite
  2. Podcasts
  3. Safety Corner Podcast
  4. 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

Weitere Episoden

Episode 22 (German) - Fit for NIS2: Wie erfüllt man die neue EU-Cybersicherheits-Vorgaben? - mit Simon Leitner

Episode 22 (German) - Fit for NIS2: Wie erfüllt man die neue EU-Cybersicherheits-Vorgaben? - mit Simon Leitner

49 Minuten
vor 2 Jahren
Episode 21 (English) - STPA in practice and SAE J3187 - with Mark A. Vernacchia

Episode 21 (English) - STPA in practice and SAE J3187 - with Mark A. Vernacchia

53 Minuten
vor 3 Jahren
Episode 20 (German) - Systems Engineering Methoden in Lehre, Forschung und Praxis - mit Lydia Kaiser

Episode 20 (German) - Systems Engineering Methoden in Lehre, Forschung und Praxis - mit Lydia Kaiser

41 Minuten
vor 3 Jahren
Episode 19 (English) - STAMP and STPA - A systems approach for complex systems - with Michael Schmid

Episode 19 (English) - STAMP and STPA - A systems approach for complex systems - with Michael Schmid

53 Minuten
vor 4 Jahren
Episode 18 (German) - Einfluss von 5G auf die Avionik von Flugzeugen - mit Holger Flühr

Episode 18 (German) - Einfluss von 5G auf die Avionik von Flugzeugen - mit Holger Flühr

54 Minuten
vor 4 Jahren
Alle Episoden anzeigen
In Podcasts werben
Schalte jetzt Werbung in Podcasts.
Episode melden

„Episode 13 - Ada und Spark - mit Ingo Houben“

Worum geht es? Danach fragen wir noch nach dem Grund.

Abonnenten

Teilen

Mein Archiv

Deine Privatkopie der Folgen, die du nicht verlieren willst.

Podcast-Folgen verschwinden. Feeds werden auf die letzten Episoden gekürzt, Hoster räumen alte Dateien ab, Formate wechseln den Anbieter und lassen ihr Archiv zurück. Mit „Mein Archiv“ sichert podcast.de die Folgen deiner Podcasts für dich — angefangen bei den ältesten, denn die sind zuerst weg.

  • Deine gesicherten Folgen bleiben hörbar, auch wenn das Original offline geht.
  • Auch Folgen, die im heutigen Feed gar nicht mehr stehen — podcast.de kennt sie noch.
  • Herunterladen bleibt möglich, solange die Folge beim Podcaster liegt. Der zählt seine Abrufe wie bisher.
Startet bald

Sei beim Start von Mein Archiv dabei

Mein Archiv ist fast fertig. Trag dich ein, dann bekommst du eine E-Mail, sobald es losgeht – und bist von Anfang an dabei. Wir schreiben dir nur zum Start, keine Werbung, keine Weitergabe deiner Daten.

Du bekommst zuerst eine Bestätigungsmail. Abmelden geht jederzeit. Datenschutz