bkast [at] cosy [dot] sbg [dot] ac [dot] at
hstadler [at] cosy [dot] sbg [dot] ac [dot] at
This is a follow-up project of the reMOTEable project of the Embedded Software Engineering class in winter term 2005/2006.
The aim of this project is a formalization of the agent system reMOTEable with the main focus to enhance the command-set, especially to reduce the command-set to the smallest possible amount necessary to implement routing algorithms.
Besides the formalization of the network, we focused on building a formal model of the agent and the necessary computation model (a formalized Virtual Machine).
To prove our computation model we have implemented sample routing algorithms in order to show that our system provides the sufficient operations, necessary to conduct such operations.
for further information please take a look at the report.