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] Collaborative runtime verification with tracematches
    Bodden, Eric
    Hendren, Laurie
    Lam, Patrick
    Lhotdk, Ondrej
    Naeem, Nomair A.
    RUNTIME VERIFICATION, 2007, 4839 : 22 - +
  • [42] Runtime Verification for LTL and TLTL
    Bauer, Andreas
    Leucker, Martin
    Schallhart, Christian
    ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2011, 20 (04)
  • [43] RUNTIME CHECKING FOR ISO STANDARD PASCAL
    EGGERT, PR
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1981, 7 (04) : 447 - 448
  • [44] Runtime Visualization and Verification in JIVE
    Ziarek, Lukasz
    Jayaraman, Bharat
    Lessa, Demian
    Swaminathan, J.
    RUNTIME VERIFICATION, (RV 2016), 2016, 10012 : 493 - 497
  • [45] Uncertainty in runtime verification: A survey
    Taleb, Rania
    Halle, Sylvain
    Khoury, Raphael
    COMPUTER SCIENCE REVIEW, 2023, 50
  • [46] Decentralized Stream Runtime Verification
    Miguel Danielsson, Luis
    Sanchez, Cesar
    RUNTIME VERIFICATION, RV 2019, 2019, 11757 : 185 - 201
  • [47] Runtime verification: the application perspective
    Falcone, Ylies
    Zuck, Lenore D.
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2015, 17 (02) : 121 - 123
  • [48] Runtime Verification of Contracts with Themulus
    Aranda Garcia, Alberto
    Cambronero, Maria-Emilia
    Colombo, Christian
    Llana, Luis
    Pace, Gordon J.
    SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2020, 2020, 12310 : 231 - 246
  • [49] Runtime verification of statechart implementations
    Pintér, G
    Majzik, I
    ARCHITECTING DEPENDABLE SYSTEMS III, 2005, 3549 : 148 - 172
  • [50] Runtime monitoring & software verification
    Drusinsky, D
    DR DOBBS JOURNAL, 2004, 29 (08): : 68 - 72
12345