Search

Your search keyword '"Modélisation et Simulation"' showing total 792 results
Start Over Descriptor "Modélisation et Simulation"
792 results on '"Modélisation et Simulation"'

601. Enabling Workflows in GridSolve: Request Sequencing and Service Trading

Author

Jack Dongarra, Keith Seymour, Aurélie Hurault, Yinan Li, Asim YarKhan, Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), UT-Battelle (USA), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), University of Manchester (UNITED KINGDOM), University of Tennessee - UT (USA), Virginia Polytechnic Institute and State University (USA), Oak Ridge National Laboratory - ORNL (Oak Ridge, USA), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), Virginia Polytechnic Institute and State University [Blacksburg], The University of Tennessee [Knoxville], Oak Ridge National Laboratory [Oak Ridge] (ORNL), UT-Battelle, LLC, University of Manchester [Manchester], Assistance à la Certification d’Applications DIstribuées et Embarquées (IRIT-ACADIE), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Institut National Polytechnique (Toulouse) (Toulouse INP), and Institut National Polytechnique de Toulouse - INPT (FRANCE)

Subjects
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Service (systems architecture), Computer science, Distributed computing, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], 02 engineering and technology, Workflow applications, Interface homme-machine, Session (web analytics), Theoretical Computer Science, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], 020401 chemical engineering, Architectures Matérielles, Component (UML), 0202 electrical engineering, electronic engineering, information engineering, Génie logiciel, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], 0204 chemical engineering, Sequence, Service trading, Modélisation et simulation, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Systèmes embarqués, Task (computing), Workflow, Hardware and Architecture, Grid computing, Cryptographie et sécurité, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, 020201 artificial intelligence & image processing, Software, Information Systems
Abstract

International audience; GridSolve employs a RPC-based client-agent-server model for solving computational problems. There are two deficiencies associated with GridSolve when a computational problem essentially forms a workflow consisting of a sequence of tasks with data dependencies between them. First, intermediate results are always passed through the client, resulting in unnecessary data transport. Second, since the execution of each individual task is a separate RPC session, it is difficult to enable any potential parallelism among tasks. This paper presents a request sequencing technique that addresses these deficiencies and enables workflow executions. Building on the request sequencing work, one way to generate workflows is by taking higher level service requests and decomposing them into a sequence of simpler service requests using a technique called service trading. A service trading component is added to GridSolve to take advantage of the new dynamic request sequencing. The features described here include automatic DAG construction and data dependency analysis, direct interserver data transfer, parallel task execution capabilities, and a service trading component.

Published
2013

602. Identifying user experience dimensions for mobile incident reporting in urban contexts

Author

Regina Bernhaupt, Marco Winckler, Cédric Bach, Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées, Interactive Critical Systems (IRIT-ICS), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Centre National de la Recherche Scientifique - CNRS (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), and Institut National Polytechnique de Toulouse - INPT (FRANCE)

Subjects
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Engineering, Process (engineering), media_common.quotation_subject, Mobile services, Applied psychology, Mobile computing, 02 engineering and technology, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Interface homme-machine, Smart phone, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Empirical research, User experience design, Human–computer interaction, Architectures Matérielles, Perception, 0202 electrical engineering, electronic engineering, information engineering, Génie logiciel, 0501 psychology and cognitive sciences, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], Electrical and Electronic Engineering, e-government, 050107 human factors, media_common, business.industry, 05 social sciences, 020207 software engineering, Incident reporting, Modélisation et simulation, Systèmes embarqués, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Identification (information), Service quality, Industrial relations, Task analysis, Cryptographie et sécurité, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, User experience (UX), business, Meaning (linguistics)
Abstract

International audience; Despite the increasing interests raised by incident reporting systems, it is still unclear what dimensions of user experience (UX) and other contextual factors should be taken into account for the various stages of declaring an incident using mobile-phone applications. Research questions: How do citizens perceive and describe urban incidents? What UX dimensions are important for reporting an incident with a mobile-phone application? What other (contextual) factors are important from the users' point of view when declaring incidents? Which of the UX dimensions and contextual factors are important when in the various phases during an incident declaration? Literature review: Overall, there is a lack of empirical research in the domain of incident reporting. In general, the UX dimensions—visual and aesthetic experience, emotion, stimulation, identification, meaning and value, and social relatedness/coexperience—are important when designing interactive systems. It also shows that incidents are related to the citizen's perception of the environment. Methodology: A triangulated method approach combining interviews, a survey of existing systems, and a model-based task analysis were applied. This allows us to present a generic task model for incident reporting with a detailed description of UX dimensions affected in the various subtasks. Results and conclusions: Our findings point out the effect of UX dimensions in the task engaged by users when reporting urban citizens. The overall UX is directly influenced by the perceived level of severity, inconvenience and involvement, the personal context, and the technological mobile context. We have found that while several UX dimensions are highly relevant, they are not equally distributed along the several subtasks that citizens engage when reporting incidents. This study shows that semistructured requirement interviews can provide information about UX dimensions and it highlights the importance of the identification of UX dimensions in early phases of the development process.

Published
2013

603. Supportive User Interfaces and Task Migratability in Smart Environments

Author

Forbrig, Peter, Zaki, Michael, Palanque, Philippe, Winckler, Marco Antonio, Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Universität Rostock (GERMANY), and Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France)

Subjects
Architectures Matérielles, Supportive user interface, Cryptographie et sécurité, Génie logiciel, Smart environment, Modélisation et simulation, Distributed user interfaces, Task migratability, Systèmes embarqués, Interface homme-machine
Abstract

This paper discusses supportive user interfaces as a special kind of distributed user interfaces. It introduces tangible objects as elements of a supportive user interface and discusses the role of metaphors. Furthermore, the role of supportive user interfaces for implementing the usability criteria of task migratability in smart environments is discussed. Some challenges are identified and the combination of tangible user interfaces and graphical user interfaces is suggested.

Published
2013

604. Planification des activités de transport d’une entreprise 3PL par une approche multi-agent

Author

Memon, Muhammad Ali, Archimède, Bernard, Letouzey, Agnès, Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), and Institut National Polytechnique de Toulouse - INPT (FRANCE)

Subjects
Planification de transport collaborative, Modélisation/simulation, Chaines Logistique et distribution, Modélisation et simulation, Systèmes coopératifs
Abstract

La répartition et l'éloignement des sites de production d'entreprises en réseau, l'éloignement et la multiplicité des centres de distribution ou l'explosion du commerce en ligne ont entrainé une augmentation croissante du nombre de demandes de transport dans le monde. Cette augmentation du volume de transports de biens et de marchandises, ajoutée au nombre croissant de déplacements de passagers a conduit à une augmentation du nombre de moyens de transport (véhicules, avions, bateaux, etc.) avec pour conséquence une augmentation de la capacité des voies de communication arrivées à saturation (autoroutes, lignes aériennes, voies de navigation), un élargissement des zones de stockage (ports, aéroports, entrepôts, etc.) et une augmentation de la pollution impactant durablement l'environnement. Dans ce contexte, l'organisation, la gestion et la planification des transports, devenues cruciales, ont favorisé l'apparition de nombreuses sociétés spécialisées (3PL) proposant une mutualisation des moyens de transport et une gestion centralisée. L'objectif de cet article est de présenter une architecture distribuée de planification des activités de transport visant à mieux utiliser les ressources de transport par le regroupement en fonction du contexte de planification de plusieurs ordres de transport.

Published
2013

605. Hidden Markov Model Based Automated Fault Localization for Integration Testing

Author

Ning Ge, Shin Nakajima, Marc Pantel, Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées, National Institute of Informatics (NII), Assistance à la Certification d’Applications DIstribuées et Embarquées (IRIT-ACADIE), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Institut National Polytechnique (Toulouse) (Toulouse INP), Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - INPT (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), National Institute of Informatics - NII (JAPAN), and Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)

Subjects
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Model-based diagnosis, Computer science, Integration testing, 02 engineering and technology, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], computer.software_genre, Machine learning, Interface homme-machine, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Robustness (computer science), Architectures Matérielles, 0202 electrical engineering, electronic engineering, information engineering, Génie logiciel, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], Hidden Markov model, business.industry, Automated fault localization, 020207 software engineering, Modélisation et simulation, Systèmes embarqués, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, 020202 computer hardware & architecture, Control system, Scalability, Cryptographie et sécurité, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, Artificial intelligence, Data mining, business, computer
Abstract

International audience; Integration testing is an expensive activity in software testing, especially for fault localization in complex systems. Model-based diagnosis (MBD) provides various benefits in terms of scalability and robustness. In this work, we propose a novel MBD approach for the automated fault localization in integration testing. Our method is based on Hidden Markov Model (HMM) which is an abstraction of system's component to simulate component's behaviour. The core of this method is a fault localization algorithm that gives out the set of suspect faulty components and a backward algorithm that calculates the matching degree between the HMM and the real system to evaluate the confidence degree of the localization conclusion. The proposed method is evaluated on a specific test bed and is applied to a simple helicopter control system case study.

Published
2013

606. Advanced numerical methods for uncertainty reduction when predicting heat exchanger dynamic stability limits: Review and perspectives

Author

Franck Baj, Marianna Braza, Daniel Ruiz, Yannick Hoarau, Elisabeth Longatte, Christian Canteneur, Laboratoire de Mécanique des Structures Industrielles Durables (LAMSID - UMR 8193), EDF R&D (EDF R&D), EDF (EDF)-EDF (EDF)-Centre National de la Recherche Scientifique (CNRS)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA), Institut de Mécanique des Fluides et des Solides (IMFS), École Nationale du Génie de l'Eau et de l'Environnement de Strasbourg (ENGEES)-Centre National de la Recherche Scientifique (CNRS), Institut de mécanique des fluides de Toulouse (IMFT), Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées, Algorithmes Parallèles et Optimisation (IRIT-APO), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Institut National Polytechnique (Toulouse) (Toulouse INP), Groupe AREVA, Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Centre National de la Recherche Scientifique (CNRS)-EDF R&D (EDF R&D), EDF (EDF)-EDF (EDF), Laboratoire d'études de DYNamique (DYN), Service d'Etudes Mécaniques et Thermiques (SEMT), Département de Modélisation des Systèmes et Structures (DM2S), CEA-Direction des Energies (ex-Direction de l'Energie Nucléaire) (CEA-DES (ex-DEN)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay-CEA-Direction des Energies (ex-Direction de l'Energie Nucléaire) (CEA-DES (ex-DEN)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay-Département de Modélisation des Systèmes et Structures (DM2S), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay, Université de Toulouse (UT)-Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), AREVA (FRANCE), Commissariat à l'Energie Atomique et aux énergies alternatives - CEA (FRANCE), Centre National de la Recherche Scientifique - CNRS (FRANCE), EDF (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Université de Strasbourg - UNISTRA (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), and Institut National Polytechnique de Toulouse - INPT (FRANCE)

Subjects
Nuclear and High Energy Physics, Engineering, Mathematical optimization, Dynamical systems theory, Computation, Stability (learning theory), Context (language use), Degrees of freedom (mechanics), 01 natural sciences, 010305 fluids & plasmas, Sciences de l'ingénieur [physics]/Milieux fluides et réactifs, 0103 physical sciences, General Materials Science, 0101 mathematics, Safety, Risk, Reliability and Quality, Waste Management and Disposal, Simulation, Computer simulation, business.industry, Heuristic, Mechanical Engineering, Scale (chemistry), Modélisation et simulation, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, 010101 applied mathematics, Nuclear Energy and Engineering, Modeling and advanced numerical methods, business
Abstract

International audience; This article proposes a review of recent and current developments in the modeling and advanced numerical methods used to simulate large-size systems involving multi-physics in the field of mechanics. It addresses the complex issue of stability analysis of dynamical systems submitted to external turbulent flows and aims to establish accurate stability maps applicable to heat exchanger design. The purpose is to provide dimensionless stability limit modeling that is suitable for a variety of configurations and is as accurate as possible in spite of the large scale of the systems to be considered. The challenge lies in predicting local effects that may impact global systems. A combination of several strategies that are suited concurrently to multi-physics, multi-scale and large-size system computation is therefore required. Based on empirical concepts, the heuristic models currently used in the framework of standard stability analysis suffer from a lack of predictive capabilities. On the other hand, numerical approaches based on fully-coupled fluid–solid dynamics system computation remain expensive due to the multi-physics patterns of physics and the large number of degrees of freedom involved. In this context, since experimentation cannot be achieved and numerical simulation is unavoidable but prohibitive, a hybrid strategy is proposed in order to take advantage of both numerical local solutions and empirical global solutions.

