Search

Your search keyword '"Alain Bignon"' showing total 21 results
Start Over Author "Alain Bignon"
21 results on '"Alain Bignon"'

12. Effects of color codes used on marine supervision HMI on mental workload and information retrieval: Experimentations with novices and experts

Author

Alain Bignon, Fabien Silone, Laurianne Boulhic, Thierry Morineau, Jean-Frédéric Bouillon, Julien Rechard, Segula Technologies [France], Laboratoire de Psychologie : Cognition, Comportement, Communication (LP3C - EA1285), Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Université de Rennes 2 (UR2), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut Brestois des Sciences de l'Homme et de la Société (IBSHS), Université de Brest (UBO), Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université Bretagne Loire (UBL)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), and Institut Mines-Télécom [Paris] (IMT)

Subjects
Information retrieval, Computer science, 05 social sciences, Public Health, Environmental and Occupational Health, Fluid system, Human Factors and Ergonomics, Iso standards, Workload, 01 natural sciences, 050105 experimental psychology, 010309 optics, Identification (information), Engine room, [SCCO.PSYC]Cognitive science/Psychology, 0103 physical sciences, Code (cryptography), 0501 psychology and cognitive sciences, Representation (mathematics), ComputingMilieux_MISCELLANEOUS, Color code
Abstract

Using a color code on human-machine interfaces could sensibly reduce the informational density. In this paper, we focused on the supervision interfaces used in engine room of Merchant Navy vessels. There is no regulation about color use on these interfaces, despite the color code playing an important role in showing information. The ISO Standard 14726-2008 regulates the color code printed on physical pipes and is used to represent the fluids flowing through it. The purpose of this study is to determine if we could use this standardized color code on the interfaces and create a connection between the physical pipes and their graphical representation. Two experimentations are presented, in which we compared the effects of two color codes on the performance at searching tasks carried out by novices and experts. One code is extracted from ISO Standard 14726-2008 (Normative Pipe Identification Color Code), and the other is created by taking into account general guidelines and common uses (Ergonomic Recommendations Color Code). The results showed that the NPICC, and its bicolor version in particular, increased the mental workload and the searching time required by novices. Experts had more difficulties to recognize the fluids represented by two colors and they used the two-colored fluid system less frequently than novices to retrieve an information.

Published
2018
Full Text
View/download PDF

13. An Automated Generation Approach of Simulation Models for Checking Control/Monitoring System

Author

Alain Bignon, Pascal Berruet, Sophie Prat, Philippe Rauffet, Jeremy Cavron, Djamal Kesraoui, Lab-STICC_UBS_CACS_MOCS, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-Université européenne de Bretagne - European University of Brittany (UEB)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-Université européenne de Bretagne - European University of Brittany (UEB)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS), Segula Technologies [France], Lab-STICC_UBS_CID_IHSEV, and Rauffet, Philippe

