Safe and Efficient Fleet Operation for Autonomous Machines: An Actor-based Approach

被引：5
|
作者：
Jafari, Ali [1 ]
Nair, Jayasoorya Jayanthi Surendran [2 ]
Baumgart, Stephan [3 ]
Sirjani, Marjan [1 ,2 ]
机构：
[1] Reykjavik Univ, Sch Comp Sci, Reykjavik, Iceland
[2] Malardalen Univ, Sch Innovat Design & Engn, Vasteras, Sweden
[3] Volvo Construct Equipment, Syst Architecture Dept, Gothenburg, Sweden
来源：
33RD ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING | 2018年
关键词：
Actor model; Embedded system; Timed Rebeca; Model checking; Performance evaluation; Autonomous machine;
D O I：
10.1145/3167132.3167382
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
In this paper, we formally model and verify run-time requirements of an application consisting of complex electrified machines called HX autonomous haulers, developed by Volvo Construction Equipment. To model the fleet control, we use Timed Rebeca, an actor-based modeling language, and to analyze the system performance, we use Afra, an integrated environment for modeling and verifying distributed systems modeled by Rebeca or Timed Rebeca language. We run a set of experiments to find the improved configuration in which the total time for machines to complete one operating cycle is minimized.
引用
收藏
页码：423 / 426
页数：4
相关论文
共 50 条
  • [1] Efficient linearizability checking for actor-based systems
    Al-Mahfoudh, Mohammed S.
    Stutsman, Ryan
    Gopalakrishnan, Ganesh
    SOFTWARE-PRACTICE & EXPERIENCE, 2023, 53 (11): : 2163 - 2199
  • [2] Efficient symmetry reduction for an actor-based model
    Jaghoori, MM
    Sirjani, M
    Mousavi, MR
    Movaghar, A
    DISTRIBUTED COMPUTING AND INTERNET TECHNOLOGY, PROCEEDINGS, 2005, 3816 : 494 - 507
  • [3] Quality Assurance for Concurrent Software - An Actor-Based Approach
    Burmeister, Rodger
    AUTONOMOUS SYSTEMS - SELF-ORGANIZATION, MANAGEMENT, AND CONTROL, 2008, : 119 - 126
  • [4] Asynchronous Actor-Based Approach to Multiobjective Hierarchical Strategy
    Idzik, Michal
    Byrski, Aleksander
    Turek, Wojciech
    Kisiel-Dorohinicki, Marek
    COMPUTATIONAL SCIENCE - ICCS 2020, PT III, 2020, 12139 : 172 - 185
  • [5] Multimodal Transit Scheduler: An Actor-based Concurrent Approach
    Talasila, Prasad
    Haldar, Aparajita
    Pai, Suhas S.
    Goveas, Neena
    Deshpande, Bharat M.
    2017 IEEE 20TH INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS (ITSC), 2017,
  • [6] Efficient Profiling of Actor-based Applications in Parallel and Distributed Systems
    Rosa, Andrea
    Chen, Lydia Y.
    Binder, Walter
    PROCEEDINGS OF THE 11TH WORKSHOP ON IMPLEMENTATION, COMPILATION, OPTIMIZATION OF OBJECT-ORIENTED LANGUAGES, PROGRAMS AND SYSTEMS (ICOOOLPS'16), 2016,
  • [7] Actor-based slicing techniques for efficient reduction of Rebeca models
    Sabouri, Hamideh
    Sirjani, Marjan
    SCIENCE OF COMPUTER PROGRAMMING, 2010, 75 (10) : 811 - 827
  • [8] Collective action in the internet age. An actor-based approach
    Dolata, Ulrich
    Schrape, Jan-Felix
    BERLINER JOURNAL FUR SOZIOLOGIE, 2014, 24 (01): : 5 - 30
  • [9] An Actor-Based Approach for Security Analysis of Cyber-Physical Systems
    Moradi, Fereidoun
    Asadollah, Sara Abbaspour
    Sedaghatbaf, Ali
    Causevic, Aida
    Sirjani, Marjan
    Talcott, Carolyn
    FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2020, 2020, 12327 : 130 - 147
  • [10] Feed the futureland: an actor-based approach to studying food security projects
    Carrie Seay-Fleming
    Agriculture and Human Values, 2023, 40 : 1623 - 1637
12345