Published
2013

607. MoMA-LigPath: A web server to simulate protein-ligand unbinding

Author

Didier Devaurs, Marc Vaisset, Thierry Siméon, Juan Cortés, Christophe Zanon, Ibrahim Al-Bluwi, Romain Iehl, Léa Bouard, Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - INPT (FRANCE), Institut National des Sciences Appliquées de Toulouse - INSA (FRANCE), Institut Supérieur de l'Aéronautique et de l'Espace - ISAE-SUPAERO (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Équipe Robotique et InteractionS (LAAS-RIS), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Service Informatique : Développement, Exploitation et Assistance (LAAS-IDEA), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), and Université de Toulouse (UT)

Subjects
Models, Molecular, Web server, Molecular model, Protein Conformation, Biology, Ligands, 010402 general chemistry, computer.software_genre, Login, Bioinformatics, 01 natural sciences, 03 medical and health sciences, Phenols, Genetics, Insulin, [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO], Computer Simulation, Motion planning, Representation (mathematics), 030304 developmental biology, Flexibility (engineering), Internet, 0303 health sciences, Binding Sites, [SDV.BBM.BS]Life Sciences [q-bio]/Biochemistry, Molecular Biology/Structural Biology [q-bio.BM], Proteins, Articles, Ligand (biochemistry), Modélisation et simulation, Protein-ligand unbinding, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [SDV.BIBS]Life Sciences [q-bio]/Quantitative Methods [q-bio.QM], 0104 chemical sciences, ComputingMethodologies_PATTERNRECOGNITION, Robotique, computer, Algorithm, Algorithms, Software, Protein ligand
Abstract

International audience; Protein-ligand interactions taking place far away from the active site, during ligand binding or release, may determine molecular specificity and activity. However, obtaining information about these interactions with experimental or computational methods remains difficult. The computational tool presented in this paper, MoMA-LigPath, is based on a mechanistic representation of the molecular system, considering partial flexibility, and on the application of a robotics-inspired algorithm to explore the conformational space. Such a purely geometric approach, together with the efficiency of the exploration algorithm, enables the simulation of ligand unbinding within very short computing time. Ligand unbinding pathways generated by MoMA-LigPath are a first approximation that can provide very useful information about protein-ligand interactions. When needed, this approximation can be subsequently refined and analyzed using state-of-the-art energy models and molecular modeling methods. MoMA-LigPath is available at http://moma.laas.fr. The web server is free and open to all users, with no login requirement.

Published
2013

608. Flights in my hands : coherence concerns in designing Strip'TIC, a tangible space for air traffic controllers

Author

Stéphane Conversy, Christophe Hurter, Jean-Luc Vinot, Rémi Lesbordes, Catherine Letondal, ENAC - Equipe Informatique Interactive (LII), Ecole Nationale de l'Aviation Civile (ENAC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées, Direction de la technique et de l'innovation de la DGAC (DTI), Direction Générale de l'Aviation Civile (DGAC), Interactive Critical Systems (IRIT-ICS), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Centre National de la Recherche Scientifique - CNRS (FRANCE), Ecole Nationale de l'Aviation Civile - ENAC (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Direction Générale de l’Aviation Civile - DGAC (FRANCE), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), and Institut National Polytechnique de Toulouse - INPT (FRANCE)

Subjects
distributed cognition, Computer science, Ethnography, Transport, Context (language use), 02 engineering and technology, security, Space (commercial competition), computer.software_genre, Distributed cognition, Interface homme-machine, ethnography, Air Traffic Control, tangible interaction, Tangible interaction, Human–computer interaction, Architectures Matérielles, Participatory design, 0202 electrical engineering, electronic engineering, information engineering, Génie logiciel, 0501 psychology and cognitive sciences, participatory design, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], Representation (mathematics), Projection (set theory), 050107 human factors, Multimedia, augmented paper, pen-based uis, Pen-based UIs, 05 social sciences, 020207 software engineering, Coherence (statistics), Air traffic control, Object (computer science), Modélisation et simulation, Systèmes embarqués, air traffic control, Augmented paper, transport, Cryptographie et sécurité, Security, computer
Abstract

Best Paper Honorable Mention award; International audience; We reflect upon the design of a paper-based tangible interactive space to support air traffic control. We have observed, studied, prototyped and discussed with controllers a new mixed interaction system based on Anoto, video projection, and tracking. Starting from the understanding of the benefits of tangible paper strips, our goal is to study how mixed physical and virtual augmented data can support the controllers' mental work. The context of the activity led us to depart from models that are proposed in tangible interfaces research where coherence is based on how physical objects are representative of virtual objects. We propose a new account of coherence in a mixed interaction system that integrates externalization mechanisms. We found that physical objects play two roles: they act both as representation of mental objects and as tangible artifacts for interacting with augmented features. We observed that virtual objects represent physical ones, and not the reverse, and, being virtual representations of physical objects, should seamlessly converge with the cognitive role of the physical object. Finally, we show how coherence is achieved by providing a seamless interactive space.

Published
2013

609. A new perspective for the games and entertainment community

Author

Katherine Isbister, Regina Bernhaupt, Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), New York University - NYU (USA), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), and Université Toulouse 1 Capitole - UT1 (FRANCE)

Subjects
Conference management, Multimedia, business.industry, Perspective (graphical), ComputingMilieux_PERSONALCOMPUTING, Public relations, Modélisation et simulation, computer.software_genre, Systèmes embarqués, Interface homme-machine, User Research, Competition (economics), Entertainment, Architectures Matérielles, Future perspectives, Cryptographie et sécurité, Génie logiciel, Sociology, Games, business, computer
Abstract

Games and Entertainment has become an important area for researchers in Human-Computer Interaction. The community has grown dramatically in the past three years. During CHI 2012 a two-day workshop on Games User Research was held, and a growing number of game-oriented submissions shows the increasing importance of the field. In 2013 the successful Student Games Competition will continue and we plan to program engaging game experiences during CHI 2013. The games and entertainment community is the only community that got the agreement of the Conference Management Committee of SIGCHI to extend existence beyond the initial three years. The Games and Entertainment Community is thus extended for the years 2014 and following. It is of immense importance for the community to have the possibility to discuss new perspectives for the Games and Entertainment Community in a SIG.

Published
2013

610. Decision Support System for Infrastructure Networks Vulnerability to Natural Disaster

Author

Kamissoko, Daouda, Pérès, François, Zaraté, Pascale, Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), and Université Toulouse 1 Capitole - UT1 (FRANCE)

Subjects
Risk, Base de données, Vulnerability, Performance et fiabilité, Modélisation et simulation, Decision aiding, DSS
Abstract

This poster presents the mean contribution of the project VESTA (Vulnérabilité des rESeaux face aux caTastrophes nAturelles)

Published
2013

611. Analysis of distributed multi-periodic systems to achieve consistent data matching

Author

Nadege Pontisso, Gérard Padiou, Philippe Quéinnec, Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Centre National de la Recherche Scientifique - CNRS (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Institut National Polytechnique de Toulouse - INPT (FRANCE), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées, Assistance à la Certification d’Applications DIstribuées et Embarquées (IRIT-ACADIE), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), and Institut National Polytechnique (Toulouse) (Toulouse INP)

Subjects
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Data consistency, Computer science, Group method of data handling, Distributed computing, 02 engineering and technology, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Component-based architecture, Interface homme-machine, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Architectures Matérielles, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Génie logiciel, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], Architecture, temps réel, Queue, Modélisation et simulation, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Systèmes embarqués, cohérence des données, 020202 computer hardware & architecture, Data flow diagram, Component-based software engineering, Cryptographie et sécurité, Distributed system, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, Timestamp, conception, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], Software architecture, composants, Real-time, système distribué
Abstract

International audience; Distributed real-time architecture of an embedded system is often described as a set of communicating components. Such a system is data flow (for its description) and time-triggered (for its execution). This work fits in with these problematics and focuses on the control of the time compatibility of a set of interdependent data used by the system components. The architecture of a component-based system forms a graph of communicating components, where more than one path can link two components. These paths may have different timing characteristics but the flows of information which transit on these paths may need to be adequately matched, so that a component uses inputs which all (directly or indirectly) depend on the same production step. In this paper, we define this temporal datamatching property, we show how to analyze the architecture to detect situations that cause data matching inconsistencies, and we describe an approach to manage data matching that uses queues to delay too fast paths and timestamps to recognize consistent data.

Published
2013

612. On a Dynamic Logic for Graph Rewriting

Author

Mathias Winckel, Ralph Matthes, Assistance à la Certification d’Applications DIstribuées et Embarquées (IRIT-ACADIE), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Centre National de la Recherche Scientifique (CNRS), Institut National Polytechnique de Toulouse - INPT (FRANCE), Centre National de la Recherche Scientifique - CNRS (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), and Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)

Subjects
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Adequation issues, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Modélisation et simulation, Systèmes embarqués, Interface homme-machine, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Dynamic logic, Graph rewriting, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Architectures Matérielles, Computer Science::Logic in Computer Science, Cryptographie et sécurité, Génie logiciel, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC]
Abstract

International audience; Initially introduced by P. Balbiani, R. Echahed and A.Herzig, this dynamic logic is useful to talk about properties on termgraphs and to characterize transformations on these graphs. Also are presented the deterministic labelled graphs for which the logical framework is designed. This logic has been the starting point of a formal development, using the Coq proof assistant, to design a logical and algorithmic framework useful for verifyin and proving graph rewriting. The formalization allowed us to figure out some ambiguities in the involved concepts. This formalization is not the topic here but the clear view brought to us by the formal work, so the results will be expressed using the original mathematical objects of this logic. Some problems of this logic are demonstrated, relatively to the representation of graph rewriting. Some are minor issues but some are far more important for the adequation between the formulas about graph rewriting and the actual rewriting systems. Invalidating some resulting propositions, solutions are given to reestablish the logical characterization of graph rewriting, which was the initial purpose.

Published
2013

613. Collaboration et tangibilité : de nouvelles perspectives pour le contrôle aérien

Author

Gaspard-Boulinc, Hélène, Chatty, Stéphane, Hurter, Christophe, Marcy, Joran, Conversy, Stéphane, Lesbordes, Rémi, Centre National de la Recherche Scientifique - CNRS (FRANCE), Ecole Nationale de l'Aviation Civile - ENAC (FRANCE), Institut National Polytechnique de Toulouse - INPT (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Direction Générale de l’Aviation Civile - DGAC (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), ENAC - Equipe Informatique Interactive (LII), Ecole Nationale de l'Aviation Civile (ENAC), Direction de la technique et de l'innovation de la DGAC (DTI), Direction Générale de l'Aviation Civile (DGAC), AFIHM, and Session Annexes des actes : Démonstrations

Subjects
Contrôle aérien, Tangibilité, Modélisation et simulation, Systèmes embarqués, Interface homme-machine, Collaboration, collaboration, ACM: H.: Information Systems/H.5: INFORMATION INTERFACES AND PRESENTATION (e.g., HCI), Architectures Matérielles, Cryptographie et sécurité, Génie logiciel, réalité augmentée, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], tangibilité, Réalité augmentée
Abstract

International audience; Maintenant que les écrans tactiles sont largement répandus, se pose pour le contrôle aérien la question de les exploiter au mieux. Nous présentons deux démonstrateurs qui, en exploitant la tangibilité et le tactile multipoint, illustrent des opportunités de transition facilitée entre papier et numérique, et de meilleure gestion de la collaboration entre contrôleurs et avec les pilotes. Ces démonstrations esquissent un avenir possible pour les futurs systèmes sol-bord en aéronautique.

Published
2013

614. Evaluation process in end-of-life systems management using BOCR analysis

Author

