Keywords: real time systems, real time languages, requirement capture, specification, verification, duration calculus, hybrid systems, refinement, adaptive control, scheduling
Start Date: 1 December 93 / Duration: 42 months
[ participants / contact]
This project comes in collaboration with the ESPRIT BRA - ProCoS II project and deals with design techniques for real time systems. The work programme includes work on mathematical calculi for real time systems, techniques for requirement capture which assist in deriving formal specifications from informal requirements, the construction of experimental real time programming languages, and techniques for the verification of real time programs. Results will include case studies and prototypes based on the techniques developed.
Non-EU Partners are working on an advanced, joint industry-university development project in which rigorous techniques supported by semantics-based tools are applied in case studies to large scale software developments. They focus on software to support large-scale infrastructure systems such as railways, manufacturing industries and health care systems. The work of the Oxford site on the unification of theories of programming has applied the philosophy of refinement to a variety of logic programming, parallel programming and functional programming paradigms. The idea that refinement is implication is expected to facilitate the development of a theorem proving system by implementing the refinement calculus as a theory in proof tools.
The work done so far has been presented at four international conferences.
University of Oxford, ,
11 Keble Road
Oxford OX1 3QD, UK
University of Oxford, UK
Universität Oldenburg, D
Christian-Albrechts-Universität zu Kiel, D
Technical University of Denmark, DK
The United Nations University (UNU)
International Institute for Software Technology, PTM
Beijing University of Aeronautics & Astronautics, CHI
Prof. C.A.R. Hoare
Tel: +44 1865 273 838
Fax: +44 1865 273 839
DTRTS - KIT010, May 1997
please address enquiries to the ESPRIT Information Desk
html version of synopsis by Nick Cook