Dans le domaine de l'informatique embarquée en aéronautique, il y a effectivement des normes extrêmement strictes à respecter, et qui sont sanctionnées par une certification.
Par exemple, les revues du code sont généralisées, les procédures de test très détaillées, et effectués par un autre programmeur que l'auteur du code, etc ...
En gros, pour une ligne de code il y a 10 lignes de doc.
J'ai même entendu dire que sur le calculateur de vol d'un avion de ligne, il y a en fait 3 ordinateurs, basés sur des architectures différentes, sur lesquels tournent trois logiciels fonctionnellement semblables mais programmés par des sociétés différentes n'ayant pas de contact entre elles. Pourquoi 3 ? Parce que si deux des calculateurs donnent un résultat différent, il en faut un troisième pour les départager.
PS : pour revenir au sujet initial, Dassaut Systèmes n'a plus de Dassaut que le nom, je crois qu'IBM en est le principal actionnaire.
[^] # Logiciels certifiés
Posté par Jimmy . En réponse au journal Dassault / Microsoft. Évalué à 5.
Par exemple, les revues du code sont généralisées, les procédures de test très détaillées, et effectués par un autre programmeur que l'auteur du code, etc ...
En gros, pour une ligne de code il y a 10 lignes de doc.
Voici une FAQ sur les principales certifications :
http://www.validatedsoftware.com/cert_faq.html#Q.%20%20In%20a%20nut(...)
J'ai même entendu dire que sur le calculateur de vol d'un avion de ligne, il y a en fait 3 ordinateurs, basés sur des architectures différentes, sur lesquels tournent trois logiciels fonctionnellement semblables mais programmés par des sociétés différentes n'ayant pas de contact entre elles. Pourquoi 3 ? Parce que si deux des calculateurs donnent un résultat différent, il en faut un troisième pour les départager.
PS : pour revenir au sujet initial, Dassaut Systèmes n'a plus de Dassaut que le nom, je crois qu'IBM en est le principal actionnaire.