Title
A Systems Re-Engineering Case Study: Programming Robots With Occam And Handel-C
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.
Year
DOI
Venue
2011
10.3233/978-1-60750-774-1-317
COMMUNICATING PROCESS ARCHITECTURES 2011
Keywords
DocType
Volume
LEGO Mindstorms NXT, FPGA, software architecture
Conference
68
ISSN
Citations 
PageRank 
1383-7575
0
0.34
References 
Authors
0
2
Name
Order
Citations
PageRank
Dan Slipper100.68
Alistair A. McEwan28916.68