Managing safety and mission completion via collective run-time adaptation

被引:3
|
作者
Bozhinoski, Darko [1 ]
Garlan, David [2 ]
Malavolta, Ivano [3 ]
Pelliccione, Patrizio [4 ,5 ,6 ]
机构
[1] Univ Libre Bruxelles, IRIDIA, Brussels, Belgium
[2] Carnegie Mellon Univ, Sch Comp Sci, Comp Sci, Pittsburgh, PA 15213 USA
[3] Vrije Univ Amsterdam, Fac Sci, Dept Comp Sci, Amsterdam, Netherlands
[4] Chalmers Univ Technol, Gothenburg, Sweden
[5] Univ Gothenburg, Gothenburg, Sweden
[6] Univ Aquila, Laquila, Italy
基金
欧洲研究理事会; 欧盟地平线“2020”;
关键词
Collective run-time adaptation; Ensembles; Mission completion; Safety; ARCHITECTURE; FRAMEWORK;
D O I
10.1016/j.sysarc.2019.02.018
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
Mobile Multi-Robot Systems (MMRSs) are an emerging class of systems that are composed of a team of robots, various devices (like movable cameras, sensors) which collaborate with each other to accomplish defined missions. Moreover, these systems must operate in dynamic and potentially uncontrollable and unknown environments that might compromise the safety of the system and the completion of the defined mission. A model of the environment describing, e.g., obstacles, no-fly zones, wind and weather conditions might be available, however, the assumption that such a model is both correct and complete is often wrong. In this paper, we describe an approach that supports execution of missions at run time. It addresses collective adaptation problems in a decentralized fashion, and enables the addition of new entities in the system at any time. Moreover, it is based on two adaptation resolution methods: one for (potentially partial) resolution of mission-related issues and one for full resolution of safety-related issues.
引用
收藏
页码:19 / 35
页数:17
相关论文
共 50 条
  • [31] Towards Security Case Run-time Adaptation by System Decomposition into Services
    Lisova, Elena
    Causevic, Aida
    [J]. IECON 2018 - 44TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, 2018, : 4102 - 4108
  • [32] Optimal stopping for the run-time self-adaptation of software systems
    Skroch, Oliver
    Turowski, Klaus
    [J]. JOURNAL OF INFORMATION & OPTIMIZATION SCIENCES, 2010, 31 (01): : 147 - 157
  • [33] Practical run-time checking via unobtrusive property caching
    Stulova, Nataliia
    Morales, Jose F.
    Hermenegildo, Manuel V.
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2015, 15 : 726 - 741
  • [34] Software reliability via run-time result-checking
    Wasserman, H
    Blum, M
    [J]. JOURNAL OF THE ACM, 1997, 44 (06) : 826 - 849
  • [35] Time-sensitive adaptation in CPS through run-time configuration generation and verification
    Garcia-Valls, Marisol
    Perez-Palacin, Diego
    Mirandola, Raffaela
    [J]. 2014 IEEE 38TH ANNUAL INTERNATIONAL COMPUTERS, SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2014, : 332 - 337
  • [36] PartiSan: Fast and Flexible Sanitization via Run-Time Partitioning
    Lettner, Julian
    Song, Dokyung
    Park, Taemin
    Larsen, Per
    Volckaert, Stijn
    Franz, Michael
    [J]. RESEARCH IN ATTACKS, INTRUSIONS, AND DEFENSES, RAID 2018, 2018, 11050 : 403 - 422
  • [37] PSL model checking and run-time verification via testers
    Pnueli, A.
    Zaks, A.
    [J]. FM 2006: FORMAL METHODS, PROCEEDINGS, 2006, 4085 : 573 - 586
  • [38] Run-time Adaptation to Heterogeneous Processing Units for Real-time Stereo Vision
    Ranft, Benjamin
    Denninger, Oliver
    [J]. 2012 IEEE 14TH INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING AND COMMUNICATIONS & 2012 IEEE 9TH INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS (HPCC-ICESS), 2012, : 1592 - 1599
  • [39] PUF Architecture with Run-Time Adaptation for Resilient and Energy-Efficient Key Generation via Sensor Fusion
    Taneja, Sachin
    Alioto, Massimo
    [J]. IEEE JOURNAL OF SOLID-STATE CIRCUITS, 2021, 56 (07) : 2182 - 2192
  • [40] Run-Time Security and Safety Management in Adaptive Smart Work Environments
    Teimourikia, Mahsa
    Fugini, Mariagrazia
    Raibulet, Claudia
    [J]. 2017 IEEE 26TH INTERNATIONAL CONFERENCE ON ENABLING TECHNOLOGIES - INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES (WETICE), 2017, : 256 - 261