Magazine

Connaissez-vous Joseph Sifakis?

Publié le 17 novembre 2008 par Allo C'Est Fini
Connaissez-vous Joseph Sifakis?J'ai découvert Joseph Sifakis en écoutant Continent Sciences sur France Culture, dans les embouteillages, un après-midi. Premier lauréat français du Prix Turing, en 2007, Joseph Sifakis y faisait part de ses travaux, en matière de vérification de logiciel (model checking): en gros, vérifier si un logiciel ou plus précisément un algorithme remplit les specifications initiales. Un domaine que j'ai rapidement abordé lors d'une mission chez Dassault Aviation en 2005.

Cela peut vous paraître étrange, surtout si vous ne travaillez pas dans le secteur  de l'édition de logiciel, mais ... oui, les logiciels sont bourrés de bug. C'est d'ailleurs ce qui fait vivre certains éditeurs comme Oracle ou Dassault Systèmes: la manne payée annuellement par leurs clients pour bénéficier du support (15% environ du prix d'achat) permet de faire vivre l'éditeur et de financer ses développements ultérieurs. 

Ce qui est encore plus étrange, c'est que les travaux de Joseph Sifakis n'ont que peu d'intérêt pour ces éditeurs. En fait, Sifakis voit le monde du logiciel embarqué comme le véritable bénéficiaire de ses travaux de recherche. Il rappelle que 90% du logiciel écrit sur cette planète est embarqué. Et oui, pour un PC familial, on compte souvent plusieurs téléphones portables, une télé, une voiture, une machine à laver, un micro-onde, un ou plusieurs lecteurs MP3, etc. Et le logiciel embarqué dans ces appareils a intérêt à être plus fiable que celui commercialisé par certains éditeurs. 

C'est surtout dans des domaines comme l'aeronautique ou l'espace que ce type d'approche est indispensable. Lorsque les systèmes critiques de ces engins sont livrés au bon vouloir de quelques centaines de lignes de code, l'erreur n'est plus admissible...


Vous pourriez être intéressé par :

Retour à La Une de Logo Paperblog

Ces articles peuvent vous intéresser :

  • Connaissez-vous le "Zombie walk" ?

    by d200 dug No censorship!Non, ce n'est pas une image tirée d'un film d'horreur avec des zombies ! C'est le Zombie walk...Le Zombie walk (appelé aussi Zombie... Lire la suite

    Par  Antoine Toin0u
    A CLASSER
  • Connaissez-vous cette plante ?

    Enfin une plante qui se plaît chez moi !Elle pousse, elle pousse...Mais je ne connais pas le nom de cette plante !Depuis 3 semaines-1 mois, de jolies fleurs... Lire la suite

    Par  Calissou
    A CLASSER
  • Connaissez-vous Marc Borgna ?

    Traduction en ligne de petites annonces immobilières européennes, ouverture en Chine et aux US. Manifestement, le marché immobilier attire les créateurs de... Lire la suite

    Par  Alex Ruben
    A CLASSER
  • Connaissez vous Melissa Laveaux ?

    Fille d’enseignants haïtiens qui ont fui la dictature pour s’installer sous des latitudes plus septentrionales, Melissa – née à Montréal – reçoit de son père... Lire la suite

    Par  Guy Deridet
    A CLASSER
  • Connaissez vous Louis Prima ?

    Bien sûr tout le monde connaît " Just a gigolo" mais il a fait bien d'autres bonnes choses. Mon player de chez Jiwa Louis Prima Biographie Louis Prima (né le 7... Lire la suite

    Par  Guy Deridet
    A CLASSER
  • Peter Kitsch, vous connaissez ?

    Attention, c'est du lourd ! Cette note aujourd'hui a double vocation : 1- de faire office de cadeau de Noël d'HappyFew à mes nombreux lecteurs et fervents... Lire la suite

    Par  Barbryte
    A CLASSER
  • Connaissez-vous Oumou Sangare ?

    Connaissez-vous Oumou Sangare

    Moi je ne connaissais pas. Et j'avais tort ! Ecoutez-la avec le player ci-joint. Si vous avez l'oreille ouverte cela ne peut pas vous laisser indifferent. Lire la suite

    Par  Guy Deridet
    A CLASSER

A propos de l’auteur


Allo C'Est Fini 6794 partages Voir son profil
Voir son blog

l'auteur n'a pas encore renseigné son compte l'auteur n'a pas encore renseigné son compte l'auteur n'a pas encore renseigné son compte