References
IEC 61508-3. (2010).Functional Safety of Electrical/Electronic/ Programmable Electronic Safety-related Systems–Part 3: Software Requirements.
NP-T-1.5. (2009).Protection Against Common Cause Failures in Digital I&C Systems of Nuclear Power Plants. IAEA Nuclear Energy Series.
Avizienis, A., Laprie, J.-C.,&Randell, B.(2001). Fundamental Concepts of Dependability. Research Report No 1145, LAAS-CNRS.
Mukai, Y., &Tohma, Y.(1974).A Method for the Realization of Fail-safe Asynchronous Sequential Circuits. IEEE Trans. Computer, 23(7), 736-739.
Boykin, J., Thibodeau, J., & Schneider, H.(1983).Evolution of Shuttle Avionics Redundancy Management/Fault Tolerance. Space Shuttle Technical Conference, NASA Conference Publication 2342. Part 1, Johnsons Space Center, Texas, 1-18.
Madden, W., & Rone, K.(1984).Design, Development, Integration: Space Shuttle Primary Flight Software System. Communications of the ACM, 27(9), 914-925.
Davidson, I.(2007).As Large as You Need and as Small as You Can: Implications of the Brain Size of Homo Floresiensis. In Schalley, A., Khlentzos D.,Mental States. V.1,Evolution, Function, Nature,35-42,
Astrom, K., & Murray, R.(2008).Feedback Systems: An Introduction for Scientists and Engineers. Princeton UniversityPress.
Von Neumann, J.(1956).Probabilistic Logics and the Synthesis of Reliable Organisms from Unreliable Components. Automata Studies. Annals of Mathematical Studies, 34, 43-98.
Austin, T.(1998).DIVA: A Reliable Substrate for Deep Submicron Microarchitecture Design. In International Symposium on Microarchitecture (MICRO).
Li, M., Ramachandran, P., Sahoo, S.,Adve, S., Adve,V., & Zhou, Y.(2008).Understanding the Propagation of Hard Errors to Software and Implications for Resilient System Design. In International Conference on Architectural Support for Programming Languages and Operating Systems ASPLOS, Seattle, Washington, USA.
Sahoo, S.,Li, M., Ramachandran, P., Adve, S., Adve,V., & Zhou, Y.(2008).Using Likely Program Invariants to Detect Hardware Errors. In Conf.Dependable Systems and Networks–DSN,70-79.
Avizienis, A.(1995).The Methodology of N-Version Programming. In Book: Lyu, M.,Software Fault Tolerance.Wiley& Sons Ltd, 23-46.