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 条
  • [1] Construction and Embedding Representation of Relational Aggregation Hypergraphs in Cyber-Physical Systems
    Zhang, Liyan
    Guo, Jingfeng
    Li, Yang
    Wang, Jing
    Li, Shanshan
    Zhang, Chunying
    Ji, Jiaqi
    IEEE SYSTEMS JOURNAL, 2023, 17 (04): : 5216 - 5227
  • [2] Models of Hardware Integration of Sensors elements with Cyber-Physical Systems
    Dunets, Roman
    Klym, Halyna
    Kochan, Roman
    2016 13TH INTERNATIONAL CONFERENCE ON MODERN PROBLEMS OF RADIO ENGINEERING, TELECOMMUNICATIONS AND COMPUTER SCIENCE (TCSET), 2016, : 270 - 274
  • [3] Task Scheduling in Cyber-Physical Systems
    Liu, Chunyao
    Zhang, Lichen
    Zhang, Daqiang
    2014 IEEE 11TH INTL CONF ON UBIQUITOUS INTELLIGENCE AND COMPUTING AND 2014 IEEE 11TH INTL CONF ON AUTONOMIC AND TRUSTED COMPUTING AND 2014 IEEE 14TH INTL CONF ON SCALABLE COMPUTING AND COMMUNICATIONS AND ITS ASSOCIATED WORKSHOPS, 2014, : 319 - 324
  • [4] Creation of Physical Models for Cyber-Physical Systems
    Pankratova, Nataliya D.
    CYBER-PHYSICAL SYSTEMS AND CONTROL, 2020, 95 : 55 - 63
  • [5] Robustness Analysis of Cyber-Physical systems based on Discrete Timed Cyber-Physical Models
    Hsieh, Fu-Shiung
    2021 IEEE WORLD AI IOT CONGRESS (AIIOT), 2021, : 250 - 254
  • [6] Testing cyber-physical systems with explicit output coverage
    Peltomaki, Jarkko
    Winsten, Jesper
    Methais, Maxime
    Porres, Ivan
    2024 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS, ICSTW 2024, 2024, : 128 - 136
  • [7] Semigroup Models of Cyber-physical Systems
    Letichevsky, Alexander A.
    2017 ELEVENTH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGIES (CSIT), 2017, : 12 - 15
  • [8] Task Scheduling for Cloud Based Cyber-Physical Systems
    Lai, Dandan
    Zhang, Lichen
    Xu, Bingqing
    Liu, Chunyao
    2018 IEEE SMARTWORLD, UBIQUITOUS INTELLIGENCE & COMPUTING, ADVANCED & TRUSTED COMPUTING, SCALABLE COMPUTING & COMMUNICATIONS, CLOUD & BIG DATA COMPUTING, INTERNET OF PEOPLE AND SMART CITY INNOVATION (SMARTWORLD/SCALCOM/UIC/ATC/CBDCOM/IOP/SCI), 2018, : 1455 - 1460
  • [9] Knowledge Representation of Cyber-physical Systems for Monitoring Purpose
    Guerduer, Didem
    Feljan, Aneta Vulgarakis
    El-khoury, Jad
    Mohalik, Swarup Kumar
    Badrinath, Ramamurthy
    Mujumdar, Anusha Pradeep
    Fersman, Elena
    51ST CIRP CONFERENCE ON MANUFACTURING SYSTEMS, 2018, 72 : 468 - 473
  • [10] Ontological Representation of Networks for IDS in Cyber-Physical Systems
    Sartakov, Vasily A.
    ANALYSIS OF IMAGES, SOCIAL NETWORKS AND TEXTS, AIST 2015, 2015, 542 : 421 - 430