%T A Cruise Control in occam based on an Implementation of KRoC on the Philips 8051 Microcontroller
%A Frank T. M. van Vugt, André W. P. Bakkers
%E Peter H. Welch, André W. P. Bakkers
%B Communicating Process Architectures 2000
%X This paper summarises the results of the realisation of a
Cruise Control system in occam using an implementation of
the Kent Retargettable occam Compiler (KRoC) on the Philips
8051 microcontroller. The increase in complexity of systems
designed comes with difficulties that can probably be
overcome using concurrent programming languages. occam is
such a language, originally developed for use with
transputers. The KRoC initiative allows one to translate the
transputer assembly produced from a program written in occam
into the assembly of another processor. In this case, it was
implemented for the Philips 8051 microcontroller, which is
an 8\-bits processor. The design and realisation in occam of
the Cruise Control system of Yourdon demonstrate its proper
functioning. The generated code is tested using a real\-time
in\-circuit 8051 emulator and special hardware to represent
car and interface. The design process using occam is
compared to a regular solution using a language like C.
Since this port is the first of its kind inasmuch as it is
not targeting \[rs]large\[rs] processors like the SPARC,
important conclusions can be drawn regarding the power of
the CSP\-concept. The port is not complete yet, future work
on it is recommended.
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