Accéder directement au contenu Accéder directement à la navigation
Poster

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

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 ?
Liste complète des métadonnées

https://hal-mines-paristech.archives-ouvertes.fr/hal-01006648
Contributeur : Claire Medrala <>
Soumis le : jeudi 11 décembre 2014 - 14:11:08
Dernière modification le : jeudi 24 septembre 2020 - 16:36:01
Archivage à long terme le : : mardi 11 avril 2017 - 07:04:10

Fichier

hal-01006648.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01006648, version 1

Citation

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⟩

Partager

Métriques

Consultations de la notice

257

Téléchargements de fichiers

86