Design Technologies for Real Time Systems


DTRTS - KIT010

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]


Objectivies and Approach

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.

Progress and Results

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.

Information Dissemination Activities and/or Exploitation

The work done so far has been presented at four international conferences.


Coordinator

University of Oxford, ,
Computing Laboratory
11 Keble Road
Oxford OX1 3QD, UK

EU Partners

University of Oxford, UK
Universität Oldenburg, D
Christian-Albrechts-Universität zu Kiel, D
Technical University of Denmark, DK

Non-EU Partners

The United Nations University (UNU)
International Institute for Software Technology, PTM
Beijing University of Aeronautics & Astronautics, CHI

CONTACT POINT

Prof. C.A.R. Hoare
Tel: +44 1865 273 838
Fax: +44 1865 273 839
E-mail: carh@comlab.ox.ac.uk


INCO synopses home page INCO cooperation index INCO keyword index
INCO acronym index INCO number index INCO Working Groups index
All
synopses home page all keywords index all acronyms index all numbers index

DTRTS - KIT010, May 1997


please address enquiries to the ESPRIT Information Desk

html version of synopsis by Nick Cook