François Pérès, Yasmina Bouzarour-Amokrane, Ayeley Tchangani, and Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)

Subjects
Sustainable development, BOCR analysis, business.industry, Process (engineering), Reverse logistics, Satisficing game, Public opinion, computer.software_genre, Modélisation et simulation, Withdrawal plan, Product (business), Risk analysis (engineering), Systems management, Economics, Satisficing, Marketing, business, computer, Game theory, End-of-life product
Abstract

Nowadays, sustainability is an indicator or even a concept that guides many public as well as private decisions or actions. In manufacturing sectors, firms are paying an increasing attention to this concept with regards to their products once they are the end of their life; this attention is not only due to the respect of norms and laws policy makers are continuously editing to protect the environment or the sensitivity of consumers to ecological issues but also because of possibilities of new business this concept offers. Indeed, firms noticed that they can create value with the end-of-life products by dismantling them and recovering parts and/or materials that can be re-introduced into manufacturing process, into maintenance process, etc.; or just by the improvement of their image with regards to public opinion. The process of recuperating end-of-life products, known as reverse logistics, is therefore a sustainable development process which will be triggered by the consumer and consists in a series of activities; one such activity concerns withdrawal problem that consists in responding some questions such as: where the end-of-life product must be dismantled?, how to bring the product from its actual position to the dismantling place?, who is in charge of this activity?, etc. This paper considers the issue of evaluating and optimizing the withdrawal process in the field of aircraft dismantling. The withdrawal plan evaluation is formulated here as multi-criteria / multi-objectives decision making problem and solved using BOCR analysis as the structuring framework for the elicitation process and satisficing game theory as the most suitable mathematical tool for recommendation process.

Published
2013

615. Mimicking Complexity : Automatic Generation of Models for the Development of Self-Adaptive Systems

Author

Boes, Jérémy, Glize, Pierre, Migeon, Frédéric, Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Centre National de la Recherche Scientifique - CNRS (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), and Université Toulouse 1 Capitole - UT1 (FRANCE)

Subjects
Complex systems modeling, Self-composition, Multi-agent systems, Self-tuning, Modélisation et simulation
Abstract

Many methods for complex systems control use a black box approach where the internal states and mechanisms of the controlled process are not needed to be known. Usually, such systems are tested on simulations before their validation on the real world process they were made for. These simulations are based on sharp analytical models of the target process that can be very difficult to obtain. But is it useful in the case of black box methods? Since the control system only sees inputs and outputs and is able to learn, we only need to mimic the typical features of the process (such as non-linearity, interdependencies, etc) in an abstract way. This paper aims to show how a simple and versatile simulator can help the design of systems that have to deal with complexity. We present a generator of models used in the simulator and discuss the results obtained in the case of the design of a control system for heat engines.

Published
2013

616. Characterizing the balance between ontogeny and environmental constraints in forest tree development using growth phase duration distributions

Author

Guédon, Yann, Taugourdeau, Olivier, Caraglio, Yves, Sabatier, Sylvie, Modeling plant morphogenesis at different scales, from genes to phenotype (VIRTUAL PLANTS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de la Recherche Agronomique (INRA)-Amélioration génétique et adaptation des plantes méditerranéennes et tropicales (UMR AGAP), Centre de Coopération Internationale en Recherche Agronomique pour le Développement (Cirad)-Institut National de la Recherche Agronomique (INRA)-Centre international d'études supérieures en sciences agronomiques (Montpellier SupAgro)-Institut national d’études supérieures agronomiques de Montpellier (Montpellier SupAgro), Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Centre de Coopération Internationale en Recherche Agronomique pour le Développement (Cirad)-Institut National de la Recherche Agronomique (INRA)-Centre international d'études supérieures en sciences agronomiques (Montpellier SupAgro)-Institut national d’études supérieures agronomiques de Montpellier (Montpellier SupAgro), Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro), Développement et amélioration des plantes (UMR DAP), Centre National de la Recherche Scientifique (CNRS)-Université Montpellier 2 - Sciences et Techniques (UM2)-Institut National de la Recherche Agronomique (INRA)-Centre de Coopération Internationale en Recherche Agronomique pour le Développement (Cirad), Botanique et Modélisation de l'Architecture des Plantes et des Végétations (UMR AMAP), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Institut National de la Recherche Agronomique (INRA)-Centre de Coopération Internationale en Recherche Agronomique pour le Développement (Cirad)-Institut de Recherche pour le Développement (IRD [France-Sud]), Risto Sievänen and Eero Nikinmaa and Christophe Godin and Anna Lintunen and Pekka Nygren, Centre de Coopération Internationale en Recherche Agronomique pour le Développement (Cirad)-Institut National de la Recherche Agronomique (INRA)-Centre international d'études supérieures en sciences agronomiques (Montpellier SupAgro)-Institut national d’études supérieures agronomiques de Montpellier (Montpellier SupAgro)-Centre de Coopération Internationale en Recherche Agronomique pour le Développement (Cirad)-Institut National de la Recherche Agronomique (INRA)-Centre international d'études supérieures en sciences agronomiques (Montpellier SupAgro)-Institut national d’études supérieures agronomiques de Montpellier (Montpellier SupAgro), Centre de Coopération Internationale en Recherche Agronomique pour le Développement (Cirad)-Institut National de la Recherche Agronomique (INRA)-Université Montpellier 2 - Sciences et Techniques (UM2)-Centre National de la Recherche Scientifique (CNRS), Centre de Coopération Internationale en Recherche Agronomique pour le Développement (Cirad)-Institut National de la Recherche Agronomique (INRA)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche pour le Développement (IRD [France-Sud]), Amélioration génétique et adaptation des plantes méditerranéennes et tropicales (UMR AGAP), Institut national d’études supérieures agronomiques de Montpellier (Montpellier SupAgro)-Institut National de la Recherche Agronomique (INRA)-Centre de Coopération Internationale en Recherche Agronomique pour le Développement (Cirad)-Centre international d'études supérieures en sciences agronomiques (Montpellier SupAgro)-Institut national d’études supérieures agronomiques de Montpellier (Montpellier SupAgro)-Institut National de la Recherche Agronomique (INRA)-Centre de Coopération Internationale en Recherche Agronomique pour le Développement (Cirad)-Centre international d'études supérieures en sciences agronomiques (Montpellier SupAgro)-Inria Sophia Antipolis - Méditerranée (CRISAM), and Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)

Subjects
hidden semi-Markov chain, segmentation model, U10 - Informatique, mathématiques et statistiques, Modeling and Simulation, developmental plasticity, growth trajectory, K01 - Foresterie - Considérations générales, F62 - Physiologie végétale - Croissance et développement, Modélisation et simulation, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, F50 - Anatomie et morphologie des plantes
Abstract

ISBN 978-951-651-408-9; International audience; We built segmentation models to identify tree growth phases on the basis of retrospective measurement of annual shoot characteristics along the main stem. Growth phase duration distributions estimated within these models characterize the balance between ontogeny and environmental constraints in tree development at the population scale. These distributions have very contrasted characteristics in terms of shape and relative dispersion between ontogeny-driven and environment-driven tree development.

Published
2013

617. A process for defining a unique correspondence model to relate heterogeneous models

Author

El Hamlaoui, Mahmoud, Ebersold, Sophie, Coulette, Bernard, Anwar, Adil, Nassar, Mahmoud, Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Centre National de la Recherche Scientifique - CNRS (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), and Université Toulouse 1 Capitole - UT1 (FRANCE)

Subjects
DSL, Architectures Matérielles, Correspondence, Cryptographie et sécurité, Génie logiciel, Matching, Consistency, Heterogeneity, Modélisation et simulation, Systèmes embarqués, Interface homme-machine
Abstract

The overall goal of our approach is to relate models of a given domain. Those models are manipulated by different actors, and are thus generally heterogeneous, that is, described with different DSLs (Domain Specific Languages). Instead of building a single global model, we propose to organize the different source models as a network of models, which provides a global view of the system through a virtual global model. The matching of these models is done in a unique correspondence model composed of relationships that are instantiated from a correspondence meta-model. This meta-model is composed of a generic part – common to all the domains – and of a specific part which depends on the specific domain modelled. In this paper, we focus on the elaboration of the correspondence model based on a correspondence meta-model, through a vertical relationship named “refine”. The approach is illustrated on a representative use case (a Bug Tracking System).

Published
2013

618. GAMA: A Spatially Explicit, Multi-level, Agent-Based Modeling and Simulation Platform

Author

Philippe Caillou, Benoit Gaudou, Duc An Vo, Patrick Taillandier, Nicolas Marilleau, Arnaud Grignard, Maroussia Vavasseur, Alexis Drogoul, Jean-Daniel Zucker, Edouard Amouroux, Unité de modélisation mathématique et informatique des systèmes complexes [Bondy] (UMMISCO), Institut de Recherche pour le Développement (IRD)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Université de Yaoundé I-Institut de la francophonie pour l'informatique-Université Cheikh Anta Diop [Dakar, Sénégal] (UCAD)-Université Gaston Bergé (Saint-Louis, Sénégal)-Université Cadi Ayyad [Marrakech] (UCA), Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS), Machine Learning and Optimisation (TAO), Laboratoire de Recherche en Informatique (LRI), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Systèmes Multi-Agents Coopératifs (IRIT-SMAC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Identité et Différenciation de l’Espace, de l’Environnement et des Sociétés (IDEES), Université de Caen Normandie (UNICAEN), Normandie Université (NU)-Normandie Université (NU)-Université Le Havre Normandie (ULH), Normandie Université (NU)-Université de Rouen Normandie (UNIROUEN), Normandie Université (NU)-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche Interdisciplinaire Homme et Société (IRIHS), Université de Rouen Normandie (UNIROUEN), Normandie Université (NU)-Normandie Université (NU)-Université de Rouen Normandie (UNIROUEN), Normandie Université (NU), Modélisation et Simulation Informatique de systèmes complexes (MSI), IFI, DREAM team, Université Cadi Ayyad [Marrakech] (UCA)-Université de Yaoundé I-Université Gaston Bergé (Saint-Louis, Sénégal)-Université Cheikh Anta Diop [Dakar, Sénégal] (UCAD)-Institut de la francophonie pour l'informatique-Université Pierre et Marie Curie - Paris 6 (UPMC)-Université Cadi Ayyad [Marrakech] (UCA)-Université de Yaoundé I-Université Gaston Bergé (Saint-Louis, Sénégal)-Université Cheikh Anta Diop [Dakar, Sénégal] (UCAD)-Institut de la francophonie pour l'informatique-Université Pierre et Marie Curie - Paris 6 (UPMC), Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Paris-Sud - Paris 11 (UP11)-Laboratoire de Recherche en Informatique (LRI), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-CentraleSupélec, Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Université Cadi Ayyad [Marrakech] (UCA)-Université de Yaoundé I-Université Gaston Bergé (Saint-Louis, Sénégal)-Université Cheikh Anta Diop [Dakar, Sénégal] (UCAD)-Institut de la francophonie pour l'informatique-Université Pierre et Marie Curie - Paris 6 (UPMC), Identités et Différenciation de l'Environnement des Espaces et des Sociétés (IDEES), Normandie Université (NU)-Normandie Université (NU)-Université de Caen Normandie (UNICAEN), Normandie Université (NU)-Université Le Havre Normandie (ULH), Normandie Université (NU)-Institut de Recherche Interdisciplinaire Homme et Société (IRIHS), Normandie Université (NU)-Centre National de la Recherche Scientifique (CNRS), Institut de Recherche pour le Développement (IRD [France-Nord])-Institut de la francophonie pour l'informatique-Université Cheikh Anta Diop [Dakar, Sénégal] (UCAD)-Université Gaston Bergé (Saint-Louis, Sénégal)-Université Cadi Ayyad [Marrakech] (UCA)-Université de Yaoundé I-Sorbonne Université (SU), Demazeau, Y. (ed.), Ishida, T. (ed.), Corchado, J.M. (ed.), Bajo, J. (ed.), Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - INPT (FRANCE), Institut de Recherche pour le Développement - IRD (FRANCE), Université Pierre et Marie Curie, Paris 6 - UPMC (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université des Sciences et des Technologies de Hanoi - USTH (VIETNAM), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Université de Yaoundé I (CAMEROON), University of Cadi Ayyad - UCAM (MOROCCO), Université Cheikh Anta Diop de Dakar - UCAD (SENEGAL), Université Gaston Berger de Saint-Louis - UGB (SENEGAL), Université Paris-Sud 11 (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), and Université de Yaoundé I-Institut de la francophonie pour l'informatique-Université Cheikh Anta Diop [Dakar, Sénégal] (UCAD)-Université Gaston Bergé (Saint-Louis, Sénégal)-Université Cadi Ayyad [Marrakech] (UCA)-Sorbonne Université (SU)-Institut de Recherche pour le Développement (IRD [France-Nord])

Subjects
Theoretical computer science, Computer science, Modeling language, SYSTEME D'INFORMATION GEOGRAPHIQUE, Distributed computing, [SDV]Life Sciences [q-bio], Complex system, Agency (philosophy), LANGAGE DE PROGRAMMATION, INTELLIGENCE ARTIFICIELLE, 02 engineering and technology, SYSTEME MULTI AGENTS, 010501 environmental sciences, Reuse, 01 natural sciences, Modeling and simulation, LOGICIEL, Representation (mathematics), H- INFORMATIQUE, GIS data, 0105 earth and related environmental sciences, Abstraction (linguistics), Simulation platform, Agent-based modeling, Mult-level model, 021001 nanoscience & nanotechnology, Modélisation et simulation, multi-level model, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Multi-level model, SIMULATION, 0210 nano-technology
Abstract

International audience; Agent-based modeling is now widely used to investigate complex systems but still lacks integrated and generic tools to support the representation of features usually associated with real complex systems, namely rich, dynamic and realistic environments or multiple levels of agency. The GAMA platform has been developed to address such issues and allow modelers, thanks to the use of a high-level modeling language, to build, couple and reuse complex models combining various agent architectures, environment representations and levels of abstraction.

Published
2013

619. Incorporating Proofs in a Categorical Attributed Graph Transformation System for Software Modelling and Verification

Author

Boisvert, Bertrand, Féraud, Louis, Soloviev, Sergei, Institut National Polytechnique de Toulouse - INPT (FRANCE), Centre National de la Recherche Scientifique - CNRS (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), and Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)