Subjects
0209 industrial biotechnology, [INFO.INFO-TS] Computer Science [cs]/Signal and Image Processing, Computer science, Real-time computing, Design flow, Control (management), Verification of hybrid systems, 02 engineering and technology, Modelica, 020901 industrial engineering & automation, 020401 chemical engineering, [INFO.INFO-TS]Computer Science [cs]/Signal and Image Processing, Process control, 0204 chemical engineering, ComputingMilieux_MISCELLANEOUS, Simulation modeling, Supervision and testing, Modelling and control of hybrid and discrete event systems, Control engineering, Monitoring system, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Flow (mathematics), Control and Systems Engineering, [SCCO.PSYC] Cognitive science/Psychology, [SCCO.PSYC]Cognitive science/Psychology, Virtual commissioning, [SHS.GESTION]Humanities and Social Sciences/Business administration, [INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation, Piping and instrumentation diagram, [SHS.GESTION] Humanities and Social Sciences/Business administration
Abstract

This paper presents an automated Model-Driven generation flow of simulation models. This generation is used to test control/monitoring systems during each step of their design, also generated within an automated design flow. The proposal is applied to fluid management systems, a kind of particular process control systems, both discrete and continuous. Starting from a Piping and Instrumentation Diagram, the “Simulation Flow” automatically generates Modelica models, allowing to check the programs and interfaces resulting from the main “Design Flow”.

Published
2017

14. Formal Verification of Software-Intensive Systems Architectures Described with Piping and Instrumentation Diagrams

Author

Flavio Oquendo, Djamal Kesraoui, Pascal Berruet, Alain Bignon, Soraya Mesli-Kesraoui, Armand Toguyeni, ArchWare, Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), CentraleSupélec-Télécom Bretagne-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Rennes (ENS Rennes)-Université de Bretagne Sud (UBS)-Centre National de la Recherche Scientifique (CNRS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-CentraleSupélec-Télécom Bretagne-Université de Rennes 1 (UR1), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA), Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL), Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS), Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (UMR 3192) (Lab-STICC), Université européenne de Bretagne - European University of Brittany (UEB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-Télécom Bretagne-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS), Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Université de Bretagne Sud (UBS)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-CentraleSupélec-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Université de Rennes (UNIV-RENNES)-CentraleSupélec, Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189 (CRIStAL), Centre National de la Recherche Scientifique (CNRS)-Université de Lille-Ecole Centrale de Lille, Université européenne de Bretagne - European University of Brittany (UEB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), and Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)

Subjects
Correctness, Piping, Computer science, business.industry, Programming language, Architectural design, System architectures, 020207 software engineering, 02 engineering and technology, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Software-intensive systems, computer.software_genre, P&ID, Formal verification, Software, Compatibility (mechanics), Architectural style, Alloy, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Architecture, business, computer
Abstract

International audience; Socio-technical systems are increasingly becoming software-intensive. The challenge now is to design the architecture of such software-intensive systems for guaranteeing not only its correctness, but also the correctness of its implementation. In social-technical systems, the architecture (including software and physical elements) is described in terms of Piping and Instrumentation Diagrams (P&ID). The design of these P&ID is still considered an art for which no rigorous design support exists. In order to detect and eliminate architectural design flaws, this paper proposes a formal-based automated approach for the verification of the essential architecture “total correctness” properties, i.e. compatibility, completeness, consistency, and correctness. This approach is based on the definition of an architectural style for P&ID design in Alloy. We use MDE to automatically generate Alloy models from a P&ID and check their compatibility with the style and its completeness, consistency, and correctness properties. Our approach is presented through an industrial case study: the system of storage and production of freshwater for a ship.

Published
2016

15. A multi-level requirements modeling for sociotechnical system simulation-based checking

Author

Philippe Rauffet, Alain Bignon, Sophie Prat, Pascal Berruet, Lab-STICC_UBS_CACS_MOCS, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-Université européenne de Bretagne - European University of Brittany (UEB)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-Université européenne de Bretagne - European University of Brittany (UEB)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS), Lab-STICC_UBS_CID_IHSEV, IEEE, and Rauffet, Philippe

