Bonjour,
Bien qu'étant particulièrement sensible à la qualité logicielle, je ne connais pas les contraintes de l'embarqué qui, d'après l'excellent présentation de Barr, ont l'air bien particulières: redondance de variables critiques pour se prémunir des résultats d'un bit-flip, etc.
J'ai eu l'occasion de faire un peu de méthode B à l'école, sans pouvoir l'approfondir. J'ai trouvé récemment un bon compromis récemment avec les langages fonctionnels et le langage erlang en particulier (avec sa plate-forme OTP). On y trouve bien l'absence de variable globale, la supervision des process, etc. En ce qui concerne le dépassement de pile, qui est cité ici, le compilateur erlang se charge de transformer la récursivité finale en boucle, évitant justement ces dépassements vite problématique en programmation fonctionnelle où la récursivité finale est chose courante.
Cependant, il n'est pas destiné au temps réel et à l'embarqué "critique" et donc ne met pas en oeuvre certaines contraintes citées (la redondance de certaines variables est la première qui me vient à l'esprit).
Existe-t-il des outils, des méthodes, des langages qui permettent de mettre en oeuvre les "bonnes pratiques" citées dans la présentation pour l'embarqué ?
Jean
"Liberté, Sécurité et Responsabilité sont les trois pointes d'un impossible triangle" Isabelle Autissier
# Outils et méthodes ?
Posté par Jean Parpaillon . En réponse à la dépêche Encore un exemple de code spaghetti : Toyota. Évalué à 1.
Bonjour,
Bien qu'étant particulièrement sensible à la qualité logicielle, je ne connais pas les contraintes de l'embarqué qui, d'après l'excellent présentation de Barr, ont l'air bien particulières: redondance de variables critiques pour se prémunir des résultats d'un bit-flip, etc.
J'ai eu l'occasion de faire un peu de méthode B à l'école, sans pouvoir l'approfondir. J'ai trouvé récemment un bon compromis récemment avec les langages fonctionnels et le langage erlang en particulier (avec sa plate-forme OTP). On y trouve bien l'absence de variable globale, la supervision des process, etc. En ce qui concerne le dépassement de pile, qui est cité ici, le compilateur erlang se charge de transformer la récursivité finale en boucle, évitant justement ces dépassements vite problématique en programmation fonctionnelle où la récursivité finale est chose courante.
Cependant, il n'est pas destiné au temps réel et à l'embarqué "critique" et donc ne met pas en oeuvre certaines contraintes citées (la redondance de certaines variables est la première qui me vient à l'esprit).
Existe-t-il des outils, des méthodes, des langages qui permettent de mettre en oeuvre les "bonnes pratiques" citées dans la présentation pour l'embarqué ?
Jean
"Liberté, Sécurité et Responsabilité sont les trois pointes d'un impossible triangle" Isabelle Autissier