Мои публикации

Статьи

Опубликованные, научно-рецензированные. В обратном по времени порядке.

• Сивко, Б. В. Разработка безопасных и отказоустойчивых систем на основе самопроверки аксиоматических базисов / Б. В. Сивко // Вестник БелГУТа: Наука и Транспорт. – 2016. – № 2 (33). – С. 130–132.
• Бочков, К. А., Харлап, С. Н., Сивко Б. В.Разработка отказоустойчивых систем на основе диверситетных аксиоматических базисов / К. А. Бочков, С. Н. Харлап, Б. В. Сивко // Автоматика на транспорте: ПГУПС. – 2016. – № 1 , т. 2. – С. 47–64.
• Харлап, С. Н., Сивко, Б. В. Разработка высоконадежных систем на основе метода взаимной проверки аксиоматических базисов / С. Н. Харлап, Б. В. Сивко // Надёжность, М. – 2016. – № 1 (56). – С. ??–??.
• Сивко, Б. В. Аксиоматико-базисный подход для разработки безопасных и отказоустойчивых систем / Б. В. Сивко // Автоматика на транспорте: ПГУПС. – 2015. – № 4 , т. 1. – С. 381–399.
• Сивко, Б. В. Методика доказательства безопасности программного обеспечения микропроцессорных систем железнодорожной автоматики и телемеханики / Б. В. Сивко // Вестник БелГУТа: Наука и Транспорт. – 2014. – № 2 (29). – С. 21–27.
• Сивко, Б. В. Диверситетные аксиоматические базисы для разработки безопасных и отказоустойчивых систем / Б. В. Сивко // Вестник БелГУТа: Наука и Транспорт. – 2014. – № 1 (28). – С. 19–23.
• Бочков, К. А., Харлап, С. Н., Сивко Б. В. Особенности программного обеспечения микропроцессорных систем железнодорожной автоматики и телемеханики / К. А. Бочков, С. Н. Харлап, Б. В. Сивко // Вестник БелГУТа: Наука и Транспорт. – 2014. – № 1 (28). – С. 13–18.
• Бочков, К. А., Сивко Б. В. Выбор и определение функции безопасности при верификации микропроцессорных систем железнодорожной автоматики и телемеханики / К. А. Бочков, Б. В. Сивко // Надёжность, М. – 2014. – № 2 (49). – С. 101–115. (1-я страница)
• Сивко, Б. В. Доказательство корректности программного обеспечения железнодорожной автоматики и телемеханики / Б. В. Сивко // Вестник БелГУТа: Наука и Транспорт. – 2013. – № 2 (27). – С. 21–26.
• Харлап, С. Н., Сивко Б. В. Верификация циклических систем железнодорожной автоматики и телемеханики / С. Н. Харлап, Б. В. Сивко // Вестник БелГУТа: Наука и Транспорт. – 2013. – № 2 (27). – С. 37–41.
• Сивко, Б. В. Определение функции безопасности при верификации программного обеспечения микропроцессорных систем железнодорожной автоматики и телемеханики / Б. В. Сивко // Вестник БелГУТа: Наука и Транспорт. – 2013. – № 1 (26). – С. 18–20.
• Сивко, Б. В. Доказательство корректности программного обеспечения многопроцессорных устройств связи с объектами железнодорожной автоматики и телемеханики / Б. В. Сивко //Вестник БелГУТа: Наука и Транспорт. – 2012. – № 2 (25). – С. 27–30.
• Бочков, К. А., Харлап С. Н., Сивко Б. В. Оценка временных параметров функционирования микропроцессорных устройств связи с объектами систем железнодорожной автоматики и телемеханики / К. А. Бочков, С. Н. Харлап, Б. В. Сивко // Вестник БелГУТа: Наука и Транспорт. – 2012. – № 2 (25). – С. 12–15.
• Харлап, С. Н., Сивко Б. В. Верификация программного обеспечения микропроцессорной светооптической светодиодной системы / С. Н. Харлап, Б. В. Сивко // Вестник БелГУТа: Наука и Транспорт. – 2012. – № 1 (24). – С. 22–25.
• Сивко, Б. В. Доказательство корректности блока телеуправления 16-1 диспетчерской централизации «Нёман» / Б. В. Сивко // Вестник БелГУТа: Наука и Транспорт. – 2012. – № 1 (24). – С. 18–21.

