Three way branching self consistency checking of hardware and software

A. Cantoni; L. Kleeman

doi:10.1002/spe.4380161108

Three way branching self consistency checking of hardware and software

Research output: Contribution to journal › Article › peer-review

Abstract

A simple technique that improves a system's capability of error detection and correction, and enhances software debugging is described in this note. The technique relies on consistency checking of branching variables during branching decisions and the appropriate selection of codes for the permissible values of variables.

Original language	English
Pages (from-to)	1053-1054
Number of pages	2
Journal	Software: Practice and Experience
Volume	16
Issue number	11
DOIs	https://doi.org/10.1002/spe.4380161108
Publication status	Published - 1 Jan 1986
Externally published	Yes

Access to Document

10.1002/spe.4380161108

Cite this

@article{242748e0416547cb81a7658e2be2a1be,

title = "Three way branching self consistency checking of hardware and software",

abstract = "A simple technique that improves a system's capability of error detection and correction, and enhances software debugging is described in this note. The technique relies on consistency checking of branching variables during branching decisions and the appropriate selection of codes for the permissible values of variables.",

keywords = "Branching, Coding Software errors, Hardware errors, Redundancy",

author = "A. Cantoni and L. Kleeman",

year = "1986",

month = jan,

day = "1",

doi = "10.1002/spe.4380161108",

language = "English",

volume = "16",

pages = "1053--1054",

journal = "Software: Practice and Experience",

issn = "0038-0644",

publisher = "John Wiley & Sons",

number = "11",

}

TY - JOUR

T1 - Three way branching self consistency checking of hardware and software

AU - Cantoni, A.

AU - Kleeman, L.

PY - 1986/1/1

Y1 - 1986/1/1

N2 - A simple technique that improves a system's capability of error detection and correction, and enhances software debugging is described in this note. The technique relies on consistency checking of branching variables during branching decisions and the appropriate selection of codes for the permissible values of variables.

AB - A simple technique that improves a system's capability of error detection and correction, and enhances software debugging is described in this note. The technique relies on consistency checking of branching variables during branching decisions and the appropriate selection of codes for the permissible values of variables.

KW - Branching

KW - Coding Software errors

KW - Hardware errors

KW - Redundancy

UR - http://www.scopus.com/inward/record.url?scp=0022807365&partnerID=8YFLogxK

U2 - 10.1002/spe.4380161108

DO - 10.1002/spe.4380161108

M3 - Article

AN - SCOPUS:0022807365

SN - 0038-0644

VL - 16

SP - 1053

EP - 1054

JO - Software: Practice and Experience

JF - Software: Practice and Experience

IS - 11

ER -

Three way branching self consistency checking of hardware and software

Abstract

Access to Document

Other files and links

Fingerprint

Cite this