Paper Details

@InProceedings{SlipperMcEwan11,
  title = "{A} {S}ystems {R}e-engineering {C}ase {S}tudy: {P}rogramming {R}obots with occam and {H}andel-{C}",
  author= "Slipper, Dan and McEwan, Alistair A.",
  editor= "Welch, Peter H. and Sampson, Adam T. and Pedersen, Jan Bækgaard and Kerridge, Jon and Broenink, Jan F. and Barnes, Frederick R. M.",
  pages = "317--327",
  booktitle= "{C}ommunicating {P}rocess {A}rchitectures 2011",
  isbn= "978-1-60750-773-4",
  year= "2011",
  month= "jun",
  abstract= "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.