|
-
Ключові слова:
забезпечення програмне, обеспечение программное, software ; керування автоматичне, управление автоматическое ; керування літаком, управління літаком, управление самолетом ; комплекс обчислювальний бортовий, БЦВК, комплекс вычислительный бортовой, БЦВК
-
Анотація:
В настоящее время для повышения наглядности и качества алгоритмического и программного обеспечения бортовых цифровых вычислительных машин предлагаются методы покрытий вершин или дуг оргграфов тестов в едином связанном графе. Тогда для вычисления оценок вероятностей отказов в ПО, представленных дугами, размеченными значениями вероятностей в отказах, используются марковские процессы, записанные в виде дифференциальных уравнений Колмогорова.
-
Є складовою частиною документа:
-
Теми документа
-
ББК науковий // Авиационные вычислительные машины и устройства бортового аэронавигационного оборудования
-
ББК науковий // Автоматическое пилотирование самолетов. Автоматическое управление полетом самолетов
|
