DocumentCode
2747302
Title
Programming a VIPER
Author
Buckley, T.F. ; Jesty, P.H.
Author_Institution
Sch. of Comput. Studies, Leeds Univ., UK
fYear
1989
fDate
19-23 Jun 1989
Firstpage
84
Lastpage
92
Abstract
The programming techniques used with a verifiable integrated processor for enhanced reliability (VIPER) are presented. A brief outline of VIPER´s characteristics is followed by descriptions of three design studies of applications using VIPER. Two deal with aspects of the control of a main battle tank and the third with the metering of a high-value fluid in commerce. These studies have shown that, due to the lack of any interrupts, the polling of all the input signals with sufficient frequency becomes a major part of the system requirement. A formalism for priority polling is presented
Keywords
programming; VIPER; commerce; high-value fluid; input signals; main battle tank; metering; priority polling; programming techniques; verifiable integrated processor for enhanced reliability;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Assurance, 1989. COMPASS '89, 'Systems Integrity, Software Safety and Process Security', Proceedings of the Fourth Annual Conference on
Conference_Location
Gaithersburg, MD
Type
conf
DOI
10.1109/CMPASS.1989.76045
Filename
76045
Link To Document