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 条
  • [31] ALMA on-line calibration software
    Broguière, D
    Cosson, F
    Hafok, H
    Lucas, R
    Pardo, J
    [J]. ASTRONOMICAL DATA ANALYSIS SOFTWARE AND SYSTEMS XIII, 2004, 314 : 101 - 104
  • [32] Software for on-line telemedicine reporting
    Dockray, KT
    [J]. 11TH IEEE SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS, PROCEEDINGS, 1998, : 72 - 74
  • [33] ON-LINE TECHNIQUES IN HARDWARE AND SOFTWARE
    JONES, JA
    [J]. NUCLEONICS, 1967, 25 (01): : 34 - &
  • [34] Health physics software on-line
    Busby, B
    [J]. HEALTH PHYSICS, 1997, 73 (06): : 880 - 881
  • [35] An on-line repository for embedded software
    Yen, IL
    Khan, L
    Prabhakaran, B
    Bastani, FB
    Linn, J
    [J]. ICTAI 2001: 13TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2001, : 314 - 321
  • [36] On-line software in the HARP experiment
    Radicioni, F
    [J]. IEEE TRANSACTIONS ON NUCLEAR SCIENCE, 2004, 51 (04) : 1465 - 1469
  • [37] The PS ABS on-line software
    Arruat, M
    Balavoine, T
    Di Maio, F
    Schinzel, J
    [J]. WORKSHOP ON AUTOMATED BEAM STEERING AND SHAPING (ABS), PROCEEDINGS, 1999, 99 (07): : 107 - 107
  • [38] Software approach to hazard detection using on-line analysis of safety constraints
    Schroeder, B
    Schwan, K
    Aggarwal, S
    [J]. SIXTEENTH SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, 1997, : 80 - 87
  • [39] Soft-error detection using control flow assertions
    Goloubeva, O
    Rebaudengo, M
    Reorda, MS
    Violante, M
    [J]. 18TH IEEE INTERNATIONAL SYMPOSIUM ON DEFECT AND FAULT TOLERANCE IN VLSI SYSTEMS, PROCEEDINGS, 2003, : 581 - 588
  • [40] CEDA: Control-Flow Error Detection Using Assertions
    Vemu, Ramtilak
    Abraham, Jacob A.
    [J]. IEEE TRANSACTIONS ON COMPUTERS, 2011, 60 (09) : 1233 - 1245
12345