Checking and Enforcing Safety: Runtime Verification and Runtime Reflection

被引：0
|
作者：
Leucker, Martin [1 ]
机构：
[1] Tech Univ Munich, Munich, Germany
来源：
ERCIM NEWS | 2008年 / 75期
关键词：
D O I：
暂无
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
Ultimately, a safety-critical software system should meet its safety requirements if it is continuously monitored, and corrected when safety violations are detected. We present Runtime Verification and Runtime Reflection as promising techniques that respectively monitor and steer safety- critical systems so that they always meet their safety requirements.
引用
收藏
页码：35 / 36
页数：2
相关论文
共 50 条
  • [31] Runtime checking of datatype signatures in MPI
    Gropp, WD
    RECENT ADVANCES IN PARALLEL VIRTUAL MACHINE AND MESSAGE PASSING INTERFACE, PROCEEDINGS, 2000, 1908 : 160 - 167
  • [32] Runtime monitoring & software verification
    Time Rover
    1600, 68-72 (August 2004):
  • [33] On Benchmarking for Concurrent Runtime Verification
    Aceto, Luca
    Attard, Duncan Paul
    Francalanza, Adrian
    Ingolfsdottir, Anna
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING (FASE 2021), 2021, 12649 : 3 - 23
  • [34] General Anticipatory Runtime Verification
    Hipler, Raik
    Kallwies, Hannes
    Leucker, Martin
    Sanchez, Cesar
    COMPUTER AIDED VERIFICATION, PT II, CAV 2024, 2024, 14682 : 133 - 155
  • [35] Neural Networks for Runtime Verification
    Perotti, Alan
    Garcez, Artur d'Avila
    Boella, Guido
    PROCEEDINGS OF THE 2014 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS (IJCNN), 2014, : 2637 - 2644
  • [36] Runtime Verification at Work: A Tutorial
    Daian, Philip
    Guth, Dwight
    Hathhorn, Chris
    Li, Yilong
    Pek, Edgar
    Saxena, Manasvi
    Serbanuta, Traian Florin
    Rosu, Grigore
    RUNTIME VERIFICATION, (RV 2016), 2016, 10012 : 46 - 67
  • [37] Runtime Verification with the RV System
    Meredith, Patrick
    Rosu, Grigore
    RUNTIME VERIFICATION, 2010, 6418 : 136 - 152
  • [38] Runtime Verification with Particle Filtering
    Kalajdzic, Kenan
    Bartocci, Ezio
    Smolka, Scott A.
    Stoller, Scott D.
    Grosu, Radu
    RUNTIME VERIFICATION, RV 2013, 2013, 8174 : 149 - 166
  • [39] TeSSLa - An Ecosystem for Runtime Verification
    Kallwies, Hannes
    Leucker, Martin
    Schmitz, Malte
    Schulz, Albert
    Thoma, Daniel
    Weiss, Alexander
    RUNTIME VERIFICATION (RV 2022), 2022, 13498 : 314 - 324
  • [40] A Model for Collaborative Runtime Verification
    Testerink, Bas
    Bulling, Nils
    Dastani, Mehdi
    PROCEEDINGS OF THE 2015 INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS & MULTIAGENT SYSTEMS (AAMAS'15), 2015, : 1781 - 1782
12345