Validation and Verification of Stability of ARM-microprocessor Software