• Aucun résultat trouvé

Assistance au raffinement dans la conception des systèmes embarqués

N/A
N/A
Protected

Academic year: 2021

Partager "Assistance au raffinement dans la conception des systèmes embarqués"

Copied!
146
0
0

Texte intégral

Loading

Figure

TAB. 1.1 – Comparaison entre quelques environnements de conception.
FIG. 1.4 – Processus de preuve dans les outils de “Theorem-Proving”.
FIG. 1.5 – Schéma d’intégration du raffinement formel
FIG. 1.6 – Exemple de spécification d’un canal de communication abstrait en event-B
+7

Références

Outline

Documents relatifs

Nous présentons dans cette section le modèle d’organisation que nous proposons pour la gestion des communications dans les systèmes complexes physiques ouverts.. Ce modèle est

Conversion de puissance électrique en puissance mécanique et de puissance mécanique en puissance électrique (rails de Laplace, freinage par induction, moteur à courant

En fait, l’obligation des GMF sera de « participer à la réflexion et aux travaux du département régional de médecine géné- rale (DRMG) entourant le mécanisme d’accès pour les

Ce type de démarche, que l’on qualifierait de floue, s’applique par exemple à la tempé- rature d’un four pour la conduite duquel l’opérateur humain détermine son action

Mots clés : niveaux d’abstraction, raffinement, conception analogique, synthèse haut niveau, signaux mixtes, modélisation, SystemC, AMS, SystemC-AMS, modèles de calcul, temps

Nous utilisons la norme ISO 29110 « Ingénierie des systèmes – Profils de cycle de vie pour les Très Petits Organismes » à la fois comme cadre de référence pour structurer

Nous utilisons la norme ISO 29110 « Ingénierie des systèmes – Profils de cycle de vie pour les Très Petits Organismes » à la fois comme cadre de référence pour structurer

C'est toujours le "LOADER UTILITY" qui à la fin du tra- vail est appelé par la commande "SLEEP" à partir du disque et qui assure la sauvegarde du système