Preview

Надежность

Расширенный поиск

ВЫБОР И ОПРЕДЕЛЕНИЕ ФУНКЦИИ БЕЗОПАСНОСТИ ПРИ ВЕРИФИКАЦИИ МИКРОПРОЦЕССОРНЫХ СИСТЕМ ЖЕЛЕЗНОДОРОЖНОЙ АВТОМАТИКИ И ТЕЛЕМЕХАНИКИ

https://doi.org/10.21683/1729-2646-2014-0-2-101-115

Полный текст:

Аннотация

Рассмотрены вопросы определения, формализации и выбора функции безопасности, применяемой при разработке и доказательстве корректности программного обеспечения микропроцессорных систем железнодорожной автоматики и телемеханики. Приведены способы поиска и изменения функции безопасности на основании технического задания, ограниченности ресурсов, используемой стратегии обеспечения безопасности и общих требований к характеристикам системы.

Об авторах

К. А. Бочков
Белорусский государственный университет транспорта
Беларусь
доктор технических наук, профессор, проректор по научной работе, научный руководитель НИЛ «Безопасность и ЭМС технических средств


Б. В. Сивко
Белорусский государственный университет транспорта
Беларусь
магистр технических наук, ассистент, лектор


Список литературы

1. Butler R. W. «What is Formal Methods?» NASA LaRC Formal Methods Program, 2001.

2. Сивко Б. В. Доказательство корректности блока телеуправления 16-1 диспетчерской централизации «Нёман» // Вестник БелГУТа: Наука и Транспорт. - 2012. - №1(24). - С.18-21.

3. Харлап С. Н., Сивко Б. В. Верификация программного обеспечения микропроцессорной светооптической светодиодной системы // Вестник БелГУТа: Наука и Транспорт. - 2012. - №1 (24). - С.22-25.

4. Сивко Б. В. Проектирование безопасного программного обеспечения микропроцессорных устройств автоматики и телемеханики // Проблемы безопасности на трансп.: тезисы докл. VI Междунар. науч. - практ. конф., Гомель, 29-30 ноября 2012 г. / М-во образования Респ. Беларусь, М-во трансп. и коммуникаций Респ. Беларусь, Бел. ж. д., Белорус. гос. ун-т трансп.: редкол.: В.И.Сенько (отв. ред.) [и др.]. - Гомель, 2012. - С.205.

5. David Smith 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» / David J. Smith and Kenneth G. L. Simpson // Elsevier Ltd., 2010.

6. Сивко Б. В. Доказательство корректности программного обеспечения многопроцессорных устройств связи с объектами железнодорожной автоматики и телемеханики // Вестник БелГУТа: Наука и Транспорт. - 2012. - №2(25). - С.27-30.

7. Fagan M. E. Design and code inspections to reduce errors in program development, IBM Systems Journal, Volume 15 Issue 3, September 1976, p. 182-211.

8. Boehm B. W. Software engineering. IEEE Transactions on Computers 25:1226-1241, 1976.

9. Telles M., Hsieh Y., Telles M. A. The Science of Debugging // The Coriolis Group, 2001.

10. Boehm B. W., Papaccio P. N. Understanding and controlling software costs // IEEE Trans Softw Eng 14(10):1462-1477, October 1988.

11. Nancy G. Leveson, Software safety in embedded computer systems. Communications of the ACM, 34(2):34-46, February 1991.

12. Charles Perrow. Normal Accidents: Living with High Risk Technologies. Basic Books, New York, NY, 1984.

13. Ivars Peterson, Fatal Defect: Chasing Killer Computer Bugs, Times Books, New York, 1995.

14. Nancy G. Leveson. Safeware: System Safety and Computers. Addison-Wesley, 1995.

15. Gerhart S.L., Yelowitz L., Observations of Fallibility in Applications of Modern Programming Methodologies // IEEE Trans. Software Eng., vol. 2, no. 3, 1976, pp. 195-207.

16. Сапожников В. В., Кравцов Ю. А., Сапожников Вл. В. Дискретные устройства железнодорожной автоматики и телемеханики // М. Транспорт, 1988.


Для цитирования:


Бочков К.А., Сивко Б.В. ВЫБОР И ОПРЕДЕЛЕНИЕ ФУНКЦИИ БЕЗОПАСНОСТИ ПРИ ВЕРИФИКАЦИИ МИКРОПРОЦЕССОРНЫХ СИСТЕМ ЖЕЛЕЗНОДОРОЖНОЙ АВТОМАТИКИ И ТЕЛЕМЕХАНИКИ. Надежность. 2014;(2):101-115. https://doi.org/10.21683/1729-2646-2014-0-2-101-115

For citation:


Bochkov K.A., Sivko B.V. SELECTION AND DEFINITION OF SAFETY FUNCTION WHEN VERIFYING RAILWAY SIGNALLING AND REMOTE CONTROL COMPUTER-BASED SYSTEMS. Dependability. 2014;(2):101-115. (In Russ.) https://doi.org/10.21683/1729-2646-2014-0-2-101-115

Просмотров: 299


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 1729-2646 (Print)
ISSN 2500-3909 (Online)