Subjects
Architectures Matérielles, Cryptographie et sécurité, Génie logiciel, Proof analysis, Modélisation et simulation, Systèmes embarqués, Interface homme-machine, Single pushout, Graph transformations, Category theory, Model transformation, Attribute computation
Abstract

This paper deals with model transformations based on attributed graphs transformation. Our approach is based on the categorical approach called Single Pushout. The principal goal being to strengthen the attribute computation part, we generalize our earlier approach based on the use of typed lambda-terms with inductive types and recursion to represent attributes and computation functions. The generalized approach takes terms in variable context as attributes and partial proofs as computation functions that permit to combine computation with proof development and verification. The intended domains of application are the development of cerified software models and semantics models for interactive proof development and verification.

Published
2013

620. Evaluating User Experience for Interactive Television: Towards the Development of a Domain-Specific User Experience Questionnaire

Author

Michael Pirker, Regina Bernhaupt, Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - INPT (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Ruwido (AUSTRIA), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Interactive Critical Systems (IRIT-ICS), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, ruwido, Paula Kotzé, Gary Marsden, Gitte Lindgaard, Janet Wesson, Marco Winckler, TC 13, Université Toulouse 1 Capitole (UT1)-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), and Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1)-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3)

Subjects
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Identification, Computer science, 02 engineering and technology, computer.software_genre, stimulation, Interface homme-machine, User experience design, Architectures Matérielles, Internet Protocol Television, Human–computer interaction, 0202 electrical engineering, electronic engineering, information engineering, Dimension (data warehouse), Interactive television, 050107 human factors, User experience, Multimedia, 05 social sciences, iTV, IPTV, Modélisation et simulation, Systèmes embarqués, I TV, Identification (information), User experience evaluation, Cryptographie et sécurité, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, emotion, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Domain (software engineering), [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Mode (computer interface), Interactive TV, user experience, Génie logiciel, 0501 psychology and cognitive sciences, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], Emotion, Questionnaire, business.industry, questionnaire, UX, 020207 software engineering, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Stimulation, identification, interactive TV, business, computer
Abstract

Part 14: Managing the UX; International audience; This paper presents a questionnaire-based approach to evaluate the user experience (UX) while interacting with interactive Television (iTV) systems. Current contributions in the field of UX propose generic methods applicable to various application domains, whereas our contribution is dedicated to the specific domain of interactive TV systems. Based on a classification of UX dimensions from a literature review, the first version of the questionnaire is focusing on the dimension’s aesthetics, emotion, stimulation and identification. A validation study with 106 participants was performed to assess the relations between the evaluated UX dimensions, as well as their fit to the underlying theoretical assumptions. Results showed that the UX dimensions aesthetics, emotion and stimulation are important for the domain of iTV, while identification was not confirmed. The study revealed significant correlations between the type of IPTV system used and the emotional and stimulation dimension. Additionally, a significant effect of the TV reception mode and the type of IPTV box owned on the emotion towards the system was observed. Beyond the contribution of the questionnaire that is directly applicable for any iTV system, the findings described in the paper demonstrate the need for user experience evaluation methods targeted at specific domains: the validation of the questionnaire shows that identification is not a central dimension of user experience when interacting with interactive TV.

Published
2013

621. An Automatic Technique for Checking the Simulation of Timed Systems

Author

Jean-Paul Bodeveix, Elie Fares, Manuel Garnacho, Mamoun Filali-Amine, Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Centre National de la Recherche Scientifique - CNRS (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées, Assistance à la Certification d’Applications DIstribuées et Embarquées (IRIT-ACADIE), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Toulouse III - Paul Sabatier (UT3), Centre National de la Recherche Scientifique (CNRS), and Institut National Polytechnique de Toulouse - INPT (FRANCE)

Subjects
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Observer (quantum physics), Relation (database), Property (programming), Computer science, 0102 computer and information sciences, 02 engineering and technology, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], 01 natural sciences, Interface homme-machine, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Architectures Matérielles, 0202 electrical engineering, electronic engineering, information engineering, Génie logiciel, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], Programming Techniques, TRACE (psycholinguistics), Software Engineering, 020207 software engineering, Modélisation et simulation, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Systèmes embarqués, 010201 computation theory & mathematics, Feature (computer vision), Cryptographie et sécurité, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, Algorithm
Abstract

International audience; In this paper, we suggest an automatic technique for checking the timed weak simulation between timed transition systems. The technique is an observation-based method in which two timed transition systems are composed with a timed observer. A μ-calculus property that captures the timed weak simulation is then verified on the result of the composition. An interesting feature of the suggested technique is that it only relies on an untimed μ-calculus model-checker without any specific algorithm needed to analyze the result of the composition. We also show that our simulation relation supports interesting results concerning the trace inclusion and the preservation of linear properties. Finally, the technique is validated using the FIACRE/TINA toolset.

Published
2013

622. Assessing and Improving 3D Rotation Transition in Dense Visualizations

Author

Maxime Cordeil, Christophe Hurter, Stéphane Conversy, Mickaël Causse, Ecole Nationale de l'Aviation Civile - ENAC (FRANCE), Institut Supérieur de l'Aéronautique et de l'Espace - ISAE-SUPAERO (FRANCE), ENAC - Equipe Informatique Interactive (LII), Ecole Nationale de l'Aviation Civile (ENAC), Institut Supérieur de l'Aéronautique et de l'Espace (ISAE-SUPAERO), ACM, and Porte, Laurence

Subjects
Modélisation et simulation, Systèmes embarqués, Interface homme-machine, Visual exploration, Animated transitions, visual exploration, Architectures Matérielles, Information Visualization, Cryptographie et sécurité, Génie logiciel, information visualization, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], [INFO.INFO-HC] Computer Science [cs]/Human-Computer Interaction [cs.HC], animated transitions
Abstract

International audience; When visually exploring a multidimensional dataset with a 2D visualization (e.g. scatterplots), us-ers may switch views with a smooth 3D rotation. We identified three expected benefits of such transitions: tracking graphical marks, understanding their relative arrangements, and perceiving structural elements. We studied existing implementations of progressive 3D rotation and found problems that prevent those benefits when dealing with dense scenes. To address this issue, we propose an improvement by wisely placing the rotation axis. We performed two controlled experi-ments, which confirm the expected benefits and validate our improvements to the technique. Based on these experiment results, we describe a set of interaction techniques to control the rota-tion axis placement and apply them to the exploration of aircraft data.

Published
2013

623. Efficient Online Analysis of Accidental Fault Localization for Dynamic Systems using Hidden Markov Model

Author

Ge, Ning, Nakajima, Shin, Pantel, Marc, Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), and National Institute of Informatics - NII (JAPAN)

Subjects
Hidden Markov model, Online analysis, Architectures Matérielles, Cryptographie et sécurité, Génie logiciel, Accidental fault localization, Modélisation et simulation, Systèmes embarqués, Interface homme-machine, Simulation
Abstract

This paper proposes a novel approach to do online analysis of accidental fault localization for dynamic systems by using Hidden Markov Model (HMM). By introducing reasonable and appropriate abstraction of complex system, HMM is used to represent the fault and no-fault states of system's components and system's behaviour. The HMM is parametrized to be statistically equivalent to real system's behaviour. Inspired by the principles of Fault Tree Analysis and maximum entropy in Bayesian probability theory, we propose the algorithms to estimate HMM's parameters, instead of learning, because in real systems the learning data for accidental fault is difficult to obtain. We design a specific test bed to generate large quantity of test cases, and give out the experimental results to assess the accuracy and efficiency. Meanwhile, we apply the approach to a simple helicopter control system case study, and give out convincing results.

Published
2013

624. Enhancing the User Experience of TV User Interfaces : The Continuous Interaction Principle

Author

Thomas Mirlacher, Regina Bernhaupt, Michael Pirker, Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), and Ruwido (AUSTRIA)

Subjects
Focus (computing), User interfaces, Multimedia, Computer science, business.industry, Usability, Interaction technique, computer.software_genre, Modélisation et simulation, Systèmes embarqués, Interface homme-machine, User interface design, User experience design, Human–computer interaction, Architectures Matérielles, Interactive-input devices, Cryptographie et sécurité, Génie logiciel, User interface, business, Interactive television, computer, Haptic technology
Abstract

In this article we describe the contextual constraints for developing a new form of interaction technique for the TV environment (problem statement) and present a brief state of the art on currently researched interaction technologies for enhancing the TV experience (touch, point-and click, gesture, speech). Then design and development of the continuous interaction principle is presented followed by results from a first user evaluation. In the experimental user evaluation study, the research focus was to evaluate the continuous interaction principle by comparing two types of continuous input: touch and haptic feedback. While there was no difference in terms of usability for continuous input (haptic feedback) vs. touch input, the continuous input with haptic feedback is rated higher in terms of user experience than the touch input. The evaluation results in general indicate that new ways to interact with content can reduce complexity of the user interface and enhance the experiences of the user when interacting with an interactive TV system.

Published
2013

625. Modelling of Automation Degradation : a Case Study

Author

Pasquini, A., Martina Ragosta, Silvagni, S., Sujan, M., Rigaud, E., Hollnagel, E., Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - INPT (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), University of Warwick (UNITED KINGDOM), DEEP BLUE (ITALY), Mines ParisTech (FRANCE), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), Deep Blue Srl ,Roma, Italie, Interactive Critical Systems (IRIT-ICS), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Warwick Medical School, University of Warwick [Coventry], Centre de recherche sur les Risques et les Crises (CRC), MINES ParisTech - École nationale supérieure des mines de Paris, Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL), and Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)

Subjects
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], RPAS, Resilience, ATC, Performance, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Modélisation et simulation, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Systèmes embarqués, Interface homme-machine, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Architectures Matérielles, Cryptographie et sécurité, Automation degradation, Génie logiciel, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC]
Abstract

