Dieses Beispiel ist doch komplett absurd. Die Auslösmechanismen eines Airbags haben absolut nichts mit der Software eines Kampfflugzeuges der 5. Generation zu tun. Da gibt es praktisch keine Parallelen. Mal davon abgesehen - so sicher sind Airbags auch nicht.
Sowohl in Autos als auch in Kampfflugzeugen bis hin zum SpaceShuttle kommen harte Echtzeitsysteme zum Einsatz.
@Sandswind:
Dann hat dein Bekannter bei der Ausbildung gepennt. Ein Airbagsystem ist die Paradeanwendung für verifizierte Echtzeitsysteme.
Kommentar