sustainНадежностьDependability1729-26462500-3909RAMS Journal Limited liability company10.21683/1729-2646-2014-0-2-101-115sustain-56Research ArticleФУНКЦИОНАЛЬНАЯ БЕЗОПАСНОСТЬ. ТЕОРИЯ И ПРАКТИКАFUNCTIONAL SAFETY. THE THEORY AND PRACTICEВЫБОР И ОПРЕДЕЛЕНИЕ ФУНКЦИИ БЕЗОПАСНОСТИ ПРИ ВЕРИФИКАЦИИ МИКРОПРОЦЕССОРНЫХ СИСТЕМ ЖЕЛЕЗНОДОРОЖНОЙ АВТОМАТИКИ И ТЕЛЕМЕХАНИКИSELECTION AND DEFINITION OF SAFETY FUNCTION WHEN VERIFYING RAILWAY SIGNALLING AND REMOTE CONTROL COMPUTER-BASED SYSTEMSБочковК. А.BochkovK. A.

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

Doctor of Engineering, Professor, Pro-rector for scientific activities, Scientific Head of Equipment Safety and EMC Laboratory

bochkov1999@mail.ruСивкоБ. В.SivkoB. V.

магистр технических наук, ассистент, лектор

Magister of Technical Sciences, assistant, lecturer

bsivko@gmail.comБелорусский государственный университет транспортаБеларусьByelorussian State University of TransportBelarus20140607201602101115Copyright © Бочков К.А., Сивко Б.В., 20162016Бочков К.А., Сивко Б.В.Bochkov K.A., Sivko B.V.Данная работа распространяется под лицензией Creative Commons Attribution 4.0.This work is licensed under a Creative Commons Attribution 4.0 License.https://www.dependability.ru/jour/article/view/56

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

The paper considers the issues of definition, formalization and selection of safety function used for the development and correctness demonstration of software of railway signalling and remote control systems. It also provides ways of searching for and changing of safety function based on a specification, limitation of resources, an applied safety strategy and general requirements for system performance.

верификациявалидацияфункциональная безопасностьфункция безопасностидоказательство корректностикритически важные объекты информатизацииverificationvalidationfunctional safetysafety functioncorrectness demonstrationcritical computer-based objectsReferencesButler R. W. «What is Formal Methods?» NASA LaRC Formal Methods Program, 2001.Butler R.W. “What is Formal Methods?” NASA LaRC Formal Methods Program, 2001.Сивко Б. В. Доказательство корректности блока телеуправления 16-1 диспетчерской централизации «Нёман» // Вестник БелГУТа: Наука и Транспорт. - 2012. - №1(24). - С.18-21.Sivko B.V. Correctness demonstration of the 16-1 remote control unit for “Niemen” centralized traffic control // BelGUT Bulletin: Science and Transport. - 2012. #1 (24). – pp. 18-21.Харлап С. Н., Сивко Б. В. Верификация программного обеспечения микропроцессорной светооптической светодиодной системы // Вестник БелГУТа: Наука и Транспорт. - 2012. - №1 (24). - С.22-25.Harlap S.N., Sivko B.V. Software verification for microprocessor based optical LED systems // BelGUT Bulletin: Science and Transport. - 2012. - #1 (24). – pp. 22-25.Сивко Б. В. Проектирование безопасного программного обеспечения микропроцессорных устройств автоматики и телемеханики // Проблемы безопасности на трансп.: тезисы докл. VI Междунар. науч. - практ. конф., Гомель, 29-30 ноября 2012 г. / М-во образования Респ. Беларусь, М-во трансп. и коммуникаций Респ. Беларусь, Бел. ж. д., Белорус. гос. ун-т трансп.: редкол.: В.И.Сенько (отв. ред.) [и др.]. - Гомель, 2012. - С.205.Sivko B.V. Safe software designing of microprocessor based devices of railway signalling and remote control systems // Problems of safety on transport: Report synopsis, VI International Scientific and practical Symposium, Gomel, November, 29-30, 2012 / Ministry of Education - Belarus, Ministry of transport and communications, Belarus State University of Transport, - Gomel, 2012. – p. 205.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.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.Сивко Б. В. Доказательство корректности программного обеспечения многопроцессорных устройств связи с объектами железнодорожной автоматики и телемеханики // Вестник БелГУТа: Наука и Транспорт. - 2012. - №2(25). - С.27-30.Sivko B.V. SW correctness demonstration for multiprocessing devices of communication with facilities of railway signalling and remote control systems // BelGUT Bulletin: Science and Transport. - 2012. - #2 (25). – pp. 27-30.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.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.Boehm B. W. Software engineering. IEEE Transactions on Computers 25:1226-1241, 1976.Boehm B. W. Software engineering. IEEE Transactions on Computers 25:1226-1241, 1976.Telles M., Hsieh Y., Telles M. A. The Science of Debugging // The Coriolis Group, 2001.Telles M., Hsieh Y., Telles M.A. The Science of Debugging // The Coriolis Group, 2001.Boehm B. W., Papaccio P. N. Understanding and controlling software costs // IEEE Trans Softw Eng 14(10):1462-1477, October 1988.Boehm B.W., Papaccio P.N. Understanding and controlling software costs // IEEE Trans Softw Eng 14:1462-1477, October 1988.Nancy G. Leveson, Software safety in embedded computer systems. Communications of the ACM, 34(2):34-46, February 1991.Nancy G. Leveson, Software safety in embedded computer systems. Communications of the ACM, 34:34-46, February 1991.Charles Perrow. Normal Accidents: Living with High Risk Technologies. Basic Books, New York, NY, 1984.Charles Perrow. Normal Accidents: Living with High Risk Technologies. Basic Books, New York, NY, 1984.Ivars Peterson, Fatal Defect: Chasing Killer Computer Bugs, Times Books, New York, 1995.Ivars Peterson, Fatal Defect: Chasing Killer Computer Bugs, Times Books, New York, 1995.Nancy G. Leveson. Safeware: System Safety and Computers. Addison-Wesley, 1995.Nancy G. Leveson. Safeware: System Safety and Computers. Addison-Wesley, 1995.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.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.Сапожников В. В., Кравцов Ю. А., Сапожников Вл. В. Дискретные устройства железнодорожной автоматики и телемеханики // М. Транспорт, 1988.Sapozhnikov V.V., Century В., Kravtsov Ju.A., Sapozhnikov Vl.V. Discrete devices of railway signalling and remote control systems // M. Transport, 1988.

The authors declare that there are no conflicts of interest present.