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
Abstract
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.
Identifiers
Citations and references
Cited by 20 references