user

Testing Real-Time Systems with Runtime Enforcement

被引：0
|
作者：
Bechennec, Jean-Luc [1 ]
Faucou, Sebastien [2 ]
Roux, Olivier H. [3 ]
Brun, Matthias [4 ]
Givel, Louis-Marie [3 ,4 ]
机构：
[1] CNRS, LS2N, CNRS UMR 6004, Nantes, France
[2] Univ Nantes, LS2N, CNRS UMR 6004, Nantes, France
[3] Ecole Cent Nantes, LS2N, CNRS UMR 6004, Nantes, France
[4] Grp ESEO, Angers, France
来源：
IEEE DESIGN & TEST | 2018年 / 35卷 / 04期
关键词：
PETRI NETS;
D O I：
10.1109/MDAT.2018.2791801
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper enables the testing of real-time systems through runtime enforcement that can realize different test scenarios with specific internal timed behaviors.
引用
收藏
页码：31 / 37
页数：7
相关论文
共 50 条
  • [31] Safe Runtime Verification of Real-Time Properties
    Colombo, Christian
    Pace, Gordon J.
    Schneider, Gerardo
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, PROCEEDINGS, 2009, 5813 : 103 - +
  • [32] Copilot: A Hard Real-Time Runtime Monitor
    Pike, Lee
    Goodloe, Alwyn
    Morisset, Robin
    Niller, Sebastian
    RUNTIME VERIFICATION, 2010, 6418 : 345 - +
  • [33] A Hierarchical Transaction Concept for Runtime Adaptation in Real-time, Networked Embedded Systems
    Prehofer, Christian
    Zeller, Marc
    2012 IEEE 17TH CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION (ETFA), 2012,
  • [34] Real-Time Simulation Support for Runtime Verification of Cyber-Physical Systems
    Zheng, Xi
    Julien, Christine
    Chen, Hongxu
    Podorozhny, Rodion
    Cassez, Franck
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2017, 16 (04)
  • [35] Stochastic Contracts for Runtime Checking of Component-based Real-time Systems
    Nandi, Chandrakana
    Monot, Aurelien
    Oriol, Manuel
    2015 18TH INTERNATIONAL ACM SIGSOFT SYMPOSIUM ON COMPONENT-BASED SOFTWARE ENGINEERING (CBSE), 2015, : 111 - 116
  • [36] Ontology-based Runtime Reconfiguration of Distributed Embedded Real-Time Systems
    Hoeftberger, Oliver
    Obermaisser, Roman
    2013 IEEE 16TH INTERNATIONAL SYMPOSIUM ON OBJECT/COMPONENT/SERVICE-ORIENTED REAL-TIME DISTRIBUTED COMPUTING (ISORC), 2013,
  • [37] Heterogeneous Runtime Monitoring for Real-Time Systems with art2kitekt
    Garcia-Gordillo, Miguel
    Valls, Joan J.
    Saez, Sergio
    2019 24TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2019, : 266 - 273
  • [38] CoRQ: Enabling Runtime Reconfiguration Under WCET Guarantees for Real-Time Systems
    Damschen, Marvin
    Bauer, Lars
    Henkel, Joerg
    IEEE EMBEDDED SYSTEMS LETTERS, 2017, 9 (03) : 77 - 80
  • [39] Generic Framework for Stress Testing of Real-time Systems
    Naseem, Afshan
    Malik, Asad Waqar
    Khan, Shoab Ahmed
    2018 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL ENGINEERING AND ENGINEERING MANAGEMENT (IEEE IEEM), 2018, : 406 - 410
  • [40] Property-oriented testing of real-time systems
    Li, SH
    Wang, J
    Dong, W
    Qi, ZC
    11TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2004, : 358 - 365
12345