WoTUG - The place for concurrent processes

Paper Details


%T A Systems Re\-engineering Case Study: Programming Robots with occam and Handel\-C
%A Dan Slipper, Alistair A. McEwan
%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.

Pages © WoTUG, or the indicated author. All Rights Reserved.
Comments on these web pages should be addressed to: www at wotug.org

Valid HTML 4.01!