Titre du document / Document title
Vous ne pouvez aller là à partir d'ici ! : Problèmes et solutions potentielles dans le développement de nouvelles classes de systèmes complexes
Auteur(s) / Author(s)
HINCHEY Michael G. (1) ;
RASH James L. (1) ;
TRUSZKOWSKI Walter F. (2) ;
ROUFF Christopher A. (3) ;
STERRITT Roy (4) ;
Affiliation(s) du ou des auteurs / Author(s) Affiliation(s)
(1) University of Limerick LERO, Limerick, IRLANDE
(2) NASA Goddard Space Flight Center Systems Engineering Division , Greenbelt, MD 21035, ETATS-UNIS
(3) Lockheed Martin Advanced Technology Laboratories, Arlington, VA 22203, ETATS-UNIS
(4) University of Ulster School of Computing and Mathematics Newtonabbey, Co. Antrim BT37 0QB Northern Ireland, ROYAUME-UNI
Résumé / 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.
Revue / Journal Title
Génie logiciel
ISSN
1265-1397
Source / Source
2009, n
o88, pp. 14-25 [12 page(s) (article)] (49 ref.)
Langue / Language
Français
Editeur / Publisher
GL & IS, Meudon, FRANCE
(1995)
(Revue)
Mots-clés anglais / English Keywords
;
;
;
;
;
;
Mots-clés français / French Keywords
;
;
;
;
;
;
Mots-clés espagnols / Spanish Keywords
;
;
;
;
;
;
Localisation / Location
INIST-CNRS, Cote INIST : 21864, 35400018680075.0030
Nº notice refdoc (ud4) : 21336528
