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 条
  • [21] Runtime Architecture Adaptation for Energy Management in Embedded Real-Time Systems
    Wang, H.
    Koren, I.
    Krishna, C. M.
    2012 INTERNATIONAL GREEN COMPUTING CONFERENCE (IGCC), 2012,
  • [22] Real-time MLton: A Standard ML runtime for real-time functional programs
    Shivkumar, Bhargav
    Murphy, Jeffrey
    Ziarek, Lukasz
    JOURNAL OF FUNCTIONAL PROGRAMMING, 2021, 31
  • [23] A scalable method for testing real-time systems
    En-Nouaary, Abdeslam
    SOFTWARE QUALITY JOURNAL, 2008, 16 (01) : 3 - 22
  • [24] Robustness testing of composed real-time systems
    Fouchal, Hacene
    Rollet, Antoine
    Tarhini, Abbas
    JOURNAL OF COMPUTATIONAL METHODS IN SCIENCES AND ENGINEERING, 2010, 10 : S137 - S150
  • [25] A local approach to the testing of real-time systems
    Koné, O
    COMPUTER JOURNAL, 2001, 44 (05): : 435 - 447
  • [26] Conformance testing to real-time communications systems
    Koné, O
    COMPUTER COMMUNICATIONS, 2002, 25 (01) : 32 - 45
  • [27] Automatic Testing of Real-Time Graphics Systems
    Nagy, Robert
    Schneider, Gerardo
    Timofeitchik, Aram
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2013, 2013, 7795 : 463 - 477
  • [28] A scalable method for testing real-time systems
    Abdeslam En-Nouaary
    Software Quality Journal, 2008, 16 : 3 - 22
  • [29] Testing Real-Time Systems Using TINA
    Adjir, Noureddine
    De Saqui-Sannes, Pierre
    Rahmouni, Kamel Mustapha
    TESTING OF SOFTWARE AND COMMUNICATION SYSTEMS, PROCEEDINGS, 2009, 5826 : 1 - +
  • [30] Testing and testing techniques for real-time embedded software systems
    Tracey, N
    McDermid, J
    MICROPROCESSORS AND MICROSYSTEMS, 2001, 24 (09) : 441 - 441
12345