Contribution à l'Analyse, validation et développement de systèmes embarqués

par Clément Michel

Thèse de doctorat en Informatique et Télécommunications

Sous la direction de Pierre Siron.

Thèses en préparation à Toulouse, ISAE , dans le cadre de École doctorale Mathématiques, informatique et télécommunications (Toulouse) , en partenariat avec ISAE-ONERA MOIS MOdélisation et Ingénierie des Systèmes (laboratoire) depuis le 04-10-2016 .


  • Résumé

    Le but de cette thèse est de contribuer à l'analyse, validation et implémentation de systèmes embarqués. La nature même des systèmes cyber-physiques, caractérisés par des systèmes hétérogènes (et donc calculés par modèles hétérogènes) et souvent distribués, rendent la conception et l'analyse complexes. Certaines propositions pour des systèmes distribués existent déjà au sein du projet open-source Ptolemy et de PRISE, propositions que nous désirons étendre.

  • Titre traduit

    Contribution to the analysis, validation and development of Embedded Systems


  • Résumé

    The goal of this thesis is to contribute to the analysis, validation and implementation of embedded systems. The very nature of cyber-physical systems, characterized by heterogeneous systems (and so, heterogeneous models of omputation) and often distributed, makes the design and analysis very complex. Some significant propositions already exist among them the open-source Ptolemy project and PRISE for distributed systems that we would like to extend.