Je parle bien uniquement de la recherche en informatique concernant la sureté de fonctionnement.
La recherche a l'impression de se focaliser sur le cas général. L'exemple typique est le problème de l'arrêt qui l'air de faire croire que rien n'est possible dans le domaine.
C'était amusant aussi de décrire le standard MISRA C à un docteur en informatique, pour lui c'était inconcevable que des programmes informatiques puissent exister et être utile sans allocation dynamique de mémoire ou fonctions récursives. Et pourtant tous les avions, train, grue, processe industriel fonctionnent ainsi. Ce genre de programme n'a pas besoin des structures de données comme les arbres ou les graphes qui, eux, nécessitent la récursion. Et pourtant les preuves de programmes butent sur ce genre de choses dont on peut se passer. Évidement si quelqu'un trouvent une solution général au problème de la preuve de programme, tout le monde applaudira.
Je ne pensais pas du tout à la rentabilité mais au fait de résoudre des problèmes concret rencontré tous les jours, par rapport à trouver une solution définitive qui a l'air d'être impossible à obtenir.
[^] # Re: Les jeunes fuient les filières scientifiques ?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Populariser la science informatique. Évalué à 1.
Je parle bien uniquement de la recherche en informatique concernant la sureté de fonctionnement.
La recherche a l'impression de se focaliser sur le cas général. L'exemple typique est le problème de l'arrêt qui l'air de faire croire que rien n'est possible dans le domaine.
C'était amusant aussi de décrire le standard MISRA C à un docteur en informatique, pour lui c'était inconcevable que des programmes informatiques puissent exister et être utile sans allocation dynamique de mémoire ou fonctions récursives. Et pourtant tous les avions, train, grue, processe industriel fonctionnent ainsi. Ce genre de programme n'a pas besoin des structures de données comme les arbres ou les graphes qui, eux, nécessitent la récursion. Et pourtant les preuves de programmes butent sur ce genre de choses dont on peut se passer. Évidement si quelqu'un trouvent une solution général au problème de la preuve de programme, tout le monde applaudira.
Je ne pensais pas du tout à la rentabilité mais au fait de résoudre des problèmes concret rencontré tous les jours, par rapport à trouver une solution définitive qui a l'air d'être impossible à obtenir.
"La première sécurité est la liberté"