C++ source code for SystemC model of a hallway navigation system.