Sensibilisation à la modélisation SART pour le développement de code temps réel

Daniel Chillet 1
1 CAIRN - Energy Efficient Computing ArchItectures with Embedded Reconfigurable Resources
Inria Rennes – Bretagne Atlantique , IRISA-D3 - ARCHITECTURE
Résumé : Le développement de code pour des systèmes de contrôle est un élément important de la formation des ingénieurs de l'Enssat et un enseignement spécifique est assuré sur cette partie en seconde année du cycle de formation. Dans le temps accordé à cet enseignement, nous nous attachons à sensibiliser nos étudiants à la problématique de la modélisation de la solution avant le passage au code. La difficulté que nous rencontrons est assez largement répandue et est liée à la tentation pour les étudiants d'aller trop vite vers l'écriture de lignes de code, sans avoir au préalable décrit/modélisé une solution complète. Cela engendre de nombreux tests et corrections conduisant généralement à un code difficilement maintenable et incompréhensible. Pour répondre à ce problème, nous avons développé un outil qui permet de mieux comprendre que l'important dans un contexte de développement de code n'est pas le code lui même, mais la partie qui détaille la solution à coder. En proposant un outil permettant de modéliser des solutions simples, au travers de l'utilisation des réseaux de Pétri animés, il est possible de vérifier que la solution produite répond bien au cahier des charges. La modélisation devient alors naturellement le support d'échange entre l'étudiant et l'encadrant et permet de se mettre d'accord sur les fonctionnalités de la solution. Une fois cette étape validée, l'étudiant peut alors se lancer dans le codage de la solution, phase qui requiert alors d'autres compétences relative cette fois-ci à une bonne connaissance de \emph{l'operating system} utilisé.
Type de document :
Communication dans un congrès
CETSIS, l0ème Colloque sur l'Enseignement des. Technologies et des Sciences de l'Information et des Systèmes, Mar 2013, Caen, France. 2013
Liste complète des métadonnées

https://hal.inria.fr/hal-00921865
Contributeur : Daniel Chillet <>
Soumis le : dimanche 22 décembre 2013 - 10:22:33
Dernière modification le : mardi 16 janvier 2018 - 15:54:13

Identifiants

  • HAL Id : hal-00921865, version 1

Citation

Daniel Chillet. Sensibilisation à la modélisation SART pour le développement de code temps réel. CETSIS, l0ème Colloque sur l'Enseignement des. Technologies et des Sciences de l'Information et des Systèmes, Mar 2013, Caen, France. 2013. 〈hal-00921865〉

Partager

Métriques

Consultations de la notice

756