EKF модельный Basic, гост ГОСТ 15150, ГОСТ 14254