A l'ombre des tilleuls

Dans le monde de l'industrie et des services, la validation et la vérification des logiciels sont aujourd'hui des enjeux sécuritaires et économiques majeurs. La sécurité des passagers des véhicules de transport dépend par exemple de la sûreté des logiciels qui en contrôlent les fonctions motrices, tout comme la survie économique des fabricants de produits diffusés à des centaines de milliers d'exemplaires serait remise en cause si le logiciel embarqué se révélait erroné et devait être remplacé. L'utilisation d'environnements de développement de logiciels intégrant des outils d'aide à la vérification et à la validait": (JAVA/JML, C#ISPEC#, C/ACSL, Atelier B, Scade, Esterel, etc.) va se généraliser et, dans cette perspective, les futurs utilisateurs devront maîtriser ces outils autant que les techniques sous-jacentes. A la base des techniques de vérification, la logique de Hoare est au c'ur de cet ouvrage. On trouvera ici comment utiliser cette méthode pour vérifier et concevoir des logiciels sûrs. L'auteur montre également comment modéliser des systèmes informatiques dans le paradigme Iogico-ensembliste, puis comment les vérifier et les tester en recourant aux outils de la méthode B. Divisé en deux parties, ce manuel contient une introduction didactique des principes fondamentaux de la technique de vérification par application des règles de la logique de Hoare. Les concepts de la méthode de vérification sont introduits en montrant les similitudes et les différences avec la méthode de test fonctionnel boîte noire. On y trouvera notamment des éléments de stratégie utilisant ces concepts pour vérifier et pour concevoir des logiciels. La seconde partie est consacrée à des questions pratiques liées à la mise en ?uvre de la méthode avec des outils - Atelier B et LEIRIOS Test Generator - assistant la vérification et la génération de tests. Elle inclut le langage d'entrée de ces outils : la modélisation des logiciels en B. L'ensemble est illustré de nombreux exercices corrigés.

L'histoire commence sur une plage, quand Anne-Dauphine remarque que sapetite fille marche d'un pas un peu hésitant, son pied pointant versl'extérieur. Après une série d'examens, les médecins découvrent que Thaïsest atteinte d'une maladie génétique orpheline. Elle vient de fêter ses deuxans et il ne lui reste que quelques mois à vivre. Alors l'auteur fait unepromesse à sa fille: "tu vas avoir une belle vie. Pas une vie comme lesautres petites filles, mais une vie dont tu pourras être fière. Et où tu nemanqueras jamais d'amour."Ce livre raconte l'histoire de cette promesse et la beauté de cet amour.Tout ce qu'un couple, une famille, des amis, une nounou sont capables demobiliser et de donner. Il faut ajouter de la vie aux jours, lorsqu'on nepeut pas ajouter de jours à la vie.

Au fil de différents témoignages, le vrai visage de la fragilité se fait jour. C'est celui d'une expérience qui bouleverse le quotidien, qui fait s'envoler les certitudes et les habitudes sans pour autant détruire les forces de vie de ceux qui l'endurent. Bien au contraire. La fragilité est une rencontre qui transforme, métamorphose et fait se déployer des ressources insoupçonnées. Elle peut être le moteur d'une prise de conscience individuelle et collective qui recentre sur les vraies valeurs de la vie, et sur la relation à l'autre différente. Comme les précédents ouvrages La Fragilité, faiblesse ou richesse? et Tous fragiles, tous humains, ce livre est issu d'un colloque organisé par l'Arche de Jean Vanier qui a eu lieu à Nantes en février 2013.

À cet instant précis, j'entends résonner les mots en moi. Ils gagnent mon coeur, mon esprit, ils envahissent tout mon être: «Si tu savais...» Mercredi 1er mars. Un jour ordinaire, une fin d'hiver qui s'étire à Paris. La salle d'attente, où nous sommes depuis vingt minutes déjà, est coincée entre deux entrées du service de neurologie d'un hôpital pour enfants. De là, nous pouvons voir passer tout le monde. Chaque fois qu'une porte s'ouvre, ma respiration s'arrête. J'espère, autant que je le redoute, voir apparaître le visage de la neurologue; et savoir, enfin. Depuis son appel hier, le temps paraît interminable. «Nous savons de quoi souffre votre fille. Venez demain à quinze heures, pour que l'on vous explique. Venez avec votre mari, bien sûr.» Depuis, nous attendons.Loïc est là, tout près, pâle, tendu. Il se lève, marche, revient, s'assied, prend un journal, le repose. Attrape ma main et la serre de toutes ses forces. Mon autre main caresse mon ventre arrondi. Un geste qui se veut apaisant pour la petite vie qui grandit là depuis cinq mois. Un geste instinctif de protection.C'est là que je l'entends. «Si tu savais...» Cette phrase vient se graver au plus profond de moi. Je ne l'oublierai jamais. Et surtout, jamais je n'oublierai la manière dont je l'ai ressentie: elle portait la souffrance et le calme confiant de qui sait, de qui sait tout. Elle résumait à elle seule l'épreuve qui allait imprimer notre quotidien quelques minutes plus tard. A tout jamais.Le médecin arrive enfin. Elle nous salue, s'excuse de son retard et nous entraîne dans une petite pièce isolée au fond d'un couloir. Deux personnes nous suivent, dont une spécialiste des maladies du métabolisme que nous avons déjà rencontrée.Quand on nous présente la troisième personne, mon coeur se serre: c'est une psychologue. Et là, sans prévenir, les larmes me submergent. Avant même de savoir. Parce que d'un coup, j'ai compris. «Si tu savais...»Il n'y a pas de tonnerre, pourtant tout gronde. Les phrases me parviennent réduites à l'essentiel. «Votre petite fille... maladie génétique grave... leucodystrophie métachromatique... atteinte dégénérative... espérance de vie très limitée...»Non.Mon cerveau refuse de comprendre, mon esprit se rebelle. On ne parle pas de ma Thaïs; ce n'est pas vrai; je ne suis pas là; ce n'est pas possible. Je me serre contre Loïc, mon rempart.Alors que tout s'emmêle dans ma tête, mes lèvres formulent une phrase craintive: «Et pour notre futur bébé?- Il y a un risque sur quatre qu'il soit atteint lui aussi. Vingt-cinq pour cent de chances...»La foudre tombe. Devant nos pieds, un effrayant trou noir. L'avenir est réduit à néant. Pourtant, à cet instant terrible, notre instinct de survie prend le dessus durant quelques secondes, brèves mais décisives. Non, nous ne voulons pas de diagnostic prénatal. Nous voulons ce bébé. C'est la vie! Une minuscule petite lumière dans un horizon d'ébène.