The article proposes an approach on the ground of axiomatic bases, that allows to formalize a solution of number of problems of development and verifi cation of fault-tolerant and trustworthy systems. The article states the provisions and objectives of this axiomatic-based approach. It is shown that the approach is consistent with the experience of fault-tolerant and trustworthy systems engineering, and allows to improve its fault tolerance and safety, to carry out a comparison of system fault tolerance, to maintain the balance between the fault tolerance and the complexity of development and verifi cation, to apply formal methods of prove, to formalize the integration of systems, to improve and to evaluate the level of diversity without the involvement of independent groups of developers and experts, and to formalized develop and verify system, detecting its own failures. Moreover, the approach makes it possible to solve the current problems of fault-tolerant and trustworthy systems, such as the formalization of methods for intraprocessor control, and of development of its realization conditions, as well as the proof of suffi ciency of the diversity of developed and verifi able systems.
fault tolerance, safety proof, formal methods, formalization, diversity, failure detection
1. Levenson N. Safeware: System Safety and Computers / N. Levenson. - N. Y. : Addison- Wesley, 1995. - 680 p.
2. Smith D. J. Safety Critical Systems Handbook. A Straightforward Guide to Functional Safety, IEC 61508 and Related Standards, Including Process IEC 61511 and Machinery IEC 62061 and ISO 13849 / D. J. Smith, Simpson Kenneth G. L. - Oxford, UK, Elsevier Ltd, 2010. - 270 p.
3. Bochkov K. A. Mikroprocessornye sistemy avtomatiki na zheleznodorozhnom transporte : ucheb. posobie / K. A. Bochkov, A. N. Kovriga, S. N. Harlap. - Gomel' : BelGUT, 2013. - 254 c.
4. Shubinskiy I. B. Funkcional'naya nadezhnost' informacionnyh sistem. Metody analiza / I. B. Shubinskiy. - Ul'yanovsk : Izd-vo zhurnala «Nadezhnost'», 2012. - 216 s.
5. Shubinskiy I. B. Strukturnaya nadezhnost' informacionnyh sistem. Metody analiza / I. B. Shubinskiy. - Ul'yanovsk : Tipografiya «Pechatnyy dvor», 2012. - 216 s.
6. Weil V. Professional Responsibility for Harmful Actions / V. Weil, B. Ferry. - Kendall Hunt, Dubuque, Iowa, 1984. - Rp. 402-411.
7. Sagan S. D. The Limits of Safety: Organizations, Accidents, and Nuclear Weapons / S. D. Sagan. - N. Y.: Princeton University Press, Princeton, 1993. - 302 p.
8. Neumann P. G. Computer-Related Risks / P. G. Neumann. - N. Y. : Addison-Wesley Professional, 1995. - 384 p.
9. Sivko B. V. Diversitetnye aksiomaticheskie bazisy dlya razrabotki bezopasnyh i otkazoustoychivyh sistem / B. V. Sivko // Vestnik BelGUTa: Nauka i transport. - 2014. - № 1 (28). - S. 19-23.
10. Smith D. J. Developments in the Use of Failure Rate Data and Reliability Prediction Methods for Hardware / D. J. Smith. - Delft : Delft University of Technology, Aerospace Engineering, Dissertation, 2000. - 175 p.
11. Parry G. W. Common Cause Failure Analysis: A Critique and Some Suggesti ons / G. W. Parry. - Gaithersburg, Maryland, USA, Reliability Engineering and System Safety. - 1991. - Vol. 34. - Issue 3. - Pp. 309-326.
12. Kasperski K. RISK vs. CISC / K. Kasperski [Elektronnyy resurs]. - Komp'yuterra, 1999. - № 36 (314). - Rezhim dostupa : http://old.computerra.ru/1999/314/3211/ , svobodnyy. - Zagl. s ekrana (data obrascheniya: 17.07.2015).
13. Orlov S. A. Organizaciya EVM i sistem / S. A. Orlov, B. Ya. Cil'ker. - SPb. : Piter, 2011. - 688 s.
