A formal specification of an oscilloscope

1 September 1990

journal article
Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Software

Vol. 7 (5) , 29-36
https://doi.org/10.1109/52.57890

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

FORMAL SPECIFICATIONS
OSCILLOSCOPES
INSTRUMENTS
COMPUTER ARCHITECTURE
DISPLAYS
HARDWARE
SWITCHES
ALGORITHM DESIGN AND ANALYSIS
CONTROL SYSTEMS
SOFTWARE MEASUREMENT

This publication has 0 references indexed in Scilit: