Développement de logiciels embarqués avioniques du T-50 avec Java - Korea Aerospace Industries (KAI)
(slideshare.net)Document présenté à l’ISET (International Symposium of Embedded Technology) en 2011.
Le logiciel du système avionique du T-50 a été implémenté sur JamaicaVM, une JVM qui implémente la spécification Real-time Java. Il y avait des problèmes de performance et de taille, mais ils ont été résolus grâce à des optimisations, montrant ainsi que Java peut être utilisé dans des systèmes Hard Real-Time et Safety-Critical.
Le contenu est en anglais, mais présenté sous forme de diapositives faciles à parcourir, donc il n’a pas été traduit ni résumé séparément au-delà de cet aperçu.
Projet soutenu par le gouvernement pour localiser les systèmes avioniques essentiels et les logiciels du T-50. Le logiciel de mission, appelé Operational Flight Program, a été développé en Real-time Java. Cette présentation montre pourquoi Java a été choisi et les travaux menés au début du développement pour s’adapter à Java.
5 commentaires
Jusqu’à récemment, je travaillais depuis assez longtemps sur la prise en charge de JavaScript dans les systèmes embarqués, et c’est intéressant de voir qu’au-delà de la différence de langage, il y a pas mal de problématiques communes. Merci de partager cette excellente ressource.
C’est un article de 2012. Si la raison de ne pas avoir choisi C/C++ était un problème de sécurité, je pense qu’aujourd’hui le choix aurait peut-être été très différent.
Je pense que ça n’a probablement pas changé. Dans l’aéronautique, il ne semble pas vraiment y avoir d’autre choix...
D’après une interview de 2020, le KF-21 serait lui aussi développé en C++.
Aux États-Unis aussi, Ada a été utilisé jusqu’au F-22, puis ils sont passés au C++ au moment du programme JSF.
Aujourd’hui, il doit être difficile de trouver des développeurs Ada (même s’il reste énormément de code legacy. Boeing Korea publie encore de temps en temps des offres d’emploi pour des développeurs Ada.) Quant à Rust, des outils certifiés commencent tout juste à apparaître un par un...
Il est possible que cela change dans 20 ou 30 ans, lorsqu’ils développeront le chasseur de nouvelle génération après le KF-21.
C’est bien cet avion, le T-50.
Oui, c’est bien cet avion, le T-50 haha