Executable assertions and timed traces for on-line software error detection

被引：11
|
作者：
Rabejac, C [1 ]
Blanquart, JP [1 ]
Queille, JP [1 ]
机构：
[1] CNRS,LAAS,LAB DEPENDABIL ENGN,F-31077 TOULOUSE,FRANCE
来源：
PROCEEDINGS OF THE TWENTY-SIXTH INTERNATIONAL SYMPOSIUM ON FAULT-TOLERANT COMPUTING | 1996年
关键词：
D O I：
10.1109/FTCS.1996.534602
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：138 / 147
页数：10
相关论文
共 50 条
  • [1] THE USE OF EXECUTABLE ASSERTIONS FOR ERROR-DETECTION AND DAMAGE ASSESSMENT
    JAOUA, A
    MILI, A
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 1990, 12 (01) : 15 - 37
  • [2] A framework for on-line timing error detection in software systems
    Cinque, Marcello
    Cotroneo, Domenico
    Della Corte, Raffaele
    Pecchia, Antonio
    [J]. FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2019, 90 : 521 - 538
  • [3] SOFTWARE FAULT TOLERANCE THROUGH EXECUTABLE ASSERTIONS.
    Andrews, D.M.
    [J]. 1978, : 641 - 645
  • [4] Source Code Transformation for Software-Based On-Line Error Detection
    Tsai, Tsung-Yen
    Huang, Jiun-Lang
    [J]. 2017 IEEE CONFERENCE ON DEPENDABLE AND SECURE COMPUTING, 2017, : 305 - 309
  • [5] On systematic design of globally consistent executable assertions in embedded software
    Jhumka, A
    Hiller, M
    Claesson, V
    Suri, N
    [J]. ACM SIGPLAN NOTICES, 2002, 37 (07) : 75 - 84
  • [6] On-line Error Detection and Testing of AES
    Patil, Jayashri
    [J]. 2009 4TH INTERNATIONAL CONFERENCE ON COMPUTERS AND DEVICES FOR COMMUNICATION (CODEC 2009), 2009, : 84 - 87
  • [7] An executable taxonomy of on-line modeling algorithms
    Bunton, S
    [J]. DCC '97 : DATA COMPRESSION CONFERENCE, PROCEEDINGS, 1997, : 42 - 51
  • [8] Runtime Verification Based on Executable Models: On-the-Fly Matching of Timed Traces
    Chupilko, Mikhail
    Kamkin, Alexander
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (111): : 67 - 81
  • [9] Low-cost on-line fault detection using control flow assertions
    Venkatasubramanian, R
    Hayes, JP
    Murray, BT
    [J]. 9TH IEEE INTERNATIONAL ON-LINE TESTING SYMPOSIUM, PROCEEDINGS, 2003, : 137 - 143
  • [10] False error study of on-line soft error detection mechanisms
    Kiran, Kumar Reddy M.
    Amrutur, Bharadwaj S.
    Parekhji, Rubin A.
    [J]. 14TH IEEE INTERNATIONAL ON-LINE TESTING SYMPOSIUM, PROCEEDINGS, 2008, : 53 - +
12345