ProCoS-WG aims to aid the dissemination of results of the existing ProCoS II project [5] [6], a follow-on of the ProCoS I project [2] [3]. The long term objective of the Working Group is to contribute to radical improvement in standards of professional practice in the design and implementation of information technology products, involving both hardware and software, using formal methods [23]. The first target for improvement is in the area of safety-critical application [1] [12] [13]; but we believe that much of the same technology will eventually spin off to improve quality and reduce life cycle costs of other products in widespread use.
Topics of interest to members of the Working Group include theories and methodology to handle the following: (1) Requirements capture and analysis; (2) System specification and design; (3) Programming language processing and compilation; (4) Machine hardware including hardware/software co-design; (5) Implementation in hardware down to gate level.