DEVELOPMENT OF HIGH-RELIABLE SYSTEMS BASED ON THE METHOD OF CROSS CHECK OF AXIOMATIC BASES
https://doi.org/10.21683/1729-2646-2016-16-1-66-76
Abstract
Based on the method of cross check of axiomatic bases, there have been developed reliable fail-safe microprocessor systems. They have been tested for reliability and fail-safety by using a set of simulation safety tests (SST). It has been revealed that reinforcement of the checking axiomatic basis allows us to improve fail-safety parameters. It has been shown that the cross check of axiomatic bases enables to develop fail-safe and reliable systems with target properties.
References
1. Bochkov K.А. Microprocessor automation systems on railway transport: study guide / K. A. Bochkov, А. N. Kovriga, S. N. Kharlap // Gomel, BelSTU. – 2013.
2. Sivko B.V. Axiomatic and basis approach to the development of reliable and fail-safe systems / B. V. Sivko // Automatic equipment on transport: PSTU. – 2015. – No. 4, v. 1., P. 381–399.
3. Bochkov K.А. Methods and tools of evidence for functional safety of microelectronic systems of railway automation equipment / K. A. Bochkov, S. N. Kharlap, D. N. Shevchenko // – 2011. – No.2. – P. 73–81.
4. Sivko B.V. Diverse axiomatic bases for the development of reliable and fail-safe systems / B. V. Sivko // BelSTU Reporter: Science and Transport. – 2014. – No. 1(28). – P. 19–23.
5. Bates M. PIC microcontrollers: an introduction to microelectronics. / M. Bates // Elsevier. – 2012. – 441 p.
Review
For citations:
Kharlap S.N., Sivko B.V. DEVELOPMENT OF HIGH-RELIABLE SYSTEMS BASED ON THE METHOD OF CROSS CHECK OF AXIOMATIC BASES. Dependability. 2016;16(1):66-76. https://doi.org/10.21683/1729-2646-2016-16-1-66-76
Views:
746
ISSN 1729-2646 (Print)
ISSN 2500-3909 (Online)
ISSN 2500-3909 (Online)
Email this article 