Computation Platform for Automatic Analysis of Embedded Software Systems Using Model Based Approach