- A potential bug

Update the tests and documentation to reflect the fact that the service functions are now properly returning the ST[1, 4] failed start of execution notification when needed

Prepare for replacement of if statements checking message type with assertions and proper notification messages provided by ErrorHandler

Rework reportParameterIds() to use a map instead of an array in order to fix the bug with the uninitialized structs and make the code more robust and readable

setup, more info on numOfValidIds() source

- The vector header is included and the corresponding vector is defined
- Some definitions were added, as required by the standard, but a
further discussion for the final values is required

Replace the if's used for message type checking with proper error-handler-controlled assertions. One test needs updating to use the error handler's output.