Software Reliability Issues In CCS And CSP
Price
Free (open access)
Volume
4
Pages
17
Published
1993
Size
1,491 kb
Paper DOI
10.2495/SQM930481
Copyright
WIT Press
Author(s)
S. Counsell
Abstract
Software reliability issues in CCS and CSP S. Counsell Department of Computer Science, Birkbeck College, London University, Malet Street, London, UK ABSTRACT Two of the main problems in attaining reliable software in today's computer systems are, firstly, being able to accurately capture system, program and user requirements in the form of a specification, and secondly, finding a close enough link between that specification and the implemented code to allow easy maintenance, error diagnosis and cross-checking. Robin Milner's ideas, embodied in his 'Calculus of Communicating Systems (CCS)' and Tony Hoare's 'Communicating Sequential Processes (CSP)' provide a rich means of modelling the behaviour of sequential and concurrent programs and systems in such a way that these two problems can be attacked head- on. Using CCS as the basis for a specification language, and CSP as the basis for implementing a code like' image, it's possible to show firstly that the specification is a
Keywords