User Group Meeting

Provably Correct Systems Workshop

The ProCoS group plans to hold a workshop as part of FM'99 to allow informal presentations on any aspect of `Provably Correct Systems'. These will include reports on projects and other work in progress that has been undertaken by partners of the ESPRIT ProCoS II project and related initiatives that have developed as a result. In particular, the Duration Calculus will be presented.

Organizer: Jonathan Bowen, The University of Reading, UK.

This workshop is in two separate sessions which may be attended independently if desired. The first session will consist of presentations relating to recent research work undertaken by groups who were involved with the ESPRIT ProCoS project on "Provably Correct Systems". The second session will provide presentations on the Duration Calculus, a notation useful for high-level real-time requirements that was originally developed as part of the ProCoS project. All those with an interest in proving systems correct (especially in the safety-critical field) from requirements downwards are invited to attend. The programme is available in PostScript format and gzipped PostScript format.

1. Wednesday 22 Sept., 10.30am-12.30pm:
   Provably Correct Systems `Diaspora' research reports session
   Chair: Jonathan Bowen, The University of Reading, UK.

   Contributors:

   1. Bettina Buth, University of Bremen, Germany
   2. Augusto Sampaio, UFPE, Brazil
   3. Markus Müller-Olm, University of Dortmund, Germany

   Book announcements:

   1. High-Integrity System Specification and Design
   2. Industrial-Strength Formal Methods in Practice (Launch at FM'99!) ***

   (Signed copies of both books will be available for inspection and sale at the end of this session.)

2. Wednesday 22 Sept., 2.00pm-3.30pm:
   Duration Calculus overview session
   Chair: He Jifeng, UNU/IIST, Macau

   Contributors:

   1. He Jifeng (Integrating variants of DC)
   2. Xu Qiwen (PVS and model checking tools for DC applications)

Contact

For further information on ProCoS activities, see:

http://vl.fmnet.info/procos/