Subjects
0209 industrial biotechnology, Sociotechnical system, [SPI] Engineering Sciences [physics], [INFO.INFO-TS] Computer Science [cs]/Signal and Image Processing, Computer science, Real-time computing, Control (management), Context (language use), 02 engineering and technology, Reconfigurable system, [SPI]Engineering Sciences [physics], 020901 industrial engineering & automation, [INFO.INFO-TS]Computer Science [cs]/Signal and Image Processing, 0501 psychology and cognitive sciences, Simulation based, 050107 human factors, Context model, 05 social sciences, Control/monitoring verification, Requirements modeling, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Control system, [SCCO.PSYC] Cognitive science/Psychology, [SCCO.PSYC]Cognitive science/Psychology, Systems engineering, [SHS.GESTION]Humanities and Social Sciences/Business administration, [INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation, [SHS.GESTION] Humanities and Social Sciences/Business administration
Abstract

To improve the design of reconfigurable sociotechnical systems, it is necessary to ensure that the control/ monitoring system meets the end-user needs and requirements, as early as possible in the project. Simulation techniques help conduct functional/behavioral checks from early design stages. However, this involves modeling the requirements in context, according to the sociotechnical and reconfigurable features of the system. Therefore, we propose a multi-level requirements modeling and discuss its use, in the case of the design of a ship auxiliary fluid management system.

Published
2016

16. Formal and Joint Verification of Control Programs and Supervision Interfaces for Socio-technical Systems Components

Author

Flavio Oquendo, Armand Toguyeni, Soraya Mesli-Kesraoui, Alain Bignon, Djamal Kesraoui, Pascal Berruet, ArchWare, Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), CentraleSupélec-Télécom Bretagne-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Rennes (ENS Rennes)-Université de Bretagne Sud (UBS)-Centre National de la Recherche Scientifique (CNRS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-CentraleSupélec-Télécom Bretagne-Université de Rennes 1 (UR1), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA), Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (UMR 3192) (Lab-STICC), Université européenne de Bretagne - European University of Brittany (UEB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-Télécom Bretagne-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS), Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL), Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS), Segula Technologies [France], Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Université européenne de Bretagne - European University of Brittany (UEB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS), Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Université de Bretagne Sud (UBS)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-CentraleSupélec-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Université de Rennes (UNIV-RENNES)-CentraleSupélec, Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189 (CRIStAL), Centre National de la Recherche Scientifique (CNRS)-Université de Lille-Ecole Centrale de Lille, and Segula Technologies

Subjects
Model checking, 0209 industrial biotechnology, Computer science, Interface (Java), 02 engineering and technology, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Model Checking, Set (abstract data type), [SPI]Engineering Sciences [physics], 020901 industrial engineering & automation, Component (UML), 0202 electrical engineering, electronic engineering, information engineering, Formal verification, Formal Verification, HMI, business.industry, Control-Command, 020207 software engineering, Usability, Formal methods, Automaton, CTL, Control and Systems Engineering, Embedded system, business, Software engineering
Abstract

The Anaxagore Project (Bignon et al., 2013) provides a component-based design ow for reconfigurable socio-technical systems. Each component integrates a control program and a supervision interface and it has been validated by empirical testing. The purpose of this paper is the use of formal methods for the verification of the whole component control-command chain. Different component features (the control program, the supervision interface, the physical device) and the human tasks are modeled using timed automata. These timed automata are then checked by model checking (UPPAAL) with a set of safety and usability properties written in CTL. Our approach is presented through an industrial case study: the supervised control of a 2-way motorized valve. The results show that the use of formal techniques enables to successfully detect control program and supervision interface design errors.

Published
2016

17. Designing Functional Specifications for Complex Systems

Author

Alain Bignon, Jean-Frédéric Bouillon, Laurent Guittet, Patrick Girard, Olga Goubali, Djamal Kesraoui, Pascal Berruet, Laboratoire d'Informatique et d'Automatique pour les Systèmes (LIAS), Université de Poitiers-ENSMA, Lab-STICC_UBS_CACS_MOCS, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-Université européenne de Bretagne - European University of Brittany (UEB)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-Université européenne de Bretagne - European University of Brittany (UEB)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS), Segula Technologies, and Segula Technologies [France]

Subjects
Functional specification, Sociotechnical system, business.industry, Computer science, Complex system, 020207 software engineering, 02 engineering and technology, [INFO.INFO-IA]Computer Science [cs]/Computer Aided Engineering, Formal methods, [SPI.AUTO]Engineering Sciences [physics]/Automatic, Software, Human–computer interaction, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], Model-driven architecture, business, computer, ComputingMilieux_MISCELLANEOUS, computer.programming_language
Abstract

