Skip to Main content Skip to Navigation
Conference papers

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é.
Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/hal-00921865
Contributor : Daniel Chillet <>
Submitted on : Sunday, December 22, 2013 - 10:22:33 AM
Last modification on : Friday, July 10, 2020 - 4:25:40 PM

Identifiers

  • 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. ⟨hal-00921865⟩

Share

Metrics

Record views

1721