Embedding Explicit Representation of Cyber-Physical Elements in Task Models

被引:0
|
作者
Fahssi, Racim [1 ]
Martinie, Celia [1 ]
Palanque, Philippe [1 ]
机构
[1] Univ Paul Sabatier Toulouse 3, IRIT, Toulouse, France
关键词
D O I
暂无
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
User interfaces for the command and control of transportation and navigation systems, such as aircraft cockpits, usually integrate several types of interaction elements: physical, hardware or software. Within these cyberphysical environments, operators have to complete their tasks manipulating these different types of elements. However, task description notations do not take into account physical and hardware aspects beyond manipulation of input devices such as mouse and keyboard. This paper identifies generic aspects of cyber-physical interactive systems and proposes extensions to operators' tasks description techniques, to capture them. We argue that representing cyber-physical elements explicitly and systematically in task models contribute to the design and development of usable and reliable transportation systems. These extensions are integrated within the tool-supported notation called HAMSTERS and are illustrated on a case study from the avionics domain.
引用
收藏
页码:1969 / 1974
页数:6
相关论文
共 50 条
  • [21] Preparing Cyber-Physical Systems Functional Models for Implementation
    Goncalves, Fernando Silvano
    Becker, Leandro Buss
    2015 BRAZILIAN SYMPOSIUM ON COMPUTING SYSTEMS ENGINEERING (SBESC), 2015, : 136 - 141
  • [22] Probabilistic Models of Information Management in Cyber-Physical Systems
    Lyshevski, Sergey Edward
    Aved, Alexander
    Morrone, Philip
    Blasch, Erik
    2021 62ND INTERNATIONAL SCIENTIFIC CONFERENCE ON INFORMATION TECHNOLOGY AND MANAGEMENT SCIENCE OF RIGA TECHNICAL UNIVERSITY (ITMS), 2021,
  • [23] Overview of Metrics, Models, and Simulation for Cyber-Physical Systems
    Ezell, Barry C.
    Chamberland, Luanne Burns
    PROCEEDINGS OF THE 50TH ANNUAL HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, 2017, : 6130 - 6130
  • [24] CONCEPT OF METAMATERIAL WITH PIEZOELECTRIC ELEMENTS FOR CYBER-PHYSICAL SYSTEM APPLICATIONS
    Hadas, Z.
    Marcian, P.
    Rubes, O.
    Hrstka, M.
    ENGINEERING MECHANICS 2020 (IM2020), 2020, : 174 - 177
  • [25] Mining Environment Assumptions for Cyber-Physical System Models
    Mohammadinejad, Sara
    Deshmukh, Jyotirmoy, V
    Puranic, Aniruddh G.
    2020 ACM/IEEE 11TH INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS (ICCPS 2020), 2020, : 87 - 97
  • [26] Models, Metamodels, and Model Transformation for Cyber-Physical Systems
    Jarus, Nathan
    Sarvestani, Sahra Sedigh
    Hurson, Ali R.
    2016 SEVENTH INTERNATIONAL GREEN AND SUSTAINABLE COMPUTING CONFERENCE (IGSC), 2016,
  • [27] Formal Verification of Cyber-Physical Systems: Coping with Continuous Elements
    Sanwal, Muhammad Usman
    Hasan, Osman
    COMPUTATIONAL SCIENCE AND ITS APPLICATIONS, PT I, 2013, 7971 : 358 - 371
  • [28] Robust Cyber-Physical Systems: Concept, models, and implementation
    Hu, Fei
    Lu, Yu
    Vasilakos, Athanasios V.
    Hao, Qi
    Ma, Rui
    Patil, Yogendra
    Zhang, Ting
    Lu, Jiang
    Li, Xin
    Xiong, Neal N.
    FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2016, 56 : 449 - 475
  • [29] A Literature Review of Maturity Models for Cyber-Physical Production
    Abadia, Sofia
    Avila, Oscar
    Goepp, Virginie
    IFAC PAPERSONLINE, 2024, 58 (19): : 923 - 928
  • [30] Formal verification of cyber-physical systems: Coping with continuous elements
    Sanwal, Muhammad Usman (muhammad.usman1@seecs.nust.edu.pk), 1600, Springer Verlag (7971):