Download Free Contribution A Lelaboration Dune Methodologie De Specification De Verification Et De Generation Semi Automatique Dinterfaces Homme Machine Book in PDF and EPUB Free Download. You can read online Contribution A Lelaboration Dune Methodologie De Specification De Verification Et De Generation Semi Automatique Dinterfaces Homme Machine and write the review.

Les probl mes ergonomiques pos s, li s l'utilisation de l'interface graphique, concernent principalement quoi pr senter l'op rateur (en fonction du contexte de fonctionnement et des t ches op rateurs) et comment le pr senter. L'approche propos e vise satisfaire les points suivants: (1) une analyse globale du syst me homme- machine (SHM) couvrant l'analyse de la t che, des fonctionnements et des dysfonctionnements du syst me contr ler, permettant la d duction des besoins informationnels de l'op rateur (BIO); (2) une mod lisation formelle du comportement du SHM permettant la gestion automatique du dialogue et la v rification des bonnes propri t s de l'interface; (3) une sp cification graphique de l'interface int grant les recommandations ergonomiques n cessaires de repr sentation et regroupement des objets au niveau des diff rentes vues de l'interface; (4) une g n ration semi-automatique de l'interface partir des sp cifications pr tablies.
La recherche effectuée vise l'élaboration d'une démarche globale de conception des interfaces homme-machine qui s'appuie sur l'utilisation d'outils formels pour l'identification, la spécification et l'analyse du comportement des objets intervenant dans les interactions homme-machine. L'approche proposée vise à satisfaire les points suivants : (1) une analyse globale du système homme-machine (SHM) couvrant l'analyse de la tâche, des fonctionnements et des dysfonctionnements du système à contrôler, permettant la déduction des besoins informationnels de l'opérateur (BIO) ; (2) une modélisation formelle du comportement du SHM permettant la gestion automatique du dialogue et la vérification des bonnes propriétés de l'interface ; (3) une spécification graphique de l'interface intégrant les recommandations ergonomiques nécessaires de représentation et regroupement des objets au niveau des différentes vues de l'interface ; (4) une génération semi-automatique de l'interface à partir des spécifications préétablies. La méthode se base sur un système à base de connaissances intégrant les recommandations ergonomiques nécessaires pour la matérialisation graphique des différents objets identifiés lors de l'analyse du système pour leur affichage et leur manipulation par l'utilisateur.
Afin de répondre à la difficulté toujours croissante de réaliser des systèmes embarqués, les concepteurs ont dû se tourner vers des méthodes et outils permettant d’abstraire le niveau de description. Ces systèmes modernes sont généralement caractérisés par la présence de multiples fonctions complexes de traitement numérique du signal et s’articulent de plus en plus autour de blocs hétérogènes (logiciels et matériels). Dans ce contexte, la tendance actuelle est d’incorporer un noyau afin de gérer ces différents blocs de manière flexible et dynamique. Lorsque ces blocs deviennent trop complexes, il devient alors possible d’ajouter au noyau des services supplémentaires afin d’en assurer la gestion. Ceci est notamment le cas lorsque les fonctions peuvent s’exécuter sur plusieurs processeurs hétérogènes ou dans des zones matérielles reconfigurables. Compte tenu de tous ces aspects, la première partie de cette thèse porte sur une contribution à un outil de conception et propose une méthodologie permettant d'explorer la structure d'un système embarqué. L'outil permet la spécification des trois éléments de base d'un système : l'application, l'architecture et le système d'exploitation (noyau) à partir de modèles de haut niveau. La méthodologie consiste à spécifier, simuler et analyser les trois éléments de base. La démarche d’exploration s’effectue de manière itérative jusqu'à ce qu’une solution satisfaisante soit déterminée. La seconde partie de la thèse a porté sur une extension d’un modèle noyau afin de gérer dynamiquement la migration des tâches entre différents blocs de traitement (processeurs ou zones reconfigurables). Le service proposé est conçu pour gérer les architectures à mémoire partagée contenant un noyau supportant une configuration maître/esclave. Ce service d’Offloading complète le modèle du noyau en y ajoutant de nouvelles fonctionnalités (la migration des tâches, gestion des tâches hétérogènes et le placement intelligent).
Il y a une tendance croissante à considérer les processus d'une organisation comme l'une de ses grandes forces. Les processus sont des ressources réutilisables d'une organisation qui définissent les procédures de travail pour la réalisation de ses objectifs. Avec l'importance croissante du secteur des logiciels et des services, la standardisation des processus devient indispensable pour maintenir sa crédibilité. Le développement de processus suit un cycle de vie très similaire à celui du développement logiciel. Par exemple, il se compose de plusieurs phases et suit une approche incrémentale qui mène à son amélioration continue. Cette approche incrémentale peut être complétée par une stratégie basée sur le raffinement pour développer, exécuter et maintenir les processus de développement de logiciels.Cette thèse propose une base conceptuelle pour le développement de processus logiciels par raffinement, sans perdre de vue les exigences spécifiques de chaque phase du cycle de vie d'un tel processus. Elle utilise l'ingénierie dirigée par les modèles pour présenter un ensemble de méta-modèles pour le développement de processus logiciels où chaque méta-modèle correspond à une phase différente d'un processus (spécification, implémentation et instanciation). Le modèle d'un processus traverse une série de raffinement jusqu'à ce qu'elle soit enrichie par des capacités d'exécution. Le développement d'un interpréteur permet d'exécuter ce modèle. Il donne la possibilité de relier les modèles des differentes phases par des liens de traçabilité. Les intervenants peuvent interagir avec le processus en exécution à l'aide d'une interface de supervision. Un niveau de variabilité incluse dans les modèles de processus permet leur adaptation pendant l'exécution. Tout en prenant en compte la nécessité de se conformer aux standards adoptés par l'organisation, l'architecture de l'approche de modélisation proposée exploite le concept d'abstraction en s'inspirant de la notion de composant logiciel pour aider à la réutilisation de modèles de processus. Notre méthode est également prévue pour les entreprises qui veulent suivre plusieurs standards pour le même projet.Sur la base des connaissances acquises grâce à l'étude des langages de modélisation actuels du domaine, le cadre proposé pour la modélisation de processus présente une architecture qui se développe autour des concepts de «conception par contrat» et «conception pour et par la réutilisation». Ceci permet de construire un modèle de processus qui a une structure modulaire et garantit la correction des interactions entre des activités constituantes. Afin de favoriser la séparation des préoccupations, les flux de données au sein d'un processus sont gérés à un niveau d'abstraction différent de celui des flux de contrôle. La conformité entre ces deux niveaux permet d'offrir une architecture bicouche. Le flux de données lors de l'exécution est assuré par un système de gestion d'événements. Une évaluation des capacités de l'approche proposée est fournie par une analyse basée sur l'ensemble des «workflow patterns». Cela permet une comparaison directe de ses capacités avec d'autres approches de modélisation de processus
This volume contains the papers presented at the International Workshop on Tools for Working with Guidelines, (TFWWG 2000), held in Biarritz, France, in October 2000. It is the final outcome of the International Special Interest Group on Tools for Working with Guidelines. Human-computer interaction guidelines have been recognized as a uniquely relevant source for improving the usability of user interfaces for interactive systems. The range of interactive techniques exploited by these interactive systems is rapidly expanding to include multimodal user interfaces, virtual reality systems, highly interactive web-based applications, and three-dimensional user interfaces. Therefore, the scope of guidelines' sources is rapidly expanding as well, and so are the tools that should support users who employ guidelines to ensure some form of usability. Tools For Working With Guidelines (TFWWG) covers not only software tools that designers, developers, and human factors experts can use to manage multiple types of guidelines, but also looks at techniques addressing organizational, sociological, and technological issues.
This volume contains the selected papers of the first I.D.M.M.E. conference on 'Integrated Design and Manufacturing in Mechanical Engineering', held in Nantes from 15-17 April 1996. Its objective was to discuss the questions related to the definition of the optimal design and manufacturing processes and to their integration through coherent methodologies in adapted environments. The initiative of the Conference and the organization thereof, is mainly due to the efforts of the french PRIMECA group (Pool of Computer Resources for Mechanics) started eight years ago. We were able to attract the internationru community with the support of the International Institution for Production Engineering Research (C.I.R.P.). The conference brought together two hundred and fifty specialists from around the world. About ninety papers and twenty posters were presented covering three main topics : optimization and evaluation of the product design process, optimization and evaluation of the manufacturing systems and methodological aspects.
This Handbook serves as a single source for theories, models, and methods related to cognitive task design. It provides the scientific and theoretical basis required by industrial and academic researchers, as well as the practical and methodological guidance needed by practitioners who face problems of building safe and effective human-technology s
In 2001 AFIHM and the British HCI Group combined their annual conferences, bringing together the best features of each organisation's separate conference series, and providing a special opportunity for the French- and English-speaking HCI communities to interact. This volume contains the full papers presented at IHM-HCI 2001, the 15th annual conference of the British HCI group, a specialist group of the British Computer Society and the 14th annual conference of the Association Francophone d'interaction Homme-Machine, an independent association for any French-speaking person who is interested in Human-Computer Interaction. Human-Computer Interaction is a discipline well-suited to such a multi-linguistic and multi-cultural conference since it brings together researchers and practitioners from a variety of disciplines with very different ways of thinking and working. As a community we are already used to tackling the challenges of working across such boundaries, dealing with the problems and taking advantage of the richness of the resulting insights: interaction without frontiers. The papers presented in this volume cover all the main areas of HCI research, but also focus on considering the challenges of new applications addressing the following themes: - Enriching HCI by crossing national, linguistic and cultural boundaries; - Achieving greater co-operation between disciplines to deliver usable, useful and exciting design solutions; - Benefiting from experience gained in other application areas; - Transcending interaction constraints through the use of novel technologies; - Supporting mobile users.