Методика выбора параметров тестирования и алгоритмического резервирования для обеспечения требований к надежности программного обеспечения систем обработки данных реального времени


https://doi.org/10.21686/1818-4243-2014-4(105-4-10

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


Аннотация

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


Об авторах

В. Л. Лясковский
Московский государственный технический университет им. Н.Э. Баумана
Россия

военная кафедра №1

д.т.н., профессор

Тел.: 8 (903) 800-89-64

www.bmstu.ru



И. А. Юскевич
Московский государственный технический университет им. Н.Э. Баумана
Россия

кафедра «Радиоэлектронные системы и устройства»

студент

Тел.: 8 (926) 787-12-26

www.bmstu.ru



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

1. Коваленко К.А., Лясковский В.Л., Прохоров А.Г. К вопросу повышения надежности функционирования многомашинных вычислительных комплексов с использованием аппаратурных средств и программно-логических методов // Автоматика и телемеханика. – 1997. – № 3. – С. 226–233.

2. Лясковский В.Л., Кабардинский А.Ю., Догадов А.А. и др. Метод обеспечения функциональной надежности комплексов средств автоматизации на основе применения избыточности различного вида // Программные продукты и системы. – 2013. – № 2 (102). – С. 38–41.

3. Корзун А.Е., Лясковский В.Л., Неплюев Р.Н. Организация отказоустойчивого функционирования комплексов средств автоматизации системы управления РЭС // Радиотехника. – 2010. – № 11. – С. 60–63.

4. Лясковский В.Л., Догадов А.А., Колесниченко Р.В. Методический подход к обеспечению требуемой эффективности реализации функциональных процессов в автономных робототехнических комплексах на основе применения избыточности различного вида // В сборнике материалов V научно-практической конференции «Технические и технологические системы», Краснодар, 2013 г. – С. 178–180.

5. Майерс Г. Надежность программного обеспечения. – М.: Мир, 1980. – 356 c.

6. Надежность программного обеспечения. Анализ крупномасштабных разработок / Т. Тейер, М. Липов, Э. Нельсон. – M.: Мир, 1981. – 323 с.

7. Структурное проектирование надежных программ встроенных ЭВМ / А.А. Штрик, Л.Г. Осовецкий, И.Г. Мессих. – Л.: Машиностроение. Ленингр. отделение, 1989. – 269 с.

8. Audet C., Digabel S. Le, and Tribes C. NOMAD user guide. Technical Report G-2009-37, Les cahiers du GERAD, 2009.

9. Лясковский В.Л., Юскевич И.А. Методический подход к оценке и обоснованию параметров алгоритмической избыточности в системах обработки данных специального назначения // В сборнике материалов V научно-практической конференции «Технические и технологические системы», Краснодар, 2013 г. – С. 181–184.


Дополнительные файлы

Для цитирования: Лясковский В.Л., Юскевич И.А. Методика выбора параметров тестирования и алгоритмического резервирования для обеспечения требований к надежности программного обеспечения систем обработки данных реального времени. Открытое образование. 2014;(4(105):4-10. https://doi.org/10.21686/1818-4243-2014-4(105-4-10

For citation: Lyaskovsky V.L., Ilya Y.A. METHODS OF CHOICE THE SOFTWARE TESTING AND ALGORITHMIC REDUNDANCY PARAMETERS TO ACHIEVE RELIABILITY REQUIREMENTS FOR THE REAL-TIME PROCESSING SYSTEMS. Open Education. 2014;(4(105):4-10. (In Russ.) https://doi.org/10.21686/1818-4243-2014-4(105-4-10

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

Обратные ссылки

  • Обратные ссылки не определены.


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


ISSN 1818-4243 (Print)
ISSN 2079-5939 (Online)