METHODS OF CHOICE THE SOFTWARE TESTING AND ALGORITHMIC REDUNDANCY PARAMETERS TO ACHIEVE RELIABILITY REQUIREMENTS FOR THE REAL-TIME PROCESSING SYSTEMS
https://doi.org/10.21686/1818-4243-2014-4(105-4-10
Abstract
We propose methods for the evaluation software reliability parameter of the real-time processing systems at complex application software testing and algorithmic redundancy. A formulation of the problem of choice the software testing and algorithmic redundancy parameters for achieving reliability requirements for the realtime processing systems is given as a problem of the mixed (integer and continuous) programming with the nonlinear constraints. The problem is solved by brute-force and mesh adaptive direct search algorithms.
About the Authors
Viktor L. Lyaskovsky
Bauman Moscow State Technical University
Russian Federation
Russian Federation
Military Science №1
Doctor of Engineering Science, Professor, Chair
Tel.: 8 (903) 800-89-64
Yuskevich A. Ilya
Bauman Moscow State Technical University
Russian Federation
Russian Federation
Chair of Radioelectronic Systems & Devices
student
Tel.: 8 (926) 787-12-26
References
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.
Review
For citations:
Lyaskovsky V.L., Ilya Yu.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
Views:
652
Email this article 