For designing complex and sociotechnical System that strongly interact with humans e.g., a ship is a large sociotechnical system. systems, designers are in charge of the functional specification because they have an operational expert knowledge. However, these experts do not usually master the programming knowledge of those who design supervision systems. Complex and sociotechnical systems include supervision systems which comprise monitoring interfaces and associated control codes. In this paper we propose an approach that facilitates functional specification of supervision systems. This approach aims at exploiting Example Based Programming EBP to propose a specification tool, which contains a generalization module and an interface generation module. Our tool allows experts who are acting as non-professional software developers to describe high level system functional services from elementary services. These functional services contain elementary interactions and configuration data. Thus, the expert, involved in coding, avoids a lot of errors related to the interpretation of the functional specifications. Our aim is to capture expert knowledge on the system being designed in order to have verified and validated functional specifications, without having to train experts in formal methods.

Published
2016
Full Text
View/download PDF

18. Elaboration d'une loi d'échange convectif dans le cas d'une compression d'air par piston liquide

Author

thibault neu, David Guyomarc'H, Alain Bignon, Camille Solliec, Association Française de Mécanique, and Service irevues, irevues

Subjects
compression isotherme, piston liquide, [PHYS.MECA]Physics [physics]/Mechanics [physics], [PHYS.MECA] Physics [physics]/Mechanics [physics], corrélation, convection
Abstract

Colloque avec actes et comité de lecture. Internationale.; International audience; Ces travaux portent sur la mise au point d'une corrélation d'échange convectif adaptée à la compression quasi isotherme d'air par piston liquide. Cet échange thermique entre l'air et les parois de la chambre de compression est déterminant pour limiter l'élévation de la température de l'air au cours de la compression et ainsi se rapprocher de l'isothermicité. La recherche de la corrélation est basée sur une étude dimensionnelle du système complétée par un ensemble de mesures effectuées sur un banc d'essai. Un travail d'optimisation est ensuite réalisé pour déterminer les valeurs des coefficients de cette corrélation permettant de reproduire le plus fidèlement possible l'évolution de l'échange thermique dans la chambre de compression.

Published
2015

19. Verification and validation of a Work Domain Analysis with turing machine task analysis

Author

Pascal Berruet, Julien Rechard, Thierry Morineau, Alain Bignon, Berruet, Pascal, Lab-STICC_UBS_CACS_MOCS, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-Université européenne de Bretagne - European University of Brittany (UEB)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-Université européenne de Bretagne - European University of Brittany (UEB)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS), Centre de Recherches en Psychologie Cognition et Communication (CRPCC EA 1285), Université de Bretagne Sud (UBS)-Université de Brest (UBO)-MEN : EA1285-Université de Rennes 2 (UR2), and Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)

Subjects
0209 industrial biotechnology, Automobile Driving, Work, Systems Analysis, Theoretical computer science, Computer science, Physical Therapy, Sports Therapy and Rehabilitation, Human Factors and Ergonomics, 02 engineering and technology, Validation Studies as Topic, Work domain analysis, Business domain, 050105 experimental psychology, Domain (software engineering), Turing machine, symbols.namesake, 020901 industrial engineering & automation, Water Supply, Task Performance and Analysis, Humans, 0501 psychology and cognitive sciences, Domain analysis, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], Safety, Risk, Reliability and Quality, Engineering (miscellaneous), Man-Machine Systems, Ships, 050107 human factors, ComputingMilieux_MISCELLANEOUS, Cognitive ergonomics, 05 social sciences, Domain model, Models, Theoretical, Task analysis, symbols, Domain engineering, [INFO.INFO-HC] Computer Science [cs]/Human-Computer Interaction [cs.HC], Algorithm, Verification and validation
Abstract

While the use of Work Domain Analysis as a methodological framework in cognitive engineering is increasing rapidly, verification and validation of work domain models produced by this method are becoming a significant issue. In this article, we propose the use of a method based on Turing machine formalism named “Turing Machine Task Analysis” to verify and validate work domain models. The application of this method on two work domain analyses, one of car driving which is an “intentional” domain, and the other of a ship water system which is a “causal domain” showed the possibility of highlighting improvements needed by these models. More precisely, the step by step analysis of a degraded task scenario in each work domain model pointed out unsatisfactory aspects in the first modelling, like overspecification, underspecification, omission of work domain affordances, or unsuitable inclusion of objects in the work domain model.

