Protection Against External Errors in a Dedicated System

Authors:
C. Bellon;G. Saucier
Affiliations:
Institut National Polytechnique de Grenoble;-
Venue:
IEEE Transactions on Computers
Year:
1982

Citing 7
Cited 1

Data Flow Analysis in Software Reliability

ACM Computing Surveys (CSUR)
An Introduction to Proving the Correctness of Programs

ACM Computing Surveys (CSUR)
Petri Nets

ACM Computing Surveys (CSUR)
A program data flow analysis procedure

Communications of the ACM
A unified approach to global program optimization

POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
New assertion concepts for self-metric software validation

Proceedings of the international conference on Reliable software
Rollback and Recovery Strategies for Computer Programs

IEEE Transactions on Computers

CADOC: a system for computed aided functional test

ITC'84 Proceedings of the 1984 international test conference on The three faces of test: design, characterization, production

Quantified Score

Hi-index	14.98

Visualization

Abstract

This paper deals with the protection of a dedicated subsystem against an erroneous environment. The inputs of the subsystem can be erroneous and the subsystem must be able to detect erroneous inputs and to recover from them.