Poster Abstract: REVERT: Runtime Verification for Real-Time Systems

被引：2
|
作者：
Kochanthara, Sangeeth [1 ]
Nelissen, Geoffrey [2 ]
Pereira, David [2 ]
Purandare, Rahul [1 ]
机构：
[1] IIIT Delhi, Delhi, India
[2] ISEP, CISTER INESC TEC, Oporto, Portugal
来源：
PROCEEDINGS OF 2016 IEEE REAL-TIME SYSTEMS SYMPOSIUM (RTSS) | 2016年
关键词：
D O I：
10.1109/RTSS.2016.42
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：365 / 365
页数：1
相关论文
共 50 条
  • [1] Runtime verification of embedded real-time systems
    Thomas Reinbacher
    Matthias Függer
    Jörg Brauer
    Formal Methods in System Design, 2014, 44 : 203 - 239
  • [2] 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
  • [3] Runtime verification of embedded real-time systems
    Reinbacher, Thomas
    Fuegger, Matthias
    Brauer, Joerg
    FORMAL METHODS IN SYSTEM DESIGN, 2014, 44 (03) : 203 - 239
  • [4] 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 - +
  • [5] Poster Abstract: Securing Edge-Based Real-Time IoT Systems
    Kim, Dongha
    Kim, Hokeun
    PROCEEDINGS OF THE 21ST ACM CONFERENCE ON EMBEDDED NETWORKED SENSOR SYSTEMS, SENSYS 2023, 2023, : 544 - 545
  • [6] POSTER ABSTRACT - An Optimizing Framework for Real-time Scheduling
    Sundharam, Sakthivel Manikandan
    Altmeyer, Sebastian
    Navet, Nicolas
    2016 IEEE REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM (RTAS), 2016,
  • [7] 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)
  • [8] Runtime Verification in Real-Time with the Copilot Language: A Tutorial
    Perez, Ivan
    Goodloe, Alwyn E.
    Dedden, Frank
    FORMAL METHODS, PT II, FM 2024, 2025, 14934 : 469 - 491
  • [9] Poster Abstract: Real-Time Adaptive Signaling for Isolated Intersections
    Peddi, Sai Prathyusha
    2013 ACM/IEEE INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS (ICCPS), 2013, : 256 - 256
  • [10] Testing Real-Time Systems with Runtime Enforcement
    Bechennec, Jean-Luc
    Faucou, Sebastien
    Roux, Olivier H.
    Brun, Matthias
    Givel, Louis-Marie
    IEEE DESIGN & TEST, 2018, 35 (04) : 31 - 37
12345