Exploiting augmented intelligence in the modeling of safety-critical autonomous systems

被引:3
|
作者
Yang, Zhibin [1 ]
Bao, Yang [1 ]
Yang, Yongqiang [1 ]
Huang, Zhiqiu [1 ]
Bodeveix, Jean-Paul [2 ]
Filali, Mamoun [2 ]
Gu, Zonghua [3 ]
机构
[1] Nanjing Univ Aeronaut & Astronaut, Sch Comp Sci & Technol, Nanjing, Peoples R China
[2] IRIT Univ Toulouse, Toulouse, France
[3] Umea Univ, Dept Appl Phys & Elect, Umea, Sweden
基金
中国国家自然科学基金;
关键词
Safety-critical autonomous system; Augmented intelligence; Restricted natural language requirements; Natural language processing; Machine learning; SysML; FRAMEWORK;
D O I
10.1007/s00165-021-00543-6
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Machine learning (ML) is used increasingly in safety-critical systems to provide more complex autonomy to make the system to do decisions by itself in uncertain environments. Using ML to learn system features is fundamentally different from manually implementing them in conventional components written in source code. In this paper, we make a first step towards exploring the architecture modeling of safety-critical autonomous systems which are composed of conventional components and ML components, based on natural language requirements. Firstly, augmented intelligence for restricted natural language requirement modeling is proposed. In that, several AI technologies such as natural language processing and clustering are used to recommend candidate terms to the glossary, as well as machine learning is used to predict the category of requirements. The glossary including data dictionary and domain glossary and the category of requirements will be used in the restricted natural language requirement specification method RNLReq, which is equipped with a set of restriction rules and templates to structure and restrict the way how users document requirements. Secondly, automatic generation of SysML architecture models from the RNLReq requirement specifications is presented. Thirdly, the prototype tool is implemented based on Papyrus. Finally, it presents the evaluation of the proposed approach using an industrial autonomous guidance, navigation and control case study.
引用
收藏
页码:343 / 384
页数:42
相关论文
共 50 条
  • [1] Safety-Critical Optimal Control for Autonomous Systems
    Xiao Wei
    Cassandras, G. Christos
    Belta, Calin
    JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2021, 34 (05) : 1723 - 1742
  • [2] Safety-Critical Optimal Control for Autonomous Systems
    Wei Xiao
    G. Christos Cassandras
    Calin Belta
    Journal of Systems Science and Complexity, 2021, 34 : 1723 - 1742
  • [3] Safety-Critical Optimal Control for Autonomous Systems
    XIAO Wei
    CASSANDRAS G.Christos
    BELTA Calin
    JournalofSystemsScience&Complexity, 2021, 34 (05) : 1723 - 1742
  • [4] Artificial intelligence in safety-critical systems: a systematic review
    Wang, Yue
    Chung, Sai Ho
    INDUSTRIAL MANAGEMENT & DATA SYSTEMS, 2022, 122 (02) : 442 - 470
  • [5] Platform modeling in safety-critical embedded systems
    Huber, Bernhard
    Obermaisser, Roman
    Lecture Notes in Electrical Engineering, 2009, 38 : 145 - 158
  • [6] Traceable Threat Modeling for Safety-critical Systems
    Geismann, Johannes
    2018 IEEE 15TH INTERNATIONAL CONFERENCE ON SOFTWARE ARCHITECTURE COMPANION (ICSA-C 2018), 2018, : 41 - 42
  • [7] The Safety Filter: A Unified View of Safety-Critical Control in Autonomous Systems
    Hsu, Kai-Chieh
    Hu, Haimin
    Fisac, Jaime F.
    ANNUAL REVIEW OF CONTROL ROBOTICS AND AUTONOMOUS SYSTEMS, 2024, 7 : 47 - 72
  • [8] Autonomous Systems - Safety Critical Embedded Systems and Intelligence
    Schoitsch, Erwin
    Kubinger, Wilfried
    ERCIM NEWS, 2006, (67): : 16 - 17
  • [9] Safety-critical control for autonomous multi-agent systems
    Xiao, Wei
    Cassandras, Christos G.
    ANNUAL REVIEWS IN CONTROL, 2024, 57
  • [10] Assurance for Integrating Advanced Algorithms in Autonomous Safety-Critical Systems
    Stafford, Milton
    Bhattacharyya, Siddhartha
    Clark, Matthew
    Neogi, Natasha
    Eskridge, Thomas C.
    IEEE SYSTEMS JOURNAL, 2021, 15 (04): : 4852 - 4863