Record Details

SELECTION AND DEFINITION OF SAFETY FUNCTION WHEN VERIFYING RAILWAY SIGNALLING AND REMOTE CONTROL COMPUTER-BASED SYSTEMS

Dependability

View Archive Info
 
 
Field Value
 
Title SELECTION AND DEFINITION OF SAFETY FUNCTION WHEN VERIFYING RAILWAY SIGNALLING AND REMOTE CONTROL COMPUTER-BASED SYSTEMS
ВЫБОР И ОПРЕДЕЛЕНИЕ ФУНКЦИИ БЕЗОПАСНОСТИ ПРИ ВЕРИФИКАЦИИ МИКРОПРОЦЕССОРНЫХ СИСТЕМ ЖЕЛЕЗНОДОРОЖНОЙ АВТОМАТИКИ И ТЕЛЕМЕХАНИКИ
 
Creator K. Bochkov A.; Byelorussian State University of Transport
B. Sivko V.; Byelorussian State University of Transport
К. Бочков А.; Белорусский государственный университет транспорта
Б. Сивко В.; Белорусский государственный университет транспорта
 
Subject verification; validation; functional safety; safety function; correctness demonstration; critical computer-based objects
верификация; валидация; функциональная безопасность; функция безопасности; доказательство корректности; критически важные объекты информатизации
 
Description 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.
Рассмотрены вопросы определения, формализации и выбора функции безопасности, применяемой при разработке и доказательстве корректности программного обеспечения микропроцессорных систем железнодорожной автоматики и телемеханики. Приведены способы поиска и изменения функции безопасности на основании технического задания, ограниченности ресурсов, используемой стратегии обеспечения безопасности и общих требований к характеристикам системы.
 
Publisher LLC Journal Dependability
 
Contributor —
—
 
Date 2016-07-06
 
Type info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
—
—
 
Format application/pdf
application/pdf
 
Identifier http://www.dependability.ru/jour/article/view/56
 
Source Dependability; № 2 (2014); 101-115
Надежность; № 2 (2014); 101-115
1729-2646
 
Language rus
eng
 
Relation http://www.dependability.ru/jour/article/view/56/145
http://www.dependability.ru/jour/article/view/56/146
Butler R. W. «What is Formal Methods?» NASA LaRC Formal Methods Program, 2001.
Сивко Б. В. Доказательство корректности блока телеуправления 16-1 диспетчерской централизации «Нёман» // Вестник БелГУТа: Наука и Транспорт. - 2012. - №1(24). - С.18-21.
Харлап С. Н., Сивко Б. В. Верификация программного обеспечения микропроцессорной светооптической светодиодной системы // Вестник БелГУТа: Наука и Транспорт. - 2012. - №1 (24). - С.22-25.
Сивко Б. В. Проектирование безопасного программного обеспечения микропроцессорных устройств автоматики и телемеханики // Проблемы безопасности на трансп.: тезисы докл. VI Междунар. науч. - практ. конф., Гомель, 29-30 ноября 2012 г. / М-во образования Респ. Беларусь, М-во трансп. и коммуникаций Респ. Беларусь, Бел. ж. д., Белорус. гос. ун-т трансп.: редкол.: В.И.Сенько (отв. ред.) [и др.]. - Гомель, 2012. - С.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.
Сивко Б. В. Доказательство корректности программного обеспечения многопроцессорных устройств связи с объектами железнодорожной автоматики и телемеханики // Вестник БелГУТа: Наука и Транспорт. - 2012. - №2(25). - С.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.
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.
Boehm B. W., Papaccio P. N. Understanding and controlling software costs // IEEE Trans Softw Eng 14(10):1462-1477, October 1988.
Nancy G. Leveson, Software safety in embedded computer systems. Communications of the ACM, 34(2):34-46, February 1991.
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.
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.
Сапожников В. В., Кравцов Ю. А., Сапожников Вл. В. Дискретные устройства железнодорожной автоматики и телемеханики // М. Транспорт, 1988.
 
Rights Authors who publish with this journal agree to the following terms:Authors retain copyright and grant the journal right of first publication with the work simultaneously licensed under a Creative Commons Attribution License that allows others to share the work with an acknowledgement of the work's authorship and initial publication in this journal.Authors are able to enter into separate, additional contractual arrangements for the non-exclusive distribution of the journal's published version of the work (e.g., post it to an institutional repository or publish it in a book), with an acknowledgement of its initial publication in this journal.Authors are permitted and encouraged to post their work online (e.g., in institutional repositories or on their website) prior to and during the submission process, as it can lead to productive exchanges, as well as earlier and greater citation of published work (See The Effect of Open Access).
Авторы, публикующие в данном журнале, соглашаются со следующим:Авторы сохраняют за собой авторские права на работу и предоставляют журналу право первой публикации работы на условиях лицензии Creative Commons Attribution License, которая позволяет другим распространять данную работу с обязательным сохранением ссылок на авторов оригинальной работы и оригинальную публикацию в этом журнале.Авторы сохраняют право заключать отдельные контрактные договорённости, касающиеся не-эксклюзивного распространения версии работы в опубликованном здесь виде (например, размещение ее в институтском хранилище, публикацию в книге), со ссылкой на ее оригинальную публикацию в этом журнале.Авторы имеют право размещать их работу в сети Интернет (например в институтском хранилище или персональном сайте) до и во время процесса рассмотрения ее данным журналом, так как это может привести к продуктивному обсуждению и большему количеству ссылок на данную работу (См. The Effect of Open Access).