Environmental Engineering Reference
In-Depth Information
Tarasyuk, O., Gorbenko, A., Kharchenko, V.,
Ruban, V., & Zasukha, S. (2011). Safety of Rocket-
Space Engineering and Reliability of Computer
Systems: 2000-2009 Years. Radio-Electronic and
Computer Systems , 11 , 23-45.
Littlewood, B., & Strigini, L. (2004). Redun-
dancy and diversity in security. Littlewood B.
Proc. 9th European Symposium on Research in
Computer Security (ESORICS'2004), France,
2004, p. 117-126.
Vilkomir, S. (2009). Statistical testing for NPP I&C
system reliability evaluation. Paper presented at
the meeting of the 6th American Nuclear Society
International Topical Meeting on Nuclear Plant
Instrumentation, Controls, and Human Machine
Interface Technology, Knoxville, USA.
Medoff, M., & Faller, R. (2010). Functional Safety
- An IEC 61508 SIL 3Compatible Development
Process. Exida.com L.L.C . PA, USA: Sellersville.
Popov, P., & Strigini, L. (1998). Conceptual mod-
els for the reliability of diverse systems - new
results. Proc. 28th International Symposium on
Fault-Tolerant Computing (FTCS-28). - Munich,
Germany, 1998, p.80-89.
Vilkomir, S., Swain, T., & Poore, J. (2009).
Software Input Space Modeling with Constraints
among Parameters. Paper presented at the meeting
of the 33rd Annual IEEE International Computer
Software and Applications Conference COMP-
SAC, Seattle.
Popov, P., Strigini, L., & Romanovsky, A. (2001).
Diversity for Off-The-Shelf Components // Proc.
The International Conference on Dependable
Systems and Networks - Goteborg, Sweden, 2001,
p. 61-67.
Zadeh, L. (2009). From computing with numbers
to computing with words-from manipulation of
measurements to manipulation of perceptions.
IEEE Trans.Circ.Syst, Fund. TheoryApplic. , 4 (1),
105-119.
Smith, D., & Simpson, K. (2004). Functional
Safety. A Straightforward Guide to applying
IEC 61508 and Related Standards . Oxford, UK:
Elsevier Butterworth-Heinemann.
Zadeh, L., & Kacprzyk, J. (1999). Computing with
Words in Information/Intelligent Systems - Part
1:Foundation; Part 2: Applications. Heidelberg,
Germany . Physica-Verlag , 1 , 187-201.
KEY TERMS AND DEFINITIONS
Diversity or Multiversity (MV): A principle
providing use of several non-trivial versions. This
principle means performance of the same func-
tion by two and more options and processing of
data received in such ways for checking, choice
or formations of final or intermediate results and
decision-making on their further use.
Multi-Diversion System: MVS, in which two
or more VR types are applied.
Multi-Version Project: (MVP): A project,
in which the multi-version technology is applied
(version redundancy of processes is used) lead-
ing to creation of one- or multi-version system
(realization of version redundancy of products).
Multi-Version System (MVS): A system,
in which a few versions-products are used; one-
ADDITIONAL READING
Kharchenko, V. (1996). Theoretical foundations
of fault-tolerant systems with version redundsncy.
Kharkiv Military University, 1996, 506 p.
Littlewood, B., & Popov, P. et al. (2000). Little-
wood B. Modelling the effects of combining
diverse software fault removal techniques. IEEE
Transactions on Software Engineering , SE-26 (12),
1157-1167. doi:10.1109/32.888629
Littlewood, B., & Strigini, L. (2000). A discussion
of practices for enhancing diversity in software
designs. Littlewood B. DISPO Project Technical
Report LS-DI-TR-04. - Centre for Software Reli-
ability, London, UK, 2000, 55 p.
Search WWH ::




Custom Search