Paper Details

db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"

%T A Systems Re\-engineering Case Study: Programming Robots with occam and Handel\-C
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
%A Dan Slipper, Alistair A. McEwan
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
%E Peter H. Welch, Adam T. Sampson, Jan Bækgaard Pedersen, Jon Kerridge, Jan F. Broenink, Frederick R. M. Barnes
%B Communicating Process Architectures 2011
%X This paper introduces a case study exploring some of the
   legacy issues that may be faced when redeveloping a system.
   The case study is a robotics system programmed in occam and
   Handel\-C, allowing us to draw comparisons between software
   and hardware implementations in terms of program
   architecture, ease of program code verification, and
   differences in the behaviour of the robot. The two languages
   used have been selected because of their model of
   concurrency and their relation to CSP. The case study
   contributes evidence that re\-implementing a system from
   an abstract model may present implementation specific issues
   despite maintaining the same underlying program control
   structure. The paper identifies these problems and suggests
   a number of steps that could be taken to help mitigate some
   of the issues.

If you have any comments on this database, including inaccuracies, requests to remove or add information, or suggestions for improvement, the WoTUG web team are happy to hear of them. We will do our best to resolve problems to everyone's satisfaction.

Copyright for the papers presented in this database normally resides with the authors; please contact them directly for more information. Addresses are normally presented in the full paper.