Specifying optimal design for a steam-boiler system

  • Li XiaoShan
  • Wang JuAn
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1165)


Mean Value Calculus is a real-time interval logic which can be used to specify and reason about timing and logical constraints of real-time systems. In this paper, we apply it to specify and verify the steam-boiler control problem for Dagstuhl seminar. In addition to specifying safety requirement, emphasis is put on capturing non-functional requirements which reflect the qualities of designs, such as performance and optimization. Especially the fault-tolerant optimal design is presented to make the system run as long as possible while the water sensor is broken down.


Specification Verification Mean Value Calculus Steamboiler System Hybrid Systems Fault-tolerant Design 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    He Weidong, Zhou Chaochen: A Case Study of Optimization. In Computer Journal, Vol. 38, No.9, pp734–746, 1995.Google Scholar
  2. 2.
    Li Xiaoshan, Wang Juan: Specifying Optimal Design of a Steam-boiler Control System, UNU/IIST Technical Report Draft, February 1995.Google Scholar
  3. 3.
    Zhou Chaochen, C.A.R. Hoare and A.P. Ravn: A Calculus of Durations. In Information Processing Letters, 40, 5, pp. 269–276, 1991.Google Scholar
  4. 4.
    Zhou Chaochen and Li Xiaoshan: A Mean Value Calculus of Durations. In A Classical Mind (Essays in Honour of C.A.R. Hoare), Edited by A.W.Roscoe, Prentice-Hall, pp. 431–451,1994.Google Scholar
  5. 5.
    Zhou Chaochen, Anders P. Ravn and Michael R. Hansen: An Extended Duration Calculus for Hybrid Real-Time Systems. In Hybrid Systems, LNCS 736. Edited by R.L.Grossman, A. Nerode, A.P.Ravn and H. Rischel, pp. 36–59, Springer Verlag,1993.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  1. 1.International Institute for Software TechnologyUnited Nations UniversityMacau
  2. 2.Software Engineering Programme, Faculty of Science and TechnologyUniversity of MacauMacau

Personalised recommendations