A Case-Study in Timed Refinement: A Mine Pump

@article{Mahony1992ACI,
  title={A Case-Study in Timed Refinement: A Mine Pump},
  author={Brendan P. Mahony and I. Hayes},
  journal={IEEE Trans. Software Eng.},
  year={1992},
  volume={18},
  pages={817-826}
}
A specification and top-level refinement of a simple mine pump control system, as well as a proof of correctness of the refinement, are presented as an example of the application of a formal method for the development of time-based systems. [...] Key Method The basic building block of specifications is a specification statement that gives a clear separation between the specification of the assumptions that the system may make about the environment in which it is to be placed, and the effect the system is…Expand
108 Citations
A formal method for specification and refinement of real-time systems
  • 9
Refinement of Complex Systems: A Case Study
  • 21
  • PDF
Coercing real-time refinement: a transmitter
  • 35
  • PDF
Determining the Specification of a Control System from That of Its Environment
  • 75
  • PDF
An engineering process for the verification of real-time systems
  • 13
The Specification and Refinement of an Environmental Model
  • 4
Deriving Specifications for Systems That Are Connected to the Physical World
  • 33
  • PDF
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 34 REFERENCES
A Theoretical Basis for Stepwise Refinement and the Programming Calculus
  • J. Morris
  • Computer Science
  • Sci. Comput. Program.
  • 1987
  • 422
  • PDF
Temporal proof methodologies for real-time systems
  • 178
  • PDF
Safety analysis of timing properties in real-time systems
  • 775
The specification statement
  • 310
  • PDF
The duality of fault‐tolerant system structures
  • 39
A Calculus of Durations
  • 866
Real-time systems and their programming languages
  • 296
Using Continuous Real Functions to Model Timed Histories
  • 37
  • PDF
...
1
2
3
4
...