National audience; This paper presents a modeling approach that has been developed within the SPAD project for analyzing consequences of automation degradation in large socio-technical systems. This modeling approach involves two different notations: FRAM [6] and HAMSTERS [2], [8]. In previous work [7] we have proposed a synergistic approach integrating these two views for describing the evolution of system performances under automation degradation. The focus of the paper is on how the outcome of the models can be integrated to analyse system behavior. After describing the principles of such integration we exemplify it by using a standalone ATM simulator, and analyzing the possible degradations of a system for managing unmanned aircraft (RPAS).

Published
2013

626. Common Pattern Modeling Language for Object and Component Architectures

Author

Geisel, Jacob, Hamid, Brahim, Ziani, Adel, Radermacher, Ansgar, Commissariat à l'Energie Atomique et aux énergies alternatives - CEA (FRANCE), Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - INPT (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées, Modèles, Architectures, Composants, Agilité et prOcessus (IRIT-MACAO), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Laboratoire d'Intégration des Systèmes et des Technologies (LIST), Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), and Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)

Subjects
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Architectures Matérielles, Cryptographie et sécurité, Modeling language, Génie logiciel, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], Modélisation et simulation, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Systèmes embarqués, Interface homme-machine
Abstract

National audience; Design patterns are widely used as a meaning to capture and provide valuable expert information in order to describe a solution for a given problem or to provide a selected property. By choosing one or more patterns and applying them during the software development life cycle, software engineers are able to use proven building blocks for achieving software on a large scale. In our work, we deal with a pattern modeling language as a new representation of patterns to ease their application and categorization in software engineering. In this paper, we demonstrate the capabilities of our pattern modeling language for software architectures. For that, we propose a framework based on a process with patterns within a set of model transformation rules to target object and component architectures. This leads to a simple way to model patterns for reuse independently from the targeted system-under-development's architecture. To illustrate the approach we consider an example of a secure communication pattern.

Published
2013

627. SocLab: a framework for the modeling, simulation and analysis of power in social organizations

Author

Pascal Roggero, M. Mailliard, Sandra Sandri, Françoise Adreit, Bertrand Baldet, Christophe Sibertin-Blanc, Paul Chapron, Joseph el-Gemayel, Systèmes Multi-Agents et Comportements (SMAC), 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)-Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS), Laboratoire d'Etude et de Recherche sur l'Economie, les Politiques et les Systèmes Sociaux (LEREPS), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Institut d'Études Politiques [IEP] - Toulouse-École Nationale Supérieure de Formation de l'Enseignement Agricole de Toulouse-Auzeville (ENSFEA), Université de Lausanne (UNIL), Instituto Nacional de Pesquisas Espaciais (INPE), Ministério da Ciência, Tecnologia e Inovação, Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Centre National de la Recherche Scientifique - CNRS (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Institut d'Études Politiques [IEP] - Toulouse-École Nationale Supérieure de Formation de l'Enseignement Agricole de Toulouse-Auzeville (ENSFEA), and Université de Lausanne = University of Lausanne (UNIL)

Subjects
Crozier, Cooperative behavior, Knowledge management, media_common.quotation_subject, Organization Modeling, Meta-Model, Sociology of Organizations, Cooperative Behavior, Power Relationships, 02 engineering and technology, Modeling and simulation, Power (social and political), Presentation, 0502 economics and business, F2- Sociologie, 0202 electrical engineering, electronic engineering, information engineering, Computer Science (miscellaneous), Sociology, Organization modeling, Social organization, media_common, Meta-model, Statement (computer science), [SHS.SOCIO]Humanities and Social Sciences/Sociology, business.industry, Management science, 05 social sciences, General Social Sciences, Modélisation et simulation, Power relationships, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Metamodeling, Action (philosophy), Sociologie, Sociology of organizations, 020201 artificial intelligence & image processing, business, 050203 business & management
Abstract

International audience; This paper is a comprehensive presentation of a framework for the modeling, the simulation and the analysis of power relationships in social organizations, and more generally in systems of organized action. This framework relies on, and slightly extends, the Crozier and Freidber's sociology of organized action, which supports a methodology for understanding why, in an organizational context, people behave as they do. SocLab intends to complement the discursive statement of sociological analyses with a formal formulation easing the objectivization of findings. It consists of a meta-model of organizations, a model of bounded-rational social actors and analytical tools for the study of the internal properties of organizations.

Published
2013

628. Proposta de um Framework para Visualização de Dados Agregados por Similaridade para Auxiliar Consultas durante a Navegação na Web

Author

D'Agostini, Caio Stein, Cava, Ricardo, Dorneles, Carina, Firmenich, Sergio, Freitas, Carla, Palanque, Philippe, Winckler, Marco Antonio, Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Universidade Federal de Santa Catarina - UFSC (BRAZIL), Universidade Federal do Rio Grande do Sul - UFRGS (BRAZIL), Universidad Nacional de la Plata - UNLP (ARGENTINA), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), and Université Toulouse 1 Capitole - UT1 (FRANCE)

Subjects
Architectures Matérielles, Similarity functions, Contextual help, Cryptographie et sécurité, Génie logiciel, Web navigation, Modélisation et simulation, Systèmes embarqués, Interface homme-machine
Abstract

In the last decade, several specialized tools have been created upon similarity functions that, given a keyword and a context, determine the degree of similarity (or probability) that information in a dataset corresponds to the user's query. Quite often such tools are meant for experts and require training and knowledge on the application domain to be used. However, given the huge amount of information available on the Web, resolving ambiguities becomes a daily task for most users. In this paper, we present a technique for embedding into a Web browser tools for solving ambiguities between keywords that users might found while navigating the Web. A prototype illustrating such techniques has been developed as a proof of concept. The tool presents the degree of similarity directly on Web pages as a contextual help menu. The overall approach includes different datasets and similarity functions and is flexible enough to support extensions for covering additional contexts of use.

Published
2013

629. Verification of redecoration for infinite triangular matrices using coinduction

Author

Matthes, Ralph, Picard, Celia, Assistance à la Certification d’Applications DIstribuées et Embarquées (IRIT-ACADIE), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Centre National de la Recherche Scientifique (CNRS), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Centre National de la Recherche Scientifique - CNRS (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), and Institut National Polytechnique de Toulouse - INPT (FRANCE)

Subjects
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], 02 engineering and technology, Interface homme-machine, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Architectures Matérielles, Computer Science::Logic in Computer Science, 0202 electrical engineering, electronic engineering, information engineering, Génie logiciel, Coq, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], Theorem proving, 060201 languages & linguistics, 000 Computer science, knowledge, general works, 06 humanities and the arts, Modélisation et simulation, Systèmes embarqués, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Nested datatype, 0602 languages and literature, Computer Science, Cryptographie et sécurité, Coinduction, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, 020201 artificial intelligence & image processing
Abstract

Finite triangular matrices with a dedicated type for the diagonal elements can be profitably represented by a nested data type, i. e., a heterogeneous family of inductive data types, while infinite triangular matrices form an example of a nested coinductive type, which is a heterogeneous family of coinductive data types. Redecoration for infinite triangular matrices is taken up from previous work involving the first author, and it is shown that redecoration forms a comonad with respect to bisimilarity. The main result, however, is a validation of the original algorithm against a model based on infinite streams of infinite streams. The two formulations are even provably equivalent, and the second is identified as a special instance of the generic cobind operation resulting from the well-known comultiplication operation on streams that creates the stream of successive tails of a given stream. Thus, perhaps surprisingly, the verification of redecoration is easier for infinite triangular matrices than for their finite counterpart. All the results have been obtained and are fully formalized in the current version of the Coq theorem proving environment where these coinductive datatypes are fully supported since the version 8.1, released in 2007. Nonetheless, instead of displaying the Coq development, we have chosen to write the paper in standard mathematical and type-theoretic language. Thus, it should be accessible without any specific knowledge about Coq.

Published
2013
Full Text
View/download PDF

630. Model-based dynamic distribution of user interfaces of critical interactive systems

Author

David Navarre, Martina Ragosta, Philippe Palanque, Célia Martinie, Alberto Pasquini, Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), and DEEP BLUE (ITALY)

Subjects
Focus (computing), Interactive software engineering, Natural user interface, Computer science, business.industry, User modeling, Usability, Post-WIMP, Modélisation et simulation, Distributed user interfaces, Systèmes embarqués, Interface homme-machine, Dynamic reconfiguration of user interfaces, User interface design, Model-based approaches, Formal description techniques, Automation, Human–computer interaction, Magic pushbutton, Architectures Matérielles, Cryptographie et sécurité, Génie logiciel, User interface, business
Abstract

Evolution in the context of use requires evolutions in the user interfaces even when they are currently used by operators. This paper proposes a model-based approach to support proactive management of context of use evolutions. By proactive management we mean mechanisms in place to plan and implement evolutions and adaptations of the entire user interface (including behaviour) in a generic way. This generic model-based approach is exemplified on a safety critical system from the space domain. It presents how the new user interfaces can be generated at runtime to provide a new user interface gathering in a single place all the information required to perform the task. These user interfaces have to be generated at runtime as new rocedures (i.e. sequences of operations to be executed in a semi-autonomous way) can be defined by operators at any time in order to react to adverse events and to keep the space system in operation. Such contextual, activity-related user interfaces complement the original user interfaces designed for operating the command and control system. The resulting user interface thus corresponds to a distribution of user interfaces in a focus + context way improving usability increasing efficiency and effectiveness.

Published
2013

631. GAMA: multi-level and complex environment for agent-based models and simulations (demonstration)

Author

Drogoul, Alexis, Amouroux, Edouard, Caillou, Philippe, Gaudou, Benoit, Grignard, Arnaud, Marilleau, Nicolas, Taillandier, Patrick, Vavasseur, Maroussia, Vo, Duc-An, Zucker, Jean-Daniel, Agence universitaire de la francophonie - AUF (CANADA), Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - INPT (FRANCE), Institut de Recherche pour le Développement - IRD (FRANCE), Université du Havre - ULH (FRANCE), Université de Rouen - UR (FRANCE), Université Pierre et Marie Curie, Paris 6 - UPMC (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Université de Caen Basse-Normandie (FRANCE), Université de Yaoundé I (CAMEROON), University of Cadi Ayyad - UCAM (MOROCCO), Université Cheikh Anta Diop de Dakar - UCAD (SENEGAL), Université Gaston Berger de Saint-Louis - UGB (SENEGAL), Vietnam National University - VNU (VIETNAM), Unité de modélisation mathématique et informatique des systèmes complexes [Bondy] (UMMISCO), Université Cadi Ayyad [Marrakech] (UCA)-Université de Yaoundé I-Université Gaston Bergé (Saint-Louis, Sénégal)-Université Cheikh Anta Diop [Dakar, Sénégal] (UCAD)-Institut de la francophonie pour l'informatique-Université Pierre et Marie Curie - Paris 6 (UPMC), Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS), Machine Learning and Optimisation (TAO), Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Paris-Sud - Paris 11 (UP11)-Laboratoire de Recherche en Informatique (LRI), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-CentraleSupélec, Laboratoire de Recherche en Informatique (LRI), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Systèmes Multi-Agents Coopératifs (IRIT-SMAC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Identités et Différenciation de l'Environnement des Espaces et des Sociétés (IDEES), Université de Rouen Normandie (UNIROUEN), Normandie Université (NU)-Normandie Université (NU)-Université de Caen Normandie (UNICAEN), Normandie Université (NU)-Université Le Havre Normandie (ULH), Normandie Université (NU)-Institut de Recherche Interdisciplinaire Homme et Société (IRIHS), Normandie Université (NU)-Normandie Université (NU)-Université de Rouen Normandie (UNIROUEN), Normandie Université (NU)-Centre National de la Recherche Scientifique (CNRS), Modélisation et Simulation Informatique de systèmes complexes (MSI), IFI, Institut de Recherche pour le Développement (IRD)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Université de Yaoundé I-Institut de la francophonie pour l'informatique-Université Cheikh Anta Diop [Dakar, Sénégal] (UCAD)-Université Gaston Bergé (Saint-Louis, Sénégal)-Université Cadi Ayyad [Marrakech] (UCA), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Identité et Différenciation de l’Espace, de l’Environnement et des Sociétés (IDEES), Université de Caen Normandie (UNICAEN), Normandie Université (NU)-Normandie Université (NU)-Université Le Havre Normandie (ULH), Normandie Université (NU)-Université de Rouen Normandie (UNIROUEN), Normandie Université (NU)-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche Interdisciplinaire Homme et Société (IRIHS), Normandie Université (NU), and Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)

Subjects
Multi-level model, Théorie de l'information, Agent-based modeling, Simulation platform, H- INFORMATIQUE, multi-level model, Modélisation et simulation, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, GIS data
Abstract

International audience; Agent-based models are now used in numerous application domains (ecology, social sciences, etc.) but their use is still impeded by the lack of generic yet ready-to-use tools sup- porting the design and the simulation of complex models in- tegrating multiple level of agency and realistic environments. The GAMA modeling and simulation platform is proposed to address such issues. It allows modelers to build com- plex models thanks to high-level modeling language, various agent architectures and advanced environment representa- tions and built-in multi-level support.

Published
2013

632. GRIMACE: GeneRIc MetAmodel for Domain Component modElling

Author

Rahma Bouaziz, Modèles, Architectures, Composants, Agilité et prOcessus (IRIT-MACAO), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Institut National Polytechnique de Toulouse - INPT (FRANCE), Centre National de la Recherche Scientifique - CNRS (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), and Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)

