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 条
  • [1] Use of runtime enforcement for the test of real-time systems
    Givel, Louis-Marie
    Brun, Matthias
    Constant, Camille
    Faucou, Sebastien
    Roux, Olivier H.
    2015 IEEE 17TH INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING AND COMMUNICATIONS, 2015 IEEE 7TH INTERNATIONAL SYMPOSIUM ON CYBERSPACE SAFETY AND SECURITY, AND 2015 IEEE 12TH INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS (ICESS), 2015, : 984 - 990
  • [2] Testing real-time embedded software using runtime enforcement
    Givel, Louis-Marie
    Bechennec, Jean-Luc
    Brun, Matthias
    Faucou, Sebastien
    Roux, Olivier H.
    2016 11TH IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS (SIES), 2016,
  • [3] Runtime verification of embedded real-time systems
    Thomas Reinbacher
    Matthias Függer
    Jörg Brauer
    Formal Methods in System Design, 2014, 44 : 203 - 239
  • [4] Runtime Verification of Real-time Embedded Systems
    Bonakdarpour, Borzoo
    Fischmeister, Sebastian
    EMSOFT '12: PROCEEDINGS OF THE TENTH AMC INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE 2012, 2012, : 249 - 250
  • [5] Runtime verification of embedded real-time systems
    Reinbacher, Thomas
    Fuegger, Matthias
    Brauer, Joerg
    FORMAL METHODS IN SYSTEM DESIGN, 2014, 44 (03) : 203 - 239
  • [6] RTMLton: An SML Runtime for Real-Time Systems
    Shivkumar, Bhargav
    Murphy, Jeffrey
    Ziarek, Lukasz
    PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES (PADL 2020), 2020, 12007 : 113 - 130
  • [7] Runtime support for reconfigurable real-time embedded systems
    Papp, Z
    IMTC/2001: PROCEEDINGS OF THE 18TH IEEE INSTRUMENTATION AND MEASUREMENT TECHNOLOGY CONFERENCE, VOLS 1-3: REDISCOVERING MEASUREMENT IN THE AGE OF INFORMATICS, 2001, : 2111 - 2116
  • [8] Real-time TTCN for testing real-time and multimedia systems
    Walter, T
    Grabowski, J
    TESTING OF COMMUNICATING SYSTEMS, VOL 10, 1997, : 37 - 54
  • [9] Domain and type enforcement for real-time operating systems
    Kiszka, J
    Wagner, B
    ETFA 2003: IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 2, PROCEEDINGS, 2003, : 439 - 446
  • [10] Poster Abstract: REVERT: Runtime Verification for Real-Time Systems
    Kochanthara, Sangeeth
    Nelissen, Geoffrey
    Pereira, David
    Purandare, Rahul
    PROCEEDINGS OF 2016 IEEE REAL-TIME SYSTEMS SYMPOSIUM (RTSS), 2016, : 365 - 365
12345