Патенты

• Микропроцессорная система централизации стрелок и сигналов: пат. BY 15306 / К. А. Бочков, С. Н. Харлап, А. Н. Коврига, А. В. Логвиненко, М. С. Кузьмич, А. В. Ермоленко, С. М. Зобов, Б. В. Сивко. – Опубл. 23.09.2011.
• Микропроцессорная система централизации стрелок и сигналов: пат. RU 2495778 / К. А. Бочков, С. Н. Харлап, А. Н. Коврига, А. В. Логвиненко, М. С. Кузьмич, А. В. Ермоленко, С. М. Зобов, Б. В. Сивко. – Опубл. 20.10.2013.

---

Papers

Already published, peer reviewed. There is a reverse chronological order.

• Sivko B.V., The axiomatic basis mutual checking method for development of safety and fault-tolerant systems / BelSUT Bulletin: Science and Transport. – 2016. – # 2 (33). – P. 130–132.
• Bochkov K. A., Kharlap S. N., Sivko B.V., Design of axiomatic based fault-tolerant systems / Automation on Transport: Petersburg State Transport University. – 2016. – # 1 , vol. 2. – P. 47–64.
• Kharlap S. N., Sivko B.V., Development of high-releable systems based on the method of cross check of axiomatic bases / Dependability, Moscow. – 2016. – # 1 (56). – P. ??–?? (in press).
• Sivko B.V., Axiomatic-based approach for development of trustworthy and fault-tolerant systems / Automation on Transport: Petersburg State Transport University. – 2015. – # 4 , vol. 1. – P. 381–399.
• Sivko B.V., The method for proof of safety for software of railway microprocessor systems / BelSUT Bulletin: Science and Transport. – 2014. – # 2 (29). – P. 21–27.
• Sivko B.V., Diverse Axiomatic Bases for Development of Safe and Dependable Systems / BelSUT Bulletin: Science and Transport. – 2014. – # 1 (28). – P. 19–23.
• Bochkov K. A., Kharlap S. N., Sivko B.V., Software Features of Microprocessor Railway Systems / BelSUT Bulletin: Science and Transport. – 2014. – # 1 (28). – P. 13–18.
• Bochkov K. A., Sivko B.V., Choice and definition of safety function at verification of microprocessor based systems of railway automatics and telemechanics / Dependability, Moscow. – 2014. – # 2 (49). – P. 101–115. (the first page)
• Sivko B. V. The proof of correctness of railway software systems / BelSUT Bulletin: Science and Transport. – 2013. – # 2 (27). – P. 21–26.
• Kharlap S. N., Sivko B. V., The verification of cyclic-executive railway systems / BelSUT Bulletin: Science and Transport. – 2013. – # 2 (27). – P. 37–41.
• Sivko B. V. Safety function definition during software verification of microprocessor interface rail systems / BelSUT Bulletin: Science and Transport. – 2013. – # 1 (26). – P .18–20.
• Sivko B. V. Proof of correctness of multiprocessor software of microprocessor railway systems / BelSUT Bulletin: Science and Transport. – 2012. – # 2 (25). – P. 27–30.
• Bochkov K. A., Kharlap S. N., Sivko B. V., Assessing time specifications of microprocessor interface rail automation and remote control devices / BelSUT Bulletin: Science and Transport. – 2012. – # 2 (25). – P. 12–15.
• Kharlap S. N., Sivko B. V., Problems of software verification of the microprocessing light-optical system / BelSUT Bulletin: Science and Transport. – 2012. – # 1 (24). – P. 22–25.
• Sivko B. V.,The proof of the correctness of the centralized dispatching control "Neman" telecontrol unit 16-1 / BelSUT Bulletin: Science and Transport. – 2012. – # 1 (24). – P. 18–21.

Patents

• Microprocessor railway interlocking system: BY 15306 / K. A. Bochkov, S. N. Kharlap, A. N. Kovriga, A. V. Logvinenko, М. S. Kuzmich, A. V. Ermolenko, S. M. Zobov, B. V. Sivko. – published 23.09.2011.
• Microprocessor railway interlocking system: RU 2495778 / K. A. Bochkov, S. N. Kharlap, A. N. Kovriga, A. V. Logvinenko, М. S. Kuzmich, A. V. Ermolenko, S. M. Zobov, B. V. Sivko. – published 20.10.2013.