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 条
  • [1] Runtime checking for program verification
    Zee, Karen
    Kuncak, Viktor
    Taylor, Michael
    Rinard, Martin
    RUNTIME VERIFICATION, 2007, 4839 : 202 - +
  • [2] Enforcing Safety at Runtime for Systems with Disturbances
    Abate, Matthew
    Coogan, Samuel
    2020 59TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2020, : 2038 - 2043
  • [3] From Model Checking to Runtime Verification and Back
    Kejstova, Katarina
    Rockai, Petr
    Barnat, Jiri
    RUNTIME VERIFICATION (RV 2017), 2017, 10548 : 225 - 240
  • [4] Runtime Verification of C Memory Safety
    Rosu, Grigore
    Schulte, Wolfram
    Serbanuta, Traian Florin
    RUNTIME VERIFICATION, 2009, 5779 : 132 - +
  • [5] Runtime Verification and Reflection for Wireless Sensor Networks
    Fischer, Stefan
    Leucker, Martin
    2013 4TH INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING FOR SENSOR NETWORK APPLICATIONS (SESENA), 2013, : 35 - +
  • [6] Combining Model Checking and Runtime Verification for Safe Robotics
    Desai, Ankush
    Dreossi, Tommaso
    Seshia, Sanjit A.
    RUNTIME VERIFICATION (RV 2017), 2017, 10548 : 172 - 189
  • [7] Runtime Verification of Safety-Progress Properties
    Falcone, Ylies
    Fernandez, Jean-Claude
    Mounier, Laurent
    RUNTIME VERIFICATION, 2009, 5779 : 40 - 59
  • [8] Interactive Runtime Verification - When Interactive Debugging meets Runtime Verification
    Jakse, Raphael
    Falcone, Ylies
    Mehaut, Jean-Francois
    Pouget, Kevin
    2017 IEEE 28TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), 2017, : 182 - 193
  • [9] Enforcing Resilience in Cyber-physical Systems via Equilibrium Verification at Runtime
    Camilli, Matteo
    Mirandola, Raffaela
    Scandurra, Patrizia
    ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS, 2023, 18 (03)
  • [10] Runtime Verification for HyperLTL
    Bonakdarpour, Borzoo
    Finkbeiner, Bernd
    RUNTIME VERIFICATION, (RV 2016), 2016, 10012 : 41 - 45
12345