Published
2015

20. Experimental Verification of Ecological Interface Prototype Issued by an Automated Generation Tool

Author

Julien Rechard, Thierry Morineau, Djamal Kesraoui, Jean-Frédéric Bouillon, Pascal Berruet, Florine Léger, Alain Bignon, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université Bretagne Loire (UBL)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT), Laboratoire de Psychologie : Cognition, Comportement, Communication (LP3C - EA1285), Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Université de Rennes 2 (UR2), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut Brestois des Sciences de l'Homme et de la Société (IBSHS), Université de Brest (UBO), and Segula Technologies [France]

Subjects
Rapid prototyping, Engineering, Interface (Java), design, Context (language use), 01 natural sciences, Industrial and Manufacturing Engineering, Artificial Intelligence, 0103 physical sciences, Ecological interface design, 0501 psychology and cognitive sciences, Protocol (object-oriented programming), 050107 human factors, ComputingMilieux_MISCELLANEOUS, Cognitive ergonomics, 010308 nuclear & particles physics, business.industry, Ecology, 05 social sciences, protyping, [SCCO.PSYC]Cognitive science/Psychology, ecological interface design, automatic generation, User interface, business, Engineering design process
Abstract

Vicente and Rasmussen have developed a method called Ecological Interface Design (EID) in the field of cognitive engineering .[1] In this context, we proposed a software tool named Anaxagore, that can assist the EID process for a rapid implementation of user interface prototypes. In a first stage, models based on standardized structure-functional diagram are computed .[2] In a second stage, these diagrams as inputs are transformed through a model-driven engineering process, involving a library of ecological graphical representations and an interface background. Then, an ecological interface prototype can be generated. Previously, Anaxagore was used to generate conventional synoptic representation .[3] To validate its EID extended version, an experimental protocol has been established. The experiment was conducted at the National Maritime College, with 14 naval officers randomly divided into two groups according to the used interface. After a preliminary training of participants to the use of the interfaces, four scenarios were simulated during the experiment. For each scenario, the performance was evaluated by a success score and by measuring the time to detect and understand failure. With the EID interface generated by Anaxagore, faster detection time and better diagnosis accuracy were observed. Anaxagore seems to constitute a response for assisting the rapid prototyping of ecological interface.

Published
2015

21. An integrated design flow for the joint generation of control and interfaces from a business model

Author

André Rossi, Pascal Berruet, Alain Bignon, Lab-STICC_UBS_CACS_MOCS, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-Université européenne de Bretagne - European University of Brittany (UEB)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), and Université de Brest (UBO)-Université européenne de Bretagne - European University of Brittany (UEB)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS)

Subjects
0209 industrial biotechnology, Integrated design, Sociotechnical system, General Computer Science, Iterative design, Process (engineering), Computer science, Interface (computing), General Engineering, 020207 software engineering, Control engineering, 02 engineering and technology, [SPI.AUTO]Engineering Sciences [physics]/Automatic, 020901 industrial engineering & automation, 0202 electrical engineering, electronic engineering, information engineering, Probabilistic design, IDEF4, Model-driven architecture, computer, ComputingMilieux_MISCELLANEOUS, computer.programming_language
Abstract

The design of large systems suffers from communication problems inside design team and inconsistencies in design documentation. We have identified two concurrent but complementary approaches for design. The first is a bottom-up approach where the design is made by aggregation of standard components. The second is a top-down approach where the design is made by successive refining of a model. This paper offers an integrated design flow for the joint generation of controls and users interfaces for reconfigurable sociotechnical systems. In accordance with our industrial feedback our approach is based on a business model called the synoptic, and on a library of standard elements. We describe the tool Anaxagore, that implements this approach and with which one can generate, in few minutes, a command and an interface for two simple input models. The results of the generation are consistent with the specifications.

Published
2013
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results