> programmed This is the key I think. Robot people will have buffer overflows, memory corruption and silently ignored errors. You will need some continuous int

> programmed This is the key I think. Robot people will have buffer overflows, memory corruption and silently ignored errors. You will need some continuous integration style routine to check for erroneous behaviors. Something that would do Check Operations to Preserve Specifications, or COPS for short.