Préservation de preuve lors de la compilation sur microcontrôleur - Archive ouverte HAL Accéder directement au contenu
Poster Année : 2014

Préservation de preuve lors de la compilation sur microcontrôleur

(1)
1
Vivien Maisonneuve
  • Fonction : Auteur
  • PersonId : 942462

Résumé

Conception d’un système embarqué : Un système embarqué est un système informatique autonome spécialisé. - Contraintes d’autonomie, de temps d’exécution, de sécurité & sûreté. - Utilise un microprocesseur basse consommation ou un microcontrôleur. - Systèmes embarqués dans les moteurs, les télécommandes, les appareils de bureau, l’électroménager, les jouets, les téléphones, etc.Travail de conception sur deux niveaux : - Formalisation : Conception du système, Modèlisation physique de l'environnement, Preuve mathématique que le système se comporte correctement. - Réalisation : programme C de très bas niveau : plusieurs milliers de LOC, calculs décomposés en opérations élémentaires, gestion des moteurs et des capteurs.Objectifs : Comment être sûr que le programme exécuté est correct ?
Fichier principal
Vignette du fichier
hal-01006648.pdf (943.12 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01006648 , version 1 (11-12-2014)

Identifiants

  • HAL Id : hal-01006648 , version 1

Citer

Vivien Maisonneuve. Préservation de preuve lors de la compilation sur microcontrôleur. Journées nationsles GDR-GPL, Jun 2014, Paris, France. 2014. ⟨hal-01006648⟩
151 Consultations
54 Téléchargements

Partager

Gmail Facebook Twitter LinkedIn More