METHODS OF SOFTWARE FUNCTIONAL DEPENDABILITY ASSURANCE
Dependability
View Archive Info| Field | Value | |
| Title |
METHODS OF SOFTWARE FUNCTIONAL DEPENDABILITY ASSURANCE
МЕТОДЫ ОБЕСПЕЧЕНИЯ ФУНКЦИОНАЛЬНОЙ НАДЕЖНОСТИ ПРОГРАММ |
|
| Creator |
I. Shubinsky B.; Closed Company IB Trans
И. Шубинский Б.; ЗАО "ИБТранс" |
|
| Subject |
a program; an error; software dependability; error prevention; error detection; error correction; error-tolerant software; antibugging; multiversion programming; restart; dynamic redundancy; algorithmic redundancy; isolation of errors
программа; ошибка; надежность программ; предупреждение ошибок; обнаружение ошибок; исправление ошибок; устойчивость к ошибкам; защитное программирование; многоверсионное программирование; рестарт; динамическая избыточность; алгоритмическая избыточность; изоляция ошибок |
|
| Description |
The paper considers the basic aspects of the construction of reliable software. It discusses methods and ways of error prevention based on protective and multiversion programming, tools of passive and active detection of errors, principles and methods of error correction based on dynamic redundancy and restart. Some emphasis is made on solving the tasks of construction of error-tolerant programs with the help of digression methods, techniques of error isolation and construction of redundant algorithms not critical to various types of information process violations.
В статье рассматриваются основные аспекты построения надежного программного обеспечения. Обсуждаются методы и способы предупреждения ошибок на основе защитного и многоверсионного программирования, средства пассивного и активного обнаружения ошибок, принципы и методы исправления ошибок на основе динамической избыточности и рестарта. Большое внимание в статье уделяется решению задач построения программ устойчивых к ошибкам с помощью методов отступления, методов изоляции ошибок и построения избыточных алгоритмов не критичных к различного рода нарушениям информационного процесса. |
|
| 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/47
|
|
| Source |
Dependability; № 4 (2014); 87-101
Надежность; № 4 (2014); 87-101 1729-2646 |
|
| Language |
rus
eng |
|
| Relation |
http://www.dependability.ru/jour/article/view/47/189
http://www.dependability.ru/jour/article/view/47/190 Шубинский И.Б. Функциональная надежность информационных систем (Методы анализа). М.: ООО «Журнал «Надежность», 2012, 296с. BS EN 50128:2011. Программное обеспечение для систем управления и защиты на железных дорогах. ГОСТ Р/МЭК 61508-3-2012. Функциональная безопасность систем электрических, электронных, программируемых электронных, связанных с безопасностью. Требования к программному обеспечению. |
|
| 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). |
|