Systèmes interactifs critiques
Une approche pour l'ingénierie des systèmes interactifs critiques multimodaux et multi-utilisateurs : application à la prochaine génération de cockpit d'aéronefs
... de systèmes interactifs critiques dans leur choix de concep- ...des systèmes interactifs critiques utilisables et sûrs de ...
231
Architecture logicielle générique et approche à base de modèles pour la sûreté de fonctionnement des systèmes interactifs critiques
... des systèmes interactifs critiques, la satisfaction n’est pas considérée comme un facteur essentiel car il relève du confort des opérateurs qui est relégué au second plan par rapport à la ...les ...
244
Une approche à base de modèles synergiques pour la prise en compte simultanée de l'utilisabilité, la fiabilité et l'opérabilité des systèmes interactifs critiques
... des systèmes critiques étant donné que les interfaces utilisateurs sont désormais le moyen de contrôler ces ...ces systèmes représentent une quantité importante de lignes de codes (en termes de ...
254
Apports d'un concept de continuité pour l'architecture graphique de l'interface utilisateur des systèmes interactifs complexes
... 61 1.4.1. Exploration 1 : élaborer un système de formes favorisant la lisibilité comme matériau graphique pour l’interface La première exploration résulte d’une demande industrielle, formulée par le département EDYDN ...
278
Approches outillées pour le développement des systèmes interactifs intégrant les aspects sûreté de fonctionnement et utilisabilité
... Ce travail s’inscrit en préambule d’un vaste projet de recherche sur les cockpits du futur (CORAC). Il pose les axes de réflexions pour le développement de systèmes interactifs critiques. Comme nous ...
199
Une approche intégrée pour la validation et la génération de systèmes critiques par raffinement incrémental de modèles architecturaux
... 5.5 Synthèse : le profil AADL-HI Ravenscar Dans ce chapitre, nous avons présenté les éléments architecturaux du langage AADL (composants, propriétés...) exploités par les outils d’analyse (voir tableau 5.2 ) et ceux ...
268
Adoption de l'open source pour la conception de systèmes d'information critiques : le cas Thales
... Figure 3 : positionnement dans le processus d’adoption Le processus d’adoption se décompose en trois étapes (Thong 1999, p. 187). D’abord, l’initiation qui vise à étudier la perception des contextes technologique, ...
29
Processus d'identification de propriétés de sécurité-innocuité vérifiables en ligne pour des systèmes autonomes critiques
... 2.3. L’analyse de risque HazOp/UML Rappelons que notre objectif est de spécifier des contraintes de sécurité à partir d’une liste de dangers. La méthode AMDEC permet d’identifier les modes de dé- faillance d’un ...
129
Formalisme pour la conception haut-niveau et détaillée de systèmes de contrôle-commande critiques
... Les machines de Mealy se distinguent des machines de Moore par le fait que la valeur de sortie en un instant donné est fonction de leur entrée au même instant ; alors que le formalisme proposé par Moore ne fait dépendre ...
135
Une notion et un processus outillé pour le développement de systèmes interactifs multimodaux critiques
... de systèmes d‟entrée et de ...des systèmes d'entrée et de visualisation ...cockpits interactifs intègrent les entrées et la visualisation à la manière des logiciels standards (souris, clavier, ...
223
Configuration et Reconfiguration des Systèmes Temps-Reél Répartis Embarqués Critiques et Adaptatifs
... Présentons les bénéfices de chacune de ces méthodes dans le but d’adapter une méthode de génie logiciel dirigée par les modèles à de nouvelles exigences non-fonctionnelles. Génération de l’analyseur syntaxique Adapter ...
190
Génération de tests à partir de modèle UML/OCL pour les systèmes critiques évolutifs
... À l’issu de ce premier travail, nous avons pu définir la démarche de classification des tests selon les huit statuts du cycle de vie du test, nommée SeTGaM, pour tes- ter les systèmes évolutifs. La notation UML, ...
204
Pépite | Traçabilité des exigences et vérification par observateurs pour les logiciels critiques des systèmes ferroviaires
... Résumé Ces dernières années, le monde des systèmes critiques a connu un véritable essor en matière de demande de logiciels. Cet essor a généré de très nombreux impacts stratégiques et organ- isationnels ...
194
Approche d'intégrité bout en bout pour les communications dans les systèmes embarqués critiques : application aux systèmes de commande de vol d'hélicoptères
... les systèmes embarqués critiques, assurer la sûreté de fonctionnement est primordial du fait, à la fois, des exigences en sûreté dictées par les autorités de certification et des contraintes en sûreté de ...
164
Rapport final du projet APPRODYN : APPROches de la fiabilité DYNamique pour modéliser des systèmes critiques
... des systèmes présentant des conflits dans l’évolution de leur comportement [PER 10] et l’évaluation de l’intensité de défaillance des systèmes complexes en contexte dynamique [BAB ...
121
Réseau de communication à haut niveau d'intégrité pour des systèmes de commande-contrôle critiques intégrant des nappes de microsystèmes
... des systèmes basés sur le protocole TTP [Kopetz 1998], ou la couche de sécurité (Safety Layer) proposée dans [Brodtkorb 2001] pour le bus de terrain de la Foundation ...
184
Environnements interactifs pour l'apprentissage en langue étrangère
... deux systèmes ont été conçus avec une approche pédagogique de type « résolution de problème » dont l’objectif est de développer les capacités communi- catives de ...tels systèmes est guidée par la tâche et ...
11
Contribution au Contrôle des Humains Virtuels Interactifs
... Prenons l’exemple d’un pied asservi en position pour être capable de reproduire des mouvements de marche et dont les contacts avec le sol sont pris en compte dans le contrôleur d’équilib[r] ...
169
Validation formelle des systèmes numériques critiques : génération de l'espace d'états de réseaux de Petri exécutés en synchrone
... réflexions basées sur l’adaptation des techniques ordres partiels au contexte temporel. Le multi-horloge Dans le cadre de nos travaux nous n’avons considéré qu’une seule et même horloge pour l’ensemble des composants, ...
224
Réseau de communication à haut niveau d'intégrité pour des systèmes de commande-contrôle critiques intégrant des nappes de microsystèmes
... des systèmes basés sur le protocole TTP [Kopetz 1998], ou la couche de sécurité (Safety Layer) proposée dans [Brodtkorb 2001] pour le bus de terrain de la Foundation ...
182