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] 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
  • [32] Some Thoughts on Runtime Verification
    Maler, Oded
    RUNTIME VERIFICATION, (RV 2016), 2016, 10012 : 3 - 14
  • [33] Runtime Verification with the RV System
    Meredith, Patrick
    Rosu, Grigore
    RUNTIME VERIFICATION, 2010, 6418 : 136 - 152
  • [34] 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
  • [35] 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
  • [36] 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
  • [37] 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
  • [38] 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
  • [39] Runtime monitoring & software verification
    Time Rover
    1600, 68-72 (August 2004):
  • [40] Runtime Assertion Checking with the XJML Tool
    Ramirez-de-Leon, Edgar D.
    Garcia-Alcocer, Eddy A.
    Torres-Martinez, Nicolas
    Chavez-Bosquez, Oscar A.
    Francisco-Leon, Julian J.
    2014 IEEE BIENNIAL CONGRESS OF ARGENTINA (ARGENCON), 2014, : 141 - 146
12345