7. The computer implemented method according to claim 1 , the one or more wrappers are interchangeable wrapper.
9. The computer implemented method according to claim 7 , wherein the verifying step further cooperatively engages the interchangeable wrapper of each high level modules of the second software model with an interconversion wrapper, itself cooperatively engaging with a hardware level shell module.