Applying interoperability to the validation of embedded systems design in aeronautics