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 条
  • [41] Some Thoughts on Runtime Verification
    Maler, Oded
    RUNTIME VERIFICATION, (RV 2016), 2016, 10012 : 3 - 14
  • [42] 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
  • [43] Collaborative runtime verification with tracematches
    Bodden, Eric
    Hendren, Laurie
    Lam, Patrick
    Lhotdk, Ondrej
    Naeem, Nomair A.
    RUNTIME VERIFICATION, 2007, 4839 : 22 - +
  • [44] Runtime Verification for LTL and TLTL
    Bauer, Andreas
    Leucker, Martin
    Schallhart, Christian
    ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2011, 20 (04)
  • [45] RUNTIME CHECKING FOR ISO STANDARD PASCAL
    EGGERT, PR
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1981, 7 (04) : 447 - 448
  • [46] Runtime Visualization and Verification in JIVE
    Ziarek, Lukasz
    Jayaraman, Bharat
    Lessa, Demian
    Swaminathan, J.
    RUNTIME VERIFICATION, (RV 2016), 2016, 10012 : 493 - 497
  • [47] Uncertainty in runtime verification: A survey
    Taleb, Rania
    Halle, Sylvain
    Khoury, Raphael
    COMPUTER SCIENCE REVIEW, 2023, 50
  • [48] Decentralized Stream Runtime Verification
    Miguel Danielsson, Luis
    Sanchez, Cesar
    RUNTIME VERIFICATION, RV 2019, 2019, 11757 : 185 - 201
  • [49] Incrementally predictive runtime verification
    Ferrando, Angelo
    Delzanno, Giorgio
    JOURNAL OF LOGIC AND COMPUTATION, 2023, 33 (04) : 796 - 817
  • [50] Runtime verification: the application perspective
    Falcone, Ylies
    Zuck, Lenore D.
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2015, 17 (02) : 121 - 123
12345