Record Details

DEVELOPMENT OF HIGH-RELIABLE SYSTEMS BASED ON THE METHOD OF CROSS CHECK OF AXIOMATIC BASES

Dependability

View Archive Info
 
 
Field Value
 
Title DEVELOPMENT OF HIGH-RELIABLE SYSTEMS BASED ON THE METHOD OF CROSS CHECK OF AXIOMATIC BASES
РАЗРАБОТКА ВЫСОКОНАДЕЖНЫХ СИСТЕМ НА ОСНОВЕ МЕТОДА ВЗАИМНОЙ ПРОВЕРКИ АКСИОМАТИЧЕСКИХ БАЗИСОВ
 
Creator S. Kharlap N.
B. Sivko V.
С. Харлап Н.
Б. Сивко В.
 
Subject functional safety;formal methods;fail-safety;failure detection;IT critical objects
функциональная безопасность;формальные методы;отказоустойчивость;обнаружение отказов;критически важные объекты информатизации
 
Description 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.
На основе метода взаимной проверки аксиоматических базисов разработаны безопасные микропроцессорные системы, устойчивые к отказам. Проведены их испытания на безопасность и отказоустойчивость с помощью комплекса имитационных испытаний на безопасность (КИИБ). Выявлено, что усиление проверяющего аксиоматического базиса позволяет улучшить показатели отказоустойчивости. Показано, что взаимная проверка аксиоматических базисов позволяет разрабатывать отказоустойчивые и безопасные системы с целевыми свойствами.
 
Publisher LLC Journal Dependability
 
Contributor —
—
 
Date 2016-06-14
 
Type info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
—
—
 
Format application/pdf
application/pdf
 
Identifier http://www.dependability.ru/jour/article/view/8
 
Source Dependability; № 1 (2016); 66-76
Надежность; № 1 (2016); 66-76
1729-2646
 
Language rus
eng
 
Relation http://www.dependability.ru/jour/article/view/8/15
http://www.dependability.ru/jour/article/view/8/16
Бочков К. А. Микропроцессорные системы автоматики на железнодорожном транспорте: учеб. пособие / К. А. Бочков, А. Н. Коврига, С. Н. Харлап // Гомель, БелГУТ. – 2013.
Сивко Б. В. Аксиоматико-базисный подход для разработки безопасных и отказоустойчивых систем / Б. В. Сивко // Автоматика на транспорте: ПГУПС. – 2015. – № 4, т. 1., С. 381–399.
Бочков К. А. Методы и средства доказательства функциональной безопасности микроэлектронных систем железнодорожной автоматики / К. А. Бочков, С. Н. Харлап, Д. Н. Шевченко // Електромагнітна сумісність та безпека на залізничному транспорті. – 2011. – № 2. – С. 73–81.
Сивко Б. В. Диверситетные аксиоматические базисы для разработки безопасных и отказоустойчивых систем / Б. В. Сивко // Вестник БелГУТа: Наука и Транспорт. – 2014. – № 1(28). – С. 19–23.
Bates M. PIC microcontrollers: an introduction to microelectronics. / M. Bates // Elsevier. – 2012. – 441 p.
 
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).