HIGHLIGHTS
- who: domte from the Siberian Federal University, Svobodny pr, Krasnoyarsk, Russia have published the Article: u0421u0442u0430u0442u044cu044f _004(u043du043eu043cu0435u0440_2)_u0433u043eu0442u043eu0432u043e (2), in the Journal: (JOURNAL)
SUMMARY
Случаи же отказов системы по причине того, что сбойный программный компонент некорректно обращается с памятью, перезаписывая данные, исключены архитектурой ОС FreeRTOS, поскольку программные компоненты, исполняемые в ней, не работают с памятью напрямую, а взаимодействуют через механизм очередей, в котором содержатся решения для обеспечения отказоустойчивой работы. Метод верификации Для реализации метода верификации в функцию статистики включается дополнительная проверка - не достиг ли вес любой версии из пула взвешенного голосования определенного порогового значения. В случае, если для версии существует приемочный тест, он проводится, результат его исполнения записывается в журнал, после чего поток версии принудительно останавливается, очищается используемая им память. В случае, если версия не проходит приемочное тестирование успешно, она исключается из пула и далее не участвует в голосовании. В случае повторного падения веса одной и той-же версии она исключается из пула, даже если успешно проходит приемочное тестирование. Информация об этом факте и параметры системы записываются в журнал и, при возможности, передаются администратору, для подробного изучения причины некорректной работы версии. В журнале отображена статистика по 3 голосованиям модуля.cr_create» в штатном режиме, далее выявлено падение веса версии.version1» ниже установленного порога в 0,95, однако она проходит приемочное тестирование и остается в пуле. Далее вес той-же версии снова падает ниже установленного порога, однако в этот раз она не проходит оба приемочных теста и исключается из пула. [9] Gersting, J.A. Comparison of Voting Algorithms for N-Version Programming / J.A. Gersting // Comparison of Voting Algorithms for N-Version Programming, Proceedings of the 24th Annual Hawaii International Conference on System Sciences. - 1991. - № II. - P. 253- 262. @@
ACRONYMS
LAY DEFINITIONS
Licence: cc-by
Site reference:
If you want to have access to all the content you need to log in! Thanks :)
If you don't have an account, you can create one here. 