Subjects
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Computer science, Process (engineering), [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], 02 engineering and technology, Interface homme-machine, Domain (software engineering), [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Development (topology), Architectures Matérielles, Component (UML), 0202 electrical engineering, electronic engineering, information engineering, Génie logiciel, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], Reusability, 020207 software engineering, Modélisation et simulation, Systèmes embarqués, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Metamodeling, Component-based software engineering, Cryptographie et sécurité, Systems engineering, Domain knowledge, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Abstract

International audience; Component Based Software Engineering (CBSE) is a popular and widely adopted software engineering paradigm that has proven his usefulness and success to increase reusability and efficiency in various application domains. In this paper, we propose a common metamodel to support CBSE requirements taking into account the specificities of each domain. The resulting modeling framework serves primarily to capture the basic concepts of concerns related to component systems development based on the clear separation between the development process, interactions and the domain knowledge.

Published
2013

633. Assemblage de vins sous contraintes

Author

Vismara, Philippe, Coletta, Remi, Trombettoni, Gilles, Quinqueton, Joël, Mathématiques, Informatique et STatistique pour l'Environnement et l'Agronomie (MISTEA), Institut National de la Recherche Agronomique (INRA)-Institut national d’études supérieures agronomiques de Montpellier (Montpellier SupAgro), Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro), Université de Montpellier (UM), Agents, Apprentissage, Contraintes (COCONUT), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), and Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)

Subjects
[SDV.SA]Life Sciences [q-bio]/Agricultural sciences, [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], oenologie, assemblage, Modeling and Simulation, vin, Modélisation et simulation, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Sciences agricoles, outil d'aide à la décision, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], Agricultural sciences, modélisation
Abstract

International audience; En oenologie, l'assemblage consiste à m elanger plusieurs cuv ées a fin d'obtenir un vin cible. Des progr ès dans l'analyse des arômes permettent aujourd'hui de mesurer un ensemble de compos és chimiques influen çant le goût d'un vin. Il devient ainsi possible de concevoir un outil d'aide à la d écision pour le probl eme suivant : étant donn é un ensemble de vins cibles à produire, quelles quantit és doit-on pr élever dans chaque cuv ée afin de produire des vins qui respectent des contraintes de concentration en arômes, de volumes, de degr é alcoolique et de prix. L'article d écrit la mod élisation de ce probl eme sous forme d'une optimisation Min-Max (pour minimiser les écarts obtenus avec les concentrations souhait ées pour chaque crit ère aromatique) sous contraintes num ériques lin éaires et quadratiques, et son traitement effi cace avec le branch and bound à intervalles de Ibex.

Published
2013

634. Model-based Specification and Validation of Security and Dependability Patterns

Author

Christian Percebois, Brahim Hamid, Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Centre National de la Recherche Scientifique - CNRS (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Modèles, Architectures, Composants, Agilité et prOcessus (IRIT-MACAO), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Danger, J.-L, Debbabi, M, Marion, J.-Y, Garcia-Alfaro, Zincir-Heywood, N., and Institut National Polytechnique de Toulouse - INPT (FRANCE)

Subjects
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Scheme (programming language), Formalization, Correctness, Computer science, 0211 other engineering and technologies, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], 02 engineering and technology, Interface homme-machine, Domain (software engineering), Set (abstract data type), [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Architectures Matérielles, 0202 electrical engineering, electronic engineering, information engineering, Dependability, Génie logiciel, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], Domain, computer.programming_language, Meta-model, 021110 strategic, defence & security studies, business.industry, Pattern, 020206 networking & telecommunications, Modélisation et simulation, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Systèmes embarqués, Model driven engineering, Metamodeling, Software design pattern, Systems engineering, Cryptographie et sécurité, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, Security and Dependability, Model-driven architecture, Software engineering, business, computer
Abstract

International audience; The requirement for higher Security and Dependability (S&D) of systems is continuously increasing, even in domains traditionally not deeply involved in such issues. In our work, we propose a modeling environment for pattern-based secure and dependable embedded system development by design. Here we study a general scheme for representing security and dependability (S&D) design patterns whose intention specification can be defined using a set of local properties. We propose an approach that associates Model Driven Engineering (MDE) and formal validation to get a common representation to specify patterns for several domains. The contribution of this work is twofold. On the one hand, we use model-based techniques to capture a set of artifacts to specify patterns. On the other hand, we introduce a set of artifacts for the formal validation of these patterns in order to guarantee their correctness. As an illustration of the approach, we study the authorization pattern.

Published
2013

635. An implementation of framework of business intelligence for agent-based simulation

Author

Hiep Xuan Huynh, Benoit Gaudou, Thai Minh Truong, Christophe Sibertin-Blanc, Minh Ngoc Le, Alexis Drogoul, Frédéric Amblard, Viet Xuan Truong, Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Institut de Recherche pour le Développement - IRD (FRANCE), Université Pierre et Marie Curie, Paris 6 - UPMC (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Can Tho University - CTU ( VIETNAM), Ho Chi Minh City University of Science - HCMC (VIETNAM), Systèmes Multi-Agents Coopératifs (IRIT-SMAC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Unité de modélisation mathématique et informatique des systèmes complexes [Bondy] (UMMISCO), Institut de Recherche pour le Développement (IRD)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Université de Yaoundé I-Institut de la francophonie pour l'informatique-Université Cheikh Anta Diop [Dakar, Sénégal] (UCAD)-Université Gaston Bergé (Saint-Louis, Sénégal)-Université Cadi Ayyad [Marrakech] (UCA), Can Tho University [Vietnam] (CTU), and Ho Chi Minh City University of Technology (HCMUT)

Subjects
Agent-based model, Decision support system, business.industry, Computer science, Scale (chemistry), Distributed computing, Intelligence artificielle, Multi-agent simulation, computer.software_genre, Modélisation et simulation, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Data warehouse, Model validation, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], Logical framework, BI solution, Brown plant hopper, Environmental modeling, Business intelligence, Data mining, business, computer
Abstract

National audience; Integrated environmental modeling approaches, especially agent-based modeling ones, are increasingly used in large-scale decision support systems. A major consequence of this trend is the manipulation and generation of a huge amount of data in simulations, which require to be efficiently managed. In this paper, we present a Combination Framework of Business intelligence solution and Multi-agent platform (CFBM) and its implementation on the GAMA platform. CFBM is a logical framework dedicated to the management of the input and output data of simulations, as well as the corresponding empirical datasets in an integrated way and the analysis on integrated data, which we propose as a coupling of two major methodologies: Multi-Agent Simulation (MAS) on one hand and Business Intelligence (BI) solution on the other. An integrated model of a surveillance network and Brown Plant Hopper (BPH) invasion is presented. This model is used throughout the paper as a case study of CFBM regarding to the database accesses, the integration of internal and external processing, and the model validation tasks. We show how the proposed combination framework can be an appropriate choice for all decision-support systems with a huge data, hence the modelers can be also encouraged to develop the big model in a large scale.

Published
2013

636. Abstraction and Verification of Properties of a Real-Time Java

Author

Martin Strecker, Nadezhda Baklanova, Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Centre National de la Recherche Scientifique - CNRS (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Assistance à la Certification d’Applications DIstribuées et Embarquées (IRIT-ACADIE), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, and Institut National Polytechnique de Toulouse - INPT (FRANCE)

Subjects
Model checking, [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Java, Scala, Computer science, 02 engineering and technology, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], computer.software_genre, Interface homme-machine, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Real time Java, Architectures Matérielles, 020204 information systems, Multithreading, 0202 electrical engineering, electronic engineering, information engineering, Génie logiciel, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], computer.programming_language, Uppaal, Programming language, strictfp, Resource sharing conflict, Deadlock, Modélisation et simulation, Java concurrency, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Systèmes embarqués, Shared resource, Timed automaton, Cryptographie et sécurité, 020201 artificial intelligence & image processing, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, computer, Java Modeling Language
Abstract

International audience; We present a tool for analysing resource sharing conflicts in multithreaded Java programs. Java programs are translated to timed automata models verified afterwards by the Uppaal model checker. Analysed programs are annotated with timing information indicating the execution duration of a particular statement. Based on the timing information, the analysis of execution paths is performed, which gives an answer whether resource sharing conflicts are possible in a multithreaded Java program. If the analysis succeeds, resource locks may be eliminated from the Java program.

Published
2013

637. Contribution of model-driven engineering to the design of large-scale crop models

Author

Barbier, Guillaume, STAR, ABES, Laboratoire d'Informatique, de Modélisation et d'optimisation des Systèmes (LIMOS), SIGMA Clermont (SIGMA Clermont)-Université d'Auvergne - Clermont-Ferrand I (UdA)-Ecole Nationale Supérieure des Mines de St Etienne-Centre National de la Recherche Scientifique (CNRS)-Université Blaise Pascal - Clermont-Ferrand 2 (UBP), Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (LIMOS), Ecole Nationale Supérieure des Mines de St Etienne-Centre National de la Recherche Scientifique (CNRS)-Université Clermont Auvergne [2017-2020] (UCA [2017-2020]), Université Blaise Pascal - Clermont-Ferrand II, David R. C. Hill, François Pinet, Université Blaise Pascal - Clermont-Ferrand 2 (UBP)-Université d'Auvergne - Clermont-Ferrand I (UdA)-SIGMA Clermont (SIGMA Clermont)-Ecole Nationale Supérieure des Mines de St Etienne (ENSM ST-ETIENNE)-Centre National de la Recherche Scientifique (CNRS), and Ecole Nationale Supérieure des Mines de St Etienne (ENSM ST-ETIENNE)-Université Clermont Auvergne [2017-2020] (UCA [2017-2020])-Centre National de la Recherche Scientifique (CNRS)

Subjects
[SPI.OTHER]Engineering Sciences [physics]/Other, Visual language, Agronomie, Génération de code, [SPI.OTHER] Engineering Sciences [physics]/Other, Modeling and simulation, Langage visuel, Code generation, Ingénierie dirigée par les modèles, Model-driven engineering, Modélisation et simulation, Agronomy
Abstract

This PhD thesis has an industrial purpose. It is motivated by a software production issue met within the ITK company. Using the techniques provided by model-driven engineering, we propose a modeling and simulation environment dedicated to plant growth. The prototype achieved proves to be easy to use for crop modelers. It is also enhanced with a Java code generation feature. The models obtained from this code generation are designed to be integrated into decision support systems running on a Java Entreprise Edition platform., Cette thèse, à caractère industriel, vise à répondre à une problématique de production de l’entreprise ITK. Par la mise en oeuvre des techniques de l’ingénierie dirigée par les modèles, nous proposons un environnement de modélisation et de simulation pour la croissance des plantes. Outre sa facilité d’utilisation pour les agronomes, le prototype obtenu permet la génération automatique de code Java des modèles à intégrer dans des outils d’aide à la décision exécutés sur une plateforme Java Enterprise Edition.

Published
2013

638. Former les futurs concepteurs de systèmes Homme-Machine complexes

Author

Daniel Prun, Hélène Gaspard-Boulinc, Stéphane Conversy, Stéphane Chatty, Catherine Letondal, Ecole Nationale de l'Aviation Civile - ENAC (FRANCE), ENAC - Equipe Informatique Interactive (LII), Ecole Nationale de l'Aviation Civile (ENAC), AFIHM, and Session 2 : Affronter la complexité du monde

Subjects
05 social sciences, Informatique interactive, 020207 software engineering, 02 engineering and technology, Modélisation et simulation, Conception Participative, Systèmes embarqués, Interface homme-machine, ACM: H.: Information Systems/H.5: INFORMATION INTERFACES AND PRESENTATION (e.g., HCI), ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications/D.2.1.2: Methodologies (e.g., object-oriented, structured), Ingénierie Système, Architectures Matérielles, Conception Orientée Objet, 0202 electrical engineering, electronic engineering, information engineering, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications/D.2.1.0: Elicitation methods (e.g., rapid prototyping, interviews, JAD), Cryptographie et sécurité, Génie logiciel, 0501 psychology and cognitive sciences, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], Enseignement, 050107 human factors
Abstract

