Pour ceux qui veulent en savoir plus, sans pour autant investir dans le livre (qui est sans doute très bien), les deux auteurs (Phillipe David, Astrium puis ESA et Hélène Waeselynck du LASS/CNRS) sont des membres du groupe de travail "Logiciel Libre et Sûreté de Fonctionnement" du LAAS, vous retrouverez tout un tas d'informations interressantes sur la page web du groupe : http://www.laas.fr/RIS/GT/LL/(...)
Allez y faire un tour, il y a des comptes rendus de réunion et des présentations très instructives sur l'utilisation des logiciels libres dans le domaine de l'embarqué critique (spatial, aéronautique, ferroviaire...).
On y retrouve les grands thémes : la qualification du code issus de logiciel libres, la maitrise de la maintenance, les problémes de licences...
A noter que dans le domaine du spatial, le libre est déjà bien implanté, avec un des rares processeurs "libres" : le LEON (http://www.gaisler.com/leonmain.html(...)), un OS temps réel qui va être embarqué très prochainement dans l'espace : RTEMS (http://www.rtems.com/(...)) et toute une chaine de compilation déjà utilisée pour des satellites en vols basée sur GCC et GNAT (voir la page sur le LEON)...
# Re: Critique : "Logiciel libre et sureté de fonctionnement"
Posté par gege (site web personnel) . En réponse à la dépêche Critique : "Logiciel libre et sureté de fonctionnement". Évalué à 10.
http://www.laas.fr/RIS/GT/LL/(...)
Allez y faire un tour, il y a des comptes rendus de réunion et des présentations très instructives sur l'utilisation des logiciels libres dans le domaine de l'embarqué critique (spatial, aéronautique, ferroviaire...).
On y retrouve les grands thémes : la qualification du code issus de logiciel libres, la maitrise de la maintenance, les problémes de licences...
A noter que dans le domaine du spatial, le libre est déjà bien implanté, avec un des rares processeurs "libres" : le LEON (http://www.gaisler.com/leonmain.html(...)), un OS temps réel qui va être embarqué très prochainement dans l'espace : RTEMS (http://www.rtems.com/(...)) et toute une chaine de compilation déjà utilisée pour des satellites en vols basée sur GCC et GNAT (voir la page sur le LEON)...