Ulster University Logo

Ulster Institutional Repository

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

Biomedical Sciences Research Institute Computer Science Research Institute Environmental Sciences Research Institute Nanotechnology & Advanced Materials Research Institute

Hinchey, MG, Rash, JL, Truszkowski, W, Rouff, CA and Sterritt, R (2009) Vous ne pouvez aller la a partir d'ici! Problemes et solutions potentielles dans le developpement de nouvelles classes de systemes complexes. Genie Logiciel, March 2009 (88). pp. 14-25. [Journal article]

Full text not available from this repository.

URL: http://cat.inist.fr/?aModele=afficheN&cpsidt=21336528

Abstract

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.

Item Type:Journal article
Faculties and Schools:Faculty of Computing & Engineering
Faculty of Computing & Engineering > School of Computing and Mathematics
Research Institutes and Groups:Computer Science Research Institute
Computer Science Research Institute > Smart Environments
ID Code:8926
Deposited By:Mr Roy Sterritt
Deposited On:08 Feb 2010 16:45
Last Modified:08 Feb 2010 16:45

Repository Staff Only: item control page