International audience; L'ingénierie des systèmes homme-machine implique la définition des besoins des utilisateurs en tant qu'éléments de l'architecture du système. Or l'analyse des pratiques industrielles dans la conception des systèmes complexes met en évidence des problèmes dans la prise en compte de l'utilisateur. Ces problèmes semblent insuffisamment traités par l'apport de cours d'analyse du besoin ou de conception d'IHM. En tant que formateurs de futurs concepteurs de systèmes homme-machine complexes, nous proposons une réponse à ces problèmes par la définition d'un nouvel enseignement en ingénierie des systèmes hommemachine complexes. Cet article présente la conception de cet enseignement, issue d'une réflexion sur les disciplines de l'analyse fonctionnelle, la conception participative et l'approche orientée objet, et menée à la lumière de quatre exigences : définir l'usage, susciter la co-évolution besoin-solution, définir de façon exhaustive les caractéristiques techniques, formaliser les besoins.

Published
2013

639. V&V of Lexical, Syntactic and Semantic Properties for Interactive Systems through Model Checking of Formal Description of Dialog

Author

Célia Martinie, Guillaume Brat, Philippe Palanque, NASA Ames Research Center (ARC), Interactive Critical Systems (IRIT-ICS), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), National Aeronautics and Space Administration - NASA (USA), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), and Institut National Polytechnique de Toulouse - INPT (FRANCE)

Subjects
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Model checking, Aircraft, Java, Computer science, Generic and specific properties, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], 02 engineering and technology, Interactive system, Undo, Interface homme-machine, Safety critical application, Java PathFinder, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Architectures Matérielles, Human–computer interaction, Acceptance testing, 0202 electrical engineering, electronic engineering, information engineering, Génie logiciel, 0501 psychology and cognitive sciences, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], Formal verification, 050107 human factors, computer.programming_language, Interactive cockpits, business.industry, Interactive applications, 05 social sciences, Runtime verification, 020207 software engineering, Usability, Modélisation et simulation, Systèmes embarqués, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Cockpit, Cryptographie et sécurité, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, Petshop, User interface, business, computer
Abstract

International audience; During early phases of the development of an interactive system, future system properties are identified (through interaction with end users in the brainstorming and prototyping phase of the application, or by other stakeholders) imposing requirements on the final system. They can be specific to the application under development or generic to all applications such as usability principles. Instances of specific properties include visibility of the aircraft altitude, speed… in the cockpit and the continuous possibility of disengaging the autopilot in whatever state the aircraft is. Instances of generic properties include availability of undo (for undoable functions) and availability of a progression bar for functions lasting more than four seconds. While behavioral models of interactive systems using formal description techniques provide complete and unambiguous descriptions of states and state changes, it does not provide explicit representation of the absence or presence of properties. Assessing that the system that has been built is the right system remains a challenge usually met through extensive use and acceptance tests. By the explicit representation of properties and the availability of tools to support checking these properties, it becomes possible to provide developers with means for systematic exploration of the behavioral models and assessment of the presence or absence of these properties. This paper proposes the synergistic use two tools for checking both generic and specific properties of interactive applications: Petshop and Java PathFinder. Petshop is dedicated to the description of interactive system behavior. Java PathFinder is dedicated to the runtime verification of Java applications and as an extension dedicated to User Interfaces. This approach is exemplified on a safety critical application in the area of interactive cockpits for large civil aircrafts.

Published
2013

640. Formal Verification Integration Approach for DSML

Author

Faiez Zalila, Xavier Crégut, Marc Pantel, Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Centre National de la Recherche Scientifique - CNRS (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées, Assistance à la Certification d’Applications DIstribuées et Embarquées (IRIT-ACADIE), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Institut National Polytechnique (Toulouse) (Toulouse INP), ANR-12-INSE-0011,GeMoC,Un framework de modèles de calcul génériques pour l'exécution et l'analyse dynamique de modèles(2012), and Institut National Polytechnique de Toulouse - INPT (FRANCE)

Subjects
Model checking, Computer science, Domain specific modeling language, 02 engineering and technology, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], computer.software_genre, Interface homme-machine, Intelligent verification, Architectures Matérielles, Formal language, 0202 electrical engineering, electronic engineering, information engineering, Génie logiciel, Verification, Formal verification, High-level verification, Functional verification, business.industry, Programming language, Runtime verification, 020207 software engineering, Traceability, Formal methods, Modélisation et simulation, Systèmes embarqués, Verification feedback, Cryptographie et sécurité, Translational semantics, 020201 artificial intelligence & image processing, Software engineering, business, computer
Abstract

International audience; The application of formal methods (especially, model check- ing and static analysis techniques) for the verification of safety critical embedded systems has produced very good results and raised the inter- est of system designers up to the application of these technologies in real size projects. However, these methods usually rely on specific verifica- tion oriented formal languages that most designers do not master. It is thus mandatory to embed the associated tools in automated verification toolchains that allow designers to rely on their usual domain-specific modeling languages (DSMLs) while enjoying the benefits of these power- ful methods. More precisely, we propose a language to formally express system requirements and interpret verification results so that system designers (DSML end-users) avoid the burden of learning some formal verification technologies. Formal verification is achieved through trans- lational semantics. This work is based on a metamodeling pattern for executable DSML that favors the definition of generative tools and thus eases the integration of tools for new DSMLs

Published
2013

641. A Process for Maintaining Heterogeneous Models Consistency through Change Synchronization

Author

Sophie Ebersold, Adil Anwar, Mahmoud El Hamlaoui, Bernard Coulette, Mahmoud Nassar, Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Université Mohammed V - Agdal (MOROCCO), and Université Mohammed V - Souissi (MOROCCO)

Subjects
Context model, Iterative and incremental development, Correspondence model, Theoretical computer science, Process (engineering), Computer science, Evolution, Complex system, Context (language use), Viewpoints, Modélisation et simulation, Changes, Systèmes embarqués, Interface homme-machine, Synchronization, Consistency (database systems), Architectures Matérielles, Virtualization, Impacts, Cryptographie et sécurité, Génie logiciel
Abstract

This paper falls into the context of modeling complex systems according to various viewpoints. More precisely, it presents an iterative process of heterogeneous models consistency management - by taking into account various types of evolution - based on building a correspondence model. In the case of models evolution, this process is intended to capture changes in the models, to list modifications to be made in the impacted models and finally to update the correspondence model for a future iteration.

Published
2013

642. Translation of heterogenous requirements engineering meta-models

Author

Saidi, Imad Eddine, El Hamlaoui, Mahmoud, Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Université Constantine 2 Abdelhamid Mehri (ALGERIA), Université Mohammed V - Souissi (MOROCCO), and Institut National Polytechnique de Toulouse - INPT (FRANCE)

Subjects
Translation, Architectures Matérielles, Cryptographie et sécurité, Génie logiciel, Requirements engineering, Modélisation et simulation, Systèmes embarqués, Interface homme-machine, Pivot model
Abstract

In Requirements Engineering, there exist different kinds of approaches such as goal-oriented, viewpoint-oriented and scenario-oriented approaches to specify companies’ needs. These companies use these different approaches to elicit, specify,analyze and validate their requirements in different contexts. The globalization and the rapid development of information technologies sometimes require companies to work together in order to achieve common objectives as quickly as possible. We propose a Unified Requirements Engineering Meta-model (UREM) which allows cooperation in the requirements engineering process between heterogeneous RE models. In this paper, we explore UREM as a pivot meta-model which performs translation between different RE models in order to ensure interoperability between heterogeneous RE models.

Published
2013

643. A transformation-driven approach to automate feedback verification results

Author

Faiez Zalila, Xavier Crégut, Marc Pantel, Institut National Polytechnique de Toulouse - INPT (FRANCE), Centre National de la Recherche Scientifique - CNRS (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées, Assistance à la Certification d’Applications DIstribuées et Embarquées (IRIT-ACADIE), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Institut National Polytechnique (Toulouse) (Toulouse INP), and Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)

Subjects
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Model checking, Computer science, Domain specific modeling language, 02 engineering and technology, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], computer.software_genre, Interface homme-machine, Intelligent verification, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Architectures Matérielles, Formal specification, 0202 electrical engineering, electronic engineering, information engineering, Génie logiciel, Verification, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], Formal verification, High-level verification, Functional verification, Programming language, Runtime verification, 020207 software engineering, Traceability, Formal methods, Modélisation et simulation, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Systèmes embarqués, Verification feedback, Cryptographie et sécurité, Translational semantics, 020201 artificial intelligence & image processing, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, computer, Fiacre
Abstract

International audience; The integration of formal verification methods in modeling activities is a key issue to ensure the correctness of complex system design models. In this purpose, the most common approach consists in defining a translational semantics mapping the abstract syntax of the designer dedicated Domain-Specific Modeling Language (DSML) to a formal verification dedicated semantic domain in order to reuse the available powerful verification technologies. Formal verification is thus usually achieved using model transformations. However, the verification results are available in the formal domain which significantly impairs their use by the system designer which is usually not an expert of the formal technologies. In this paper, we introduce a novel approach based on Higher-Order transformations that analyze and instrument the transformation that expresses the semantics in order to produce traceability data to automatize the back propagation of verification results to the DSML end-user.

Published
2013

644. Event Algebra for Transition Systems Composition - Application to Timed Automata

Author

Mamoun Filali, Elie Fares, Jean-Paul Bodeveix, Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Centre National de la Recherche Scientifique - CNRS (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées, Assistance à la Certification d’Applications DIstribuées et Embarquées (IRIT-ACADIE), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Toulouse III - Paul Sabatier (UT3), and Centre National de la Recherche Scientifique (CNRS)

Subjects
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Theoretical computer science, Computer Networks and Communications, Principle of compositionality, Computer science, Semantics (computer science), [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], 0102 computer and information sciences, 02 engineering and technology, computer.software_genre, 01 natural sciences, Interface homme-machine, Operational semantics, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Architectures Matérielles, Formal specification, Synchronization (computer science), 0202 electrical engineering, electronic engineering, information engineering, Génie logiciel, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], Automata theory, Structure (mathematical logic), Programming language, Event (computing), Labelled Transition Systems (LTS), Vectors, Modélisation et simulation, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Systèmes embarqués, Specification languages, Automaton, 010201 computation theory & mathematics, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Theory of computation, Cryptographie et sécurité, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, 020201 artificial intelligence & image processing, computer, Software, Information Systems
Abstract

