Vous ne pouvez aller la a partir d'ici! Problemes et solutions potentielles dans le developpement de nouvelles classes de systemes complexes

L'explosion des possibilités et des produits nouveaux offerts dans le domaine des technologies de l'information a favorisé des opinions répandues et excessivement optimistes reposant sur des hypothèses courantes mais injustifiées sur la qualité et la correction du logiciel. Ces hypothèses sont favorisées par les producteurs et vendeurs de logiciel qui, à ce jour n'ont pas réussi à trouver le moyen de surmonter l'absence d'une approche automatisée et bien fondée mathématiquement pour développer, à partir de leurs exigences, des systèmes corrects. La NASA a à faire face à ce dilemme, car elle envisage des concepts de mission avancés qui impliquent de grands essaims de petits engins spatiaux qui coopéreront dans la poursuite de buts scientifiques. De telles missions, impliquent des niveaux de complexité requérant de nouvelles méthodes de développement bien supérieures à celles d'aujourd'hui, qui ne sont pas adaptées pour assurer le comportement correct d'une réunion d'un grand nombre d'éléments de mission intelligents interagissant. De nouvelles techniques de développement de systèmes imaginées récemment dans le cadre de recherches menées par la NASA offriront certaines approches innovantes pour atteindre la correction dans le développement de systèmes complexes, y compris ceux des missions d'essaims autonomes qui présentent un comportement émergent, aussi bien que dans celui des produits logiciels généraux créés par l'industrie informatique.