Skip to Main content Skip to Navigation
Poster communications

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 ?
Complete list of metadatas

https://hal-mines-paristech.archives-ouvertes.fr/hal-01006648
Contributor : Claire Medrala <>
Submitted on : Thursday, December 11, 2014 - 2:11:08 PM
Last modification on : Thursday, September 24, 2020 - 4:36:01 PM
Long-term archiving on: : Tuesday, April 11, 2017 - 7:04:10 AM

File

hal-01006648.pdf
Files produced by the author(s)

Identifiers

  • 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⟩

Share

Metrics

Record views

261

Files downloads

88