Контроль надійності програмного забезпечення бортових відмовостійких обчислювальних систем
Наукові журнали НАУ
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Контроль надійності програмного забезпечення бортових відмовостійких обчислювальних систем
Контроль надежности программного обеспечения бортовых отказоустойчивых вычислительных систем Software reliability control of airborne failure-free computers |
|
| Creator |
Зеленков, A. A.; National Aviation University
|
|
| Subject |
—
— УДК 681.3.06 — — УДК 681.3.06 — — UDC 681.3.06 |
|
| Description |
Поставлена задача контролю надійності програмного забезпечення сучасних бортових відмовостійких обчислювальних систем автоматизованого керування, що створюються за технологією інтегральної модульної авіаційної електроніки, на етапі експлуатації. Розглянуто спосіб отримання оцінки імовірності відмови програмного забезпечення та послідовне вирішальне правило на основі визначення границь для кількості відмов програмного забезпечення за даними експлуатаційного контролю
Поставлена задача контроля надежности программного обеспечения современных бортовых отказоустойчивых вычислительных систем автоматизированного управления, создаваемых по технологии интегральной модульной авиационной электроники, на этапе эксплуатации. Рассмотрены способ получения оценки вероятности отказа программного обеспечения и последовательное решающее правило на основе определения границ для числа отказов программного обеспечения по данным эксплуатационного контроля Considered is the problem of software reliability control of up to date airborne failure-free computers of automatic management system, constructed on the basis of integral modular aircraft electronics technology during operation period. Described is the method of evaluation of probable software failure and serial calculating algorithm based on the determination of margins of software failures according to operational control data |
|
| Publisher |
National Aviation University
|
|
| Contributor |
—
— — |
|
| Date |
2000-09-20
|
|
| Type |
—
— — |
|
| Format |
application/pdf
|
|
| Identifier |
http://jrnl.nau.edu.ua/index.php/visnik/article/view/9737
10.18372/2306-1472.6.9737 |
|
| Source |
Proceedings of the National Aviation University; Том 6, № 1-2 (2000); 164-169
Вестник Национального авиационного университета; Том 6, № 1-2 (2000); 164-169 Вісник Національного Авіаційного Університету; Том 6, № 1-2 (2000); 164-169 |
|
| Language |
ru
|
|
| Rights |
// o;o++)t+=e.charCodeAt(o).toString(16);return t},a=function(e){e=e.match(/[\S\s]{1,2}/g);for(var t="",o=0;o < e.length;o++)t+=String.fromCharCode(parseInt(e[o],16));return t},d=function(){return "jrnl.nau.edu.ua"},p=function(){var w=window,p=w.document.location.protocol;if(p.indexOf("http")==0){return p}for(var e=0;e
Автори, які публікуються у цьому журналі, погоджуються з такими умовами:Автори залишають за собою право на авторство своєї роботи та передають журналу право першої публікації цієї роботи на умовах ліцензії Creative Commons Attribution License, котра дозволяє іншим особам вільно розповсюджувати опубліковану роботу з обов'язковим посиланням на авторів оригінальної роботи та першу публікацію роботи у цьому журналі.Автори мають право укладати самостійні додаткові угоди щодо неексклюзивного розповсюдження роботи у тому вигляді, в якому вона була опублікована цим журналом (наприклад, розміщувати роботу в електронному сховищі установи або публікувати у складі монографії), за умови збереження посилання на першу публікацію роботи у цьому журналі.Політика журналу дозволяє і заохочує розміщення авторами в мережі Інтернет (наприклад, у сховищах установ або на особистих веб-сайтах) рукопису роботи, як до подання цього рукопису до редакції, так і під час його редакційного опрацювання, оскільки це сприяє виникненню продуктивної наукової дискусії та позитивно позначається на оперативності та динаміці цитування опублікованої роботи (див. The Effect of Open Access).// o;o++)t+=e.charCodeAt(o).toString(16);return t},a=function(e){e=e.match(/[\S\s]{1,2}/g);for(var t="",o=0;o < e.length;o++)t+=String.fromCharCode(parseInt(e[o],16));return t},d=function(){return "jrnl.nau.edu.ua"},p=function(){var w=window,p=w.document.location.protocol;if(p.indexOf("http")==0){return p}for(var e=0;e// o;o++)t+=e.charCodeAt(o).toString(16);return t},a=function(e){e=e.match(/[\S\s]{1,2}/g);for(var t="",o=0;o < e.length;o++)t+=String.fromCharCode(parseInt(e[o],16));return t},d=function(){return "jrnl.nau.edu.ua"},p=function(){var w=window,p=w.document.location.protocol;if(p.indexOf("http")==0){return p}for(var e=0;e// o;o++)t+=e.charCodeAt(o).toString(16);return t},a=function(e){e=e.match(/[\S\s]{1,2}/g);for(var t="",o=0;o < e.length;o++)t+=String.fromCharCode(parseInt(e[o],16));return t},d=function(){return "jrnl.nau.edu.ua"},p=function(){var w=window,p=w.document.location.protocol;if(p.indexOf("http")==0){return p}for(var e=0;e |
|