ABOUT THE PAPER BY A.F.KOLCHIN, N.V.MIKHEEV “ARCHITECTURE OF SAFETY RELATED SYSTEM SOFTWARE”

1. Колчин А.Ф., Михеев Н.В., Архитектура программного обеспечения системы, связанной с безопасностью, Надежность, № 1 (2015), стр. 75-81.

2. ГОСТ Р МЭК 61508–2012 Функциональная безопасность систем электрических, электронных, программируемых электронных, связанных с безопасностью. Части 1 – 7.

3. Altmeyer S., Davis R.A., On the Correctness, Optimality and Precision of Static Probabilistic Timing Analysis, University of York, report no. YCS-2013-487.