Academician Zhou Chaochen

was staying at St.Petersburg from 24.04.97 to 29.04.97 on invitation of Russian Academy of Sciences and gave a talk:

An Introduction to Duration Calculus

April 28, 1997, 11:00


The Duration Calculus (abbreviated DC) represents a logical approach to formal design of real-time systems. DC is based on interval logic, and uses the real numbers to model time, and Boolean-valued (i.e. {0,1}-valued) functions over time to model states and events of real-time systems. The duration of a state in a time interval is the accumulated presence time of the state in the interval. DC extends interval logic with a calculus to specify and reason about properties of state durations.

The research of DC was introduced in the ProCoS project (ESPRIT BRA 3104 and 7071), when the project was investigating formal techniques for designing safety critical real-time systems. In a project case study of a gas burner system, it was realised that state duration had not been well studied yet as an essential measurement of real-time behaviour of computing systems. A research of a logic for state durations was therefore initiated by the project in 1990. The first paper of DC was published in 1991, and dozens of papers of DC have been published since then, which cover developments of logical calculi, their applications and mechanical support tools. The success of DC also stimulates similar research in other formal approaches.

This course will emphasize mathematical models of real-time systems adopted by DC and their formalizations in interval logic.

          Application for participation in EIMI program
       1) family name          ZHOU
       2) given name(s)        Chaochen
       3) degree, title(s)     Professor, Academician 
       4) affiliation          United Nations University, International Institute for Software Technology
       5) position             Principal Research Fellow
       6) mailing address      UNU/IIST, P.O. Box 3058, Macau (Via Hong Kong)
       7) e-mail address
       8) phone number         +853 712 930
       9) FAX number           +853 712 940