La NASA a développé (pas tous seuls) un outil de vérification de modèle de logiciels en java (enfin, c'est plus vraiment du modèle checking) Java Pathfinder. Il a été utilisé pour valider (à postériori) le code des rover martiens (par contre, le code original était en C++, traduit en java par une moulinette, de mémoire) J'avais en tête qu'ils l'avaient aussi testé sur des morceaux de vrai code embarqué mais je ne retrouve plus.
Sinon certains satellites embarquent une JVM non activée en vol* qui permet de jouer des procédures de tests, principalement pour vérifier que tout est bien câblé.
Mais évidemment vu que ça existe, certains on l'idée pour de futurs programmes d'y mettre des trucs non vitaux...
* en même temps ils ne sont pas encore en vol ceux auxquels je pense, mais elle n'est pas censée être activée en vol
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
[^] # Re: fatche ça va être dur d'attendre vendredi
Posté par 2PetitsVerres (Mastodon) . En réponse au journal N05 4M15 135 H4CK3R5. Évalué à 6.
Sinon certains satellites embarquent une JVM non activée en vol* qui permet de jouer des procédures de tests, principalement pour vérifier que tout est bien câblé.
Mais évidemment vu que ça existe, certains on l'idée pour de futurs programmes d'y mettre des trucs non vitaux...
* en même temps ils ne sont pas encore en vol ceux auxquels je pense, mais elle n'est pas censée être activée en vol
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.