• Aucun résultat trouvé

Architecture logicielle générique et approche à base de modèles pour la sûreté de fonctionnement des systèmes interactifs critiques

N/A
N/A
Protected

Academic year: 2021

Partager "Architecture logicielle générique et approche à base de modèles pour la sûreté de fonctionnement des systèmes interactifs critiques"

Copied!
244
0
0

Texte intégral

Loading

Figure

Figure 1.4. Évolution de l’affichage des paramètres moteurs entre les cockpits analogiques (a) et les  glass cockpits (b)
Figure 1.6. Évolution du système de commande et contrôle du FMS entre les glass cockpits (a) et les  cockpits interactifs (b)
Figure 2.5. Arbre des concepts de sûreté de fonctionnement et de sécurité (Avizienis, Laprie, et al
Figure 2.10. Le méta-modèle Slinky associé au modèle architectural ARCH (Bass, et al. 1992)   Les modèles à agents
+7

Références

Documents relatifs

Pour cette raison, dans cet article nous proposons un cadre de conception basé sur quatre éléments : l'identité, l'espace, le temps et les actions qui sont les moyens pour la

Ceci généralise à la dimension temporelle le fait que les déplacements spatiaux effectués par un programme tortue en deux dimen- sions p affectent les dessins réalisés par

Si l’appropriation est un phénomène que l’on connaît depuis toujours, elle est également reconnue à un moment donné, dans le courant de l’art conceptuel, comme une

Key words: L´evy process conditioned to stay positive, path decomposition, weak convergence, excursion measure,

Demandes spécifiques à la zone de chalandise Demandes spécifiques à la zone de chalandise Partenaires : fournisseurs, intermédiaires, Partenaires : fournisseurs, intermédiaires,

27 Résolution législative du Parlement européen du 1er mars 2001 sur la proposition de directive du Conseil relative à un cadre réglementaire commun pour les réseaux et les services

Dans les chapitres précédents nous avons vu comment le décalage entre les attitudes personnelles et la perception de celles des autres (e.g., norme collective perçue) a un impact

The impact of antimalarial drug resistance mutations on parasite fitness, and its implications for the evolution of resistance!. Amodiaquine resistant Plasmodium