DocumentCode
1535226
Title
A formal specification of an oscilloscope
Author
Dellsie, N. ; Gartan, D.
Author_Institution
Tektronix, Beaverton, OR, USA
Volume
7
Issue
5
fYear
1990
Firstpage
29
Lastpage
36
Abstract
This case study presents the development of an abstract oscilloscope specification, using Z notation. A description is given of the problem and its context. An abstract model of an oscilloscope that clarifies its user-accessible functions is described. Issues that must be addressed to scale up this specification to deal with more complicated, realistic oscilloscopes are discussed. The use of formal models and formal reasoning in this specification is examined.<>
Keywords
computer graphic equipment; formal specification; oscilloscopes; standards; Z notation; abstract model; abstract oscilloscope specification; formal models; formal reasoning; formal specification; user-accessible functions; Algorithm design and analysis; Computer architecture; Control systems; Displays; Formal specifications; Hardware; Instruments; Oscilloscopes; Software measurement; Switches;
fLanguage
English
Journal_Title
Software, IEEE
Publisher
ieee
ISSN
0740-7459
Type
jour
DOI
10.1109/52.57890
Filename
57890
Link To Document