CRAG at the SBFT 2024 Tool Competition - Cyber-Physical Systems Track

被引：0
|
作者：
Arcaini, Paolo [1 ]
Cetinkaya, Ahmet [2 ]
机构：
[1] Natl Inst Informat, Tokyo, Japan
[2] Shibaura Inst Technol, Tokyo, Japan
来源：
2024 IEEE/ACM INTERNATIONAL WORKSHOP ON SEARCH-BASED AND FUZZ TESTING, SBFT 2024 | 2024年
关键词：
search-based testing; combinatorial testing; autonomous driving; Frenet frame; CRAG;
D O I：
10.1145/3643659.3648559
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
CRAG is a generator of road scenarios for autonomous driving testing, that participated to the CPS testing competition at SBFT 2024. CRAG combines combinatorial testing and search to generate roads in which the car drives off the lane; combinatorial testing explores high level road configurations, while search samples concrete road geometries in these configurations. Combinatorial test suites are generated by only considering s-tuples that identify consecutive road segments, arid that contain the (S - 1) -hides that provide the best test performance in the previously generated roads.
引用
收藏
页码：71 / 72
页数：2
相关论文
共 50 条
  • [31] CYBER-PHYSICAL SYSTEMS
    Zanero, Stefano
    COMPUTER, 2017, 50 (04) : 15 - 16
  • [32] Cyber-Physical Systems
    Lamnabhi-Lagarrigue, Francoise
    Di Benedetto, Maria Domenica
    Schoitsch, Erwin
    ERCIM NEWS, 2014, (97): : 6 - 7
  • [33] Cyber-physical Systems
    Vogel-Heuser, Birgit
    Kowalewski, Stefan
    AT-AUTOMATISIERUNGSTECHNIK, 2013, 61 (10) : 667 - 668
  • [34] Design Tool Chain for Cyber-Physical Systems: Lessons Learned
    Sztipanovits, Janos
    Bapty, Ted
    Neema, Sandeep
    Koutsoukos, Xenofon
    Jackson, Ethan
    2015 52ND ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2015,
  • [35] Pessoa 2.0: A Controller Synthesis Tool for Cyber-Physical Systems
    Roy, Pritam
    Tabuada, Paulo
    Majumdar, Rupak
    HSCC 11: PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2011, : 315 - 316
  • [36] CyberSAGE: A Tool for Automatic Security Assessment of Cyber-Physical Systems
    An Hoa Vu
    Tippenhauer, Nils Ole
    Chen, Binbin
    Nicol, David M.
    Kalbarczyk, Zbigniew
    QUANTITATIVE EVALUATION OF SYSTEMS, QEST 2014, 2014, 8657 : 384 - 387
  • [37] Engineering with cyber-physical systems - From mechatronic to cyber-physical engineering
    Scheifele, Stefan
    Verl, Alexander
    Riedel, Oliver
    ATP MAGAZINE, 2018, (11-12): : 68 - 78
  • [38] Cyber-Physical Zero Trust Architecture for Industrial Cyber-Physical Systems
    Feng, Xiaomeng
    Hu, Shiyan
    IEEE Transactions on Industrial Cyber-Physical Systems, 2023, 1 : 394 - 405
  • [39] Cyber-physical systems for SmartGrid
    Dillon, Tharam S.
    Chang, Elizabeth
    Wu, Chen
    IECON Proceedings (Industrial Electronics Conference), 2010, : 13 - 14
  • [40] Cyber-Physical Systems Attestation
    Valente, Junia
    Barreto, Carlos
    Cardenas, Alvaro A.
    2014 IEEE INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING IN SENSOR SYSTEMS (IEEE DCOSS 2014), 2014, : 354 - 357
12345