Методика доказательства безопасности программного обеспечения микропроцессрных систем железнодорожной автоматики