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 zcc@iist.unu.edu
8) phone number +853 712 930
9) FAX number +853 712 940