A TEST HARNESS FOR A CONTROL SOFTWARE
Joseph C. Okika, Lokesh Siddalingaiah · 2005
ii to our FAMILIES with love iii Acknowledgements We wish to express thanks to our supervisor Professor Anders P. Ravn for his guidance and advice. We would also like to thank Engineer Jean of Alphashipmate for providing us with informa-tion the working of an Electronic Control Unit and a marine diesel engine. Our appreciation also goes to Mr Vesa-Matti Puro of OpenTTCN for providing us with the OpenTTCN tool. iv The thesis presents the overall activities involved in model based development of a test har-ness for a control software. This is illustrated by a case study on the Alpha Shipmate control