International audience; Formal specification languages have a lot of notions in common. They all introduce entities usually called processes, offer similar operators, and most importantly define their operational semantics based on labelled transition systems (LTS). However, each language defines specific synchronizing and/or memory structures. For instance, in CSP, the synchronization is defined between identical events, while in CCS and in synchronizationvectors-based views it is defined respectively between complementary events or between possibly different events. In this paper, we aim at capturing some similarities of specification languages by defining a label-based formal framework for reasoning on LTS, their semantics and related properties. Firstly, we define a high-level synchronization mechanism in the form of an abstract label structure and identify some properties. Then, we introduce operators for composing and transforming label structures, study their intrinsic properties and explore howlabel structure properties propagate. Secondly, we introduce a LTS-based behavioral framework. We then lift the label structure composition and transformation operator to the LTS level and establish LTS-related properties derived from those of their underlying labelled structures. Thirdly, we consider extended transition systems,more specifically timed automata, as LTS built on top of specific labelled structures. Their semantics is reconstructed by applying operators of our framework on the syntactic LTS, which allows the direct proof of some semantic properties such as compositionality

Published
2013

645. Extending Procedural Task Models by Explicit and Systematic Integration of Objects, Knowledge and Information

Author

Martinie, Célia, Palanque, Philippe, Ragosta, Martina, Fahssi, Racim Mehdi, Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), and DEEP BLUE (ITALY)

Subjects
Architectures Matérielles, User Centred Design, Cryptographie et sécurité, Génie logiciel, Modélisation et simulation, Systèmes embarqués, Interface homme-machine, Task modelling, Model-based approaches
Abstract

Task analysis can be considered as a fundamental component of user centered design methods as it provides a unique way of analyzing in a systematic way users' roles and activities. A widely used way of storing the information gathered during that phase in a structured and exhaustive way is to build task models which are then amenable to verification of properties or to performance evaluation. In widely used notations such as Hierarchical Task Analysis (HTA) or CTT (Concur Task Tree), information or objects manipulated by the users while performing the tasks does not receive a similar treatment as the sequencing of tasks which is usually carefully and exhaustively described. This paper proposes a systematic account for the various concepts manipulated by the users while performing tasks. Such concepts include different types of knowledge (declarative, situational, procedural and strategic), objects (manipulated by the user) and information. These concepts are systematically represented in a set of extensions of the HAMSTERS notation allowing the analysis of concepts-related properties such as learning curve, complexity, information workload,... We demonstrate the application of the approach on the example of a two players game making explicit the connection between these extended task models and the user interface of the game.

Published
2013

646. Design of a Cascade Observer for a Model of Bacterial Batch Culture with Nutrient Recycling

Author

Miled El Hajji, Alain Rapaport, Université de Sousse, Mathématiques, Informatique et STatistique pour l'Environnement et l'Agronomie (MISTEA), Institut National de la Recherche Agronomique (INRA)-Institut national d’études supérieures agronomiques de Montpellier (Montpellier SupAgro), Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro), Miodrag Darko Matovic, Institut national d’études supérieures agronomiques de Montpellier (Montpellier SupAgro)-Institut National de la Recherche Agronomique (INRA), Water Resource Modeling (MERE), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de la Recherche Agronomique (INRA), Microbiologie du Sol et de l'Environnement (MSE), Institut National de la Recherche Agronomique (INRA)-Université de Bourgogne (UB), Institut national d’études supérieures agronomiques de Montpellier (Montpellier SupAgro), Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Institut National de la Recherche Agronomique (INRA), Mathématiques, Informatique et STatistique pour l'Environnement et l'Agronomie ( MISTEA ), Institut National de la Recherche Agronomique ( INRA ) -Institut national d’études supérieures agronomiques de Montpellier ( Montpellier SupAgro ), Water Resource Modeling ( MERE ), Inria Sophia Antipolis - Méditerranée ( CRISAM ), Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National de la Recherche Agronomique ( INRA ), Microbiologie du Sol et de l'Environnement ( MSE ), and Institut National de la Recherche Agronomique ( INRA ) -Université de Bourgogne ( UB )

Subjects
Engineering, State variable, MICROBIOLOGY, Steady state (electronics), [SDV.BIO]Life Sciences [q-bio]/Biotechnology, Observer (quantum physics), [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH], [MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS], Biotechnologies, Bacterial growth, Systèmes dynamiques, 01 natural sciences, MATHEMATICAL MODELLING, 03 medical and health sciences, Control theory, [INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering, Convergence (routing), Initial value problem, 0101 mathematics, ComputingMilieux_MISCELLANEOUS, Automatique, 030304 developmental biology, biomathématique, 0303 health sciences, business.industry, Automatic Control Engineering, PARAMETER IDENTIFIABILITY, CELL RECYCLING, Modélisation et simulation, PRACTICAL OBSERVER, Dynamical Systems, 010101 applied mathematics, BATCH CULTURE, Coupling (computer programming), Cascade, Modeling and Simulation, [ INFO.INFO-OH ] Computer Science [cs]/Other [cs.OH], business, NON-LINEAR OBSERVABILITY
Abstract

aeres : C-ACTI; International audience; A mathematical model of microbial growth on a single limited substrate in batch culture is proposed as an extension of the Monod's one. This model takes into account cell mortality, non-viable cell accumulation and cell recycling. We consider that only substrate concentration and total biomass are measured on-line. The parameters of the model are not identifiable at steady state, but we propose a design of an observer that reconstructs both parameters and state variable with a practical convergence, from any initial condition away from the equilibrium. The observer is build as a coupling of two non-linear observers in cascade with different time scales.

Published
2013

647. Workshop on engaging the human-computer interaction community with public policymaking internationally

Author

Simone Diniz Junqueira Barbosa, Jan Gulliksen, Tom McEwan, Jonathan Lazar, Philippe Palanque, Loïc Antonio Martínez Normand, Marco Winckler, Raquel Oliveira Prates, Janice Tsai, Volker Wulf, Centre National de la Recherche Scientifique - CNRS (FRANCE), Harvard university (USA), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Royal Institute of Technology – KTH (SWEDEN), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Universidad Politécnica de Madrid (SPAIN), Universität Siegen (GERMANY), Edinburgh Napier University (UNITED KINGDOM), Microsoft (USA), Pontifícia Universidade Católica do Rio de Janeiro - PUC (BRAZIL), Universidade Federal de Minas Gerais - UFMG (BRAZIL), and Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France)

Subjects
Standards, Public policy, Process (engineering), Computer science, 02 engineering and technology, Interface homme-machine, Human subjects protection, White paper, Architectures Matérielles, Order (exchange), Human–computer interaction, 0202 electrical engineering, electronic engineering, information engineering, Génie logiciel, 0501 psychology and cognitive sciences, Baseline (configuration management), Funding, 050107 human factors, Informática, 05 social sciences, Rulemaking, Human factors and ergonomics, 020207 software engineering, Modélisation et simulation, Accessibility, Systèmes embarqués, Cryptographie et sécurité, Ergonomics, Safety, Rankings, Regulation
Abstract

There is an increasing interest in the intersection of human-computer interaction and public policy. This day-long workshop will examine successes and challenges related to public policy and human computer interaction, in order to provide a forum to create a baseline of examples, and to start the process of writing a white paper on the topic.

Published
2013

648. Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems

Author

Boudjadar, A., Vaandrager, F.W., Bodeveix, J.-P., Filali, M., Arbab, F., Arbab, F., Arbab, Farhad, Sirjani, Marjan, Radboud university [Nijmegen], Aalborg University [Denmark] (AAU), Assistance à la Certification d’Applications DIstribuées et Embarquées (IRIT-ACADIE), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Université Toulouse III - Paul Sabatier (UT3), Centre National de la Recherche Scientifique (CNRS), Farhad Arbab, Marjan Sirjani, TC 2, WG 2.2, Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - INPT (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Aalborg University (DENMARK), Radboud University (NETHERLANDS), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), and Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)

Subjects
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Computer science, Semantics (computer science), Real-time computing, 02 engineering and technology, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Network topology, computer.software_genre, Interface homme-machine, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Constant (computer programming), Callable timed automata, Architectures Matérielles, Simple (abstract algebra), 0202 electrical engineering, electronic engineering, information engineering, Software Science, Génie logiciel, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], Timed automata, Programming language, Event (computing), 020207 software engineering, Extension (predicate logic), Modélisation et simulation, Object (computer science), Systèmes embarqués, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Automaton, Dynamic real-time systems, Cryptographie et sécurité, 020201 artificial intelligence & image processing, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, Lecture Notes in Computer Science, computer
Abstract

International audience; Dynamic real-time systems, where the number of processes is not constant and new processes can be created on the fly like in object-based systems and ad-hoc networks, are still lacking a formal framework enabling their verification. Different toolboxes like Uppaal [21], Tina [10], Red [28] and Kronos [29] have been designed to deal with the modeling and analysis of real-time systems. Nevertheless, a shortcoming of these tools is that they can only describe static topologies. Other tools like Spin [18] allow the dynamic creation of processes, but do not consider time aspects. This paper presents a formal framework for modeling and verifying dynamic real-time systems. We introduce callable timed automata as a simple but powerful extension of standard timed automata in which processes may call each other. We show that the semantics of each call event can be interpreted either as an activation of the existing instance of the corresponding automaton (static instantiation), or a creation of a new concurrent instance (dynamic instantiation). We explore both semantical interpretations, static and dynamic, and give for each one the motivation and benefits with illustrating examples. Finally, we report on experiments with a prototype tool, which translates (a subset of) callable timed automata to UPPAAL systems.

Published
2013

649. Allocation optimale de cultures dans un paysage agricole: conflits entre dynamique épidémique, durabilité et évolution

Author

Papaix, Julien, Burdon, Jeremy, Monod, Hervé, Lannou, Christian, Thrall, Peter, Biostatistique et Processus Spatiaux (BioSP), Institut National de la Recherche Agronomique (INRA), Agriculture Flagship, Commonwealth Scientific and Industrial Research Organisation [Canberra] (CSIRO), Unité de biométrie et intelligence artificielle de jouy, and Département Santé des Plantes et Environnement (DPT SPE)

Subjects
gestion durable de l'espace, dispersion de la maladie, risque épidémiologique, Biodiversité et Ecologie, estimation du risque, population pathogène, modèle spatiotemporel, Modélisation et simulation, modèle de simulation, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Biodiversity and Ecology, cycle de vie, Modeling and Simulation, transformation du paysage agricole, [SDE.BE]Environmental Sciences/Biodiversity and Ecology, ComputingMilieux_MISCELLANEOUS, paysage agricole
Abstract

National audience

Published
2013

650. Hardware architecture specification and constraint-based WCET computation

Author

Mamoun Filali, Christine Rochange, Hugues Cassé, Hajer Herbegue, Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Centre National de la Recherche Scientifique - CNRS (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Institut National Polytechnique de Toulouse - INPT (FRANCE), Groupe de Recherche en Architecture et Compilation pour les systèmes embarqués (IRIT-TRACES), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Université Toulouse III - Paul Sabatier (UT3), Assistance à la Certification d’Applications DIstribuées et Embarquées (IRIT-ACADIE), and Centre National de la Recherche Scientifique (CNRS)

Subjects
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Critical real-time systems, Computer science, computer.internet_protocol, Computation, WCET analysis, 02 engineering and technology, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], computer.software_genre, Interface homme-machine, Instruction set, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Architectures Matérielles, 0202 electrical engineering, electronic engineering, information engineering, Génie logiciel, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], Hardware architecture, business.industry, Programming language, Process (computing), Modular design, Static analysis, Modélisation et simulation, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Systèmes embarqués, 020202 computer hardware & architecture, Microarchitecture, Sim-nML, Cryptographie et sécurité, 020201 artificial intelligence & image processing, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, business, computer, XML
Abstract

International audience; The analysis of the worst-case execution times is necessary in the design of critical real-time systems. To get sound and precise times, the WCET analysis for these systems must be performed on binary code and based on static analysis. OTAWA, a tool providing WCET computation, uses the Sim-nML language to describe the instruction set and XML files to describe the microarchitecture. The latter information is usually inadequate to describe real architectures and, therefore, requires specific modifications, currently performed by hand, to allow correct time calculation. In this paper, we propose to extend Sim-nML in order to support the description of modern microarchitecture features along the instruction set description and to seamlessly derive the time calculation. This time computation is specified as a constraint solving problem that is automatically synthesized from the extended Sim-nML. Thanks to its declarative aspect, this approach makes easier and modular the description of complex features of microprocessors while maintaining a sound process to compute times.

Published
2013

Catalog

Books, media, physical & digital resources
See catalog results