What programming languages are used in avionics?

De wereld van de luchtvaartelektronica (avionics) is een domein waar betrouwbaarheid, veiligheid en voorspelbaarheid absoluut van het grootste belang zijn. In tegenstelling tot de snelle, iteratieve ontwikkelingscycli van commerciële software, worden systemen in een vliegtuig ontworpen om tientallen jaren te functioneren onder extreme omstandigheden, waarbij fouten catastrofale gevolgen kunnen hebben. Deze fundamentele eisen sturen de keuze voor programmeertalen en ontwikkelprocessen in deze industrie.

De kern van de meeste kritieke vluchtregelsystemen wordt al decennia gedomineerd door Ada. Deze taal, specifiek ontwikkeld in opdracht van het Amerikaanse Ministerie van Defensie, is gebouwd rond de principes van leesbaarheid, onderhoudbaarheid en vooral het voorkomen van fouten tijdens het compileren. Zijn sterke type-systeem, expliciete parallelle verwerking (tasking) en ingebouwde mogelijkheden voor real-time programmering maken het bij uitstek geschikt voor systemen waar deterministisch gedrag essentieel is.

Naast Ada speelt C een aanzienlijke rol, met name in systemen waar prestatie en controle over hardware direct van belang zijn. Het gebruik van C vereist echter een strikte discipline en vaak het gebruik van gespecialiseerde subsets (zoals MISRA C) en uitgebreide statische analyse tools om de risico's op geheugenlekken, bufferoverlopen en ongedefinieerd gedrag, inherent aan de taal, te mitigeren. Voor minder kritieke boordsystemen en grondondersteunende software wordt ook C++ steeds vaker toegepast, met de nadruk op een beperkte subset van zijn mogelijkheden.

Een moderne ontwikkeling is de opkomst van model-based design tools en talen zoals Simulink en SCADE. Hierbij programmeert de ingenieur niet in tekstuele code, maar ontwerpt hij het systeem grafisch met blokdiagrammen en state machines. De code (vaak in C of Ada) wordt vervolgens automatisch gegenereerd door de tool, wat de kans op handmatige programmeerfouten aanzienlijk verkleint en de focus verlegt naar het specificeren en verifiëren van correct gedrag.