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 条
  • [41] Testing real-time systems using genetic algorithms
    Wegener, J
    Sthamer, H
    Jones, BF
    Eyres, DE
    SOFTWARE QUALITY JOURNAL, 1997, 6 (02) : 127 - 135
  • [42] A practical and complete algorithm for testing real-time systems
    Cardell-Oliver, R
    Glover, T
    FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS, 1998, 1486 : 251 - 261
  • [43] Testing Interval Trees for Real-Time Scheduling Systems
    Hu, Xinfa
    Leung, Joseph Y. -T.
    RTCSA 2008: 14TH IEEE INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS - PROCEEDINGS, 2008, : 327 - 336
  • [44] Online testing of real-time systems using UPPAAL
    Larsen, KG
    Mikucionis, M
    Nielsen, B
    FORMAL APPROACHES TO SOFTWARE TESTING, 2005, 3395 : 79 - 94
  • [45] Testing real-time systems using genetic algorithms
    Wegener, J
    Sthamer, H
    Jones, BF
    Eyres, DE
    SOFTWARE QUALITY MANAGEMENT V: THE QUALITY CHALLENGE, 1997, : 259 - 268
  • [46] FUNDAMENTAL ISSUES IN TESTING DISTRIBUTED REAL-TIME SYSTEMS
    SCHUTZ, W
    REAL-TIME SYSTEMS, 1994, 7 (02) : 129 - 157
  • [47] Conformance testing of real-time component based systems
    Tarhini, A
    Fouchal, H
    ADVANCED DISTRIBUTED SYSTEMS, 2005, 3563 : 167 - 181
  • [48] Two architectures for testing distributed real-time systems
    Siddiquee, Shoukat Hayat
    En-Nouaary, Abdeslam
    Proc. - Int. Conf. Inf. Commun. Technol.: Theory Appl., ICTTA, (3388-3393):
  • [49] A rigorous method for testing real-time reactive systems
    Alagar, VS
    Zheng, M
    APSEC 2001: EIGHTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2001, : 213 - 220
  • [50] Testing real-time systems using genetic algorithms
    Joachim Wegener
    Harmen Sthamer
    Bryan F. Jones
    David E. Eyres
    Software Quality Journal, 1997, 6 : 127 - 135
12345