Development of methods for equivalent transformation of GERT networks for application in multi-version software
М В СарамудResearch engineer, Reshetnev Siberian State Aerospace University, Krasnoyarsk, RussiaП В ЗеленковAssociate professor, Reshetnev Siberian State Aerospace University, Krasnoyarsk, RussiaИ В КовалевProfessor, Reshetnev Siberian State Aerospace University, Krasnoyarsk, RussiaDmitry KovalevResearcher, Reshetnev Siberian State Aerospace University, Krasnoyarsk, RussiaIgor KartsanAssociate professor, Reshetnev Siberian State Aerospace University, Krasnoyarsk, Russia
2016en
ABI
Аннотация
The usage of information and control systems in various fields of production and research requires a certain level of reliability in the functioning of these systems. One of the most promising and already positively proven methodologies to ensure high reliability and fault tolerance of software is multi-version designing. The greatest value this factor have in the areas where control system failure can result in significant financial and material losses, as well as harm to human health and life.
Перевод пока недоступен
Идентификаторы
Цитирования и источники
Цитирований: 2Использованных источников: 0