ProCoS Workshop 2015

ProCoS Workshop
Date/Time: Monday 9 March - Tuesday 10 March 2015

Venue: BCS, 1st Floor, The Davidson Building, 5 Southampton Street, London WC2E 7HA, UK


 * Co-chairs


 * Prof. Jonathan Bowen, Birmingham City University, UK
 * Prof. Mike Hinchey, LERO, University of Limerick, Republic of Ireland
 * Prof. Dr Ernst-Rüdiger Olderog, Carl von Ossietzky Universität Oldenburg, Germany

Description
The years 2014 and 2015 mark 25 years and 20 years, respectively, since the start and end of the European ESPRIT ProCoS projects on Provably Correct Systems, inspired by the CLInc project in the USA. The ProCoS I/II projects and the associated ProCoS-US initiative ran from 1989-1995, followed by the ProCoS-WG Working Group of 25 partners. The projects aimed to perform research in the fundamental technical aspects of a development process for critical embedded systems, from the original capture of requirements all the way down to the computers and special purpose hardware on which the programs run. The projects were significant in their contributions to provably correct systems, and led directly to a better general understanding of the relationship between a range of theories, and how their combination can be used in the planning and development of critical software tasks. This event marks these 20th and 25th anniversaries of ProCoS to look back at its achievements and to identify key research that will contribute to the next generation of provably correct systems, with invited talks by leading international computer science researchers, many directly involved with the original ProCoS projects.

Prof. Jonathan Bowen of BCU CSE had been a core member of the ProCoS team of Oxford University, and then the coordinator of the ProCoS-WG. Prof. Zhiming Liu also worked for ProCoS II when he was a guest scientist at Technical University of Denmark.

BCS CSE member Xiaohong Chen attended the workshop as a technical helper, Prof. Zhiming Liu attend the workshop and give a talk on rCOS: A Model-Driven Architecture, Dr Abigail Cauchi also attended the workshop.

A report of the workshop, with photographs, is available as:


 * Bowen. Jonathan P., "BCS-FACS – ProCoS Workshop on Provably Correct Systems", FACS FACTS, issue 2016-1, pages 14–34, March 2016.

A proceedings of selected papers is due to be published by Springer in 2016.