Design of a fault-tolerant decision-making system for biomedical applications

REFERENCES

• AcharyaUR, SankaranarayananM, NayakJ, XiangC, TamuraT. 2008. Automatic identification of cardiac health using modeling techniques: a comparative study. Inf Sci.178(23):4571–4582.
   Web of Science ®Google Scholar
• AizenbergI, MoragaC. 2007. Multilayer feedforward neural network based on multi-valued neurons (mlmvn) and a backpropagation learning algorithm. Soft Comput Fusion Found Method App.11:169–183.
   Web of Science ®Google Scholar
• AlurR, HenzingerTA. 1992. Logics and models of real time: a survey. In: Proceedings of the real-time: theory in practice, REX workshop. London: Springer-Verlag. p. 74–106.
   Google Scholar
• Arora A, Kulkarni S. 1998. Detectors and correctors: a theory of fault-tolerance components. International Conference on Distributed Computing Systems. p. 436.
   Google Scholar
• BairdB, HirschM, EeckmanF. 1993. A neural network associative memory for handwritten character recognition using multiple chua characters. IEEE Trans Circ Syst II Analog Digital Signal Process. 40(10):667–674.
   Web of Science ®Google Scholar
• Brito P, Rubira C, de Lemos R. 2009. Verifying architectural variabilities in software fault tolerance techniques. European Conference on Software Architecture. WICSA/ECSA Joint Working IEEE/IFIP Conference on, September. 2009, p. 231–240.
   Google Scholar
• ButlerRW, FinelliBG. 1993. The infeasibility of quantifying the reliability of life-critical real-time software. IEEE Trans Softw Eng.19(1):3–12.
   Web of Science ®Google Scholar
• CarothersA, PiperJ. 1994. Computer-aided classification of human chromosomes: a review. Stat Comput.4:161–171.
   Web of Science ®Google Scholar
• ChoLW, KilpatrickES, KeevilBG, CoadyAM, AtkinSL. 2009. Effect of metformin, orlistat and pioglitazone treatment on mean insulin resistance and its biological variability in polycystic ovary syndrome. Clin Endocrinol. 70(2):233–237.
   PubMed Web of Science ®Google Scholar
• CichockiT, GórskiJ. 2001. Formal support for fault modelling and analysis. SAFECOMP190–199.
   Google Scholar
• ClarkeEM, WingJM. 1996. Formal methods: state of the art and future directions. ACM Comput Surv.28:626–643.
   Web of Science ®Google Scholar
• CullyerWJ, GoodenoughSJ, WichmannBA. 1991. The choice of computer languages for use in safety critical systems. Softw Eng J.6(2):51–58.
   Web of Science ®Google Scholar
• de LemosR, SaeedA, AndersonT. 1995. Analyzing safety requirements for process-control systems. IEEE Softw.12(3):42–53.
   Web of Science ®Google Scholar
• DuganJ, DoyleS, Patterson-HineF. 1994. Simple models of hardware and software fault tolerance. In: Reliability and Maintainability Symposium, 1994. Proceedings, Annual. p. 124–129, 24-27 January.
   Google Scholar
• EasterbrookS, LutzR, CovingtonR, KellyJ, AmpoY, HamiltonD. 1998. Experiences using lightweight formal methods for requirements modeling. IEEE Trans Softw Eng.24:4–14.
   Web of Science ®Google Scholar
• Failures-Divergence Refinement. 1997. Failures-Divergence Refinement: FDR Manual, Formal Systems (Europe) Ltd., 26 Temple Street, Oxford OX4 1JS England.
   Google Scholar
• FaustO, AcharyaUR, SputhBHC, MinLC. 2010. Systems engineering principles for the design of biomedical signal processing systems. Comput Methods Prog Biomed.102(3):267–276.
   PubMed Web of Science ®Google Scholar
• FaustO, AcharyaUR, NgEYK, NgK-H, SuriJS. 2010. Algorithms for the automated detection of diabetic retinopathy using digital fundus images: a review. J Med Syst.:1–13.
   Google Scholar
• FeatherMS. 1998. Rapid application of lightweight formal methods for consistency analyses. IEEE Trans Softw Eng.24(11):949–959.
   Web of Science ®Google Scholar
• GokhaleS, LyuM, TrivediK. 1997. Reliability simulation of fault-tolerant software and systems. In: Proceedings of the 1997 Pacific Rim International Symposium on Fault-Tolerant Systems, p. 167–173.
   Google Scholar
• Goseva-PopstojanovaK, GrnarovA. 1997. Performability and reliability modeling of n version fault tolerant software in real time systems. EUROMICRO 97. New Frontiers of Information Technology, Proceedings of the 23rd EUROMICRO Conference, September. p. 532–539.
   Google Scholar
• Haykin S. 1999. IEEE Transactions on neural networks: a comprehensive foundation.
   Google Scholar
• HechtH. 1979. Fault-tolerant software. IEEE Trans Reliability. R-28(3):227–232.
   Web of Science ®Google Scholar
• HoareCAR. 1978a. Communicating sequential processes. Commun. ACM. 21(8):666–677.
   Web of Science ®Google Scholar
• HoareCAR. 1978b. Communicating sequential processes. 1st ed.Upper Saddle River, NJ: Prentice Hall. p. 07485.
   Google Scholar
• HornikK, StinchcombeM, WhiteH. 1989. Multilayer feedforward networks are universal approximators. Neural Networks. 2(5):359–366.
   Web of Science ®Google Scholar
• IEC 61508. 2000. Functional safety of electrical/electronic/programmable electronic safety-related systems: part 2: requirements for electrical/electronic/programmable electronic safety-related systems. 1.0. Geneva: IEC.
   Google Scholar
• JeyamkondanS, JayasD, HolleyR. 2001. Microbial growth modelling with artificial neural networks. Int J Food Microbiol. 64(3):343–354.
   PubMed Web of Science ®Google Scholar
• KarpNA, LilleyKS. 2009. Investigating sample pooling strategies for dige experiments to address biological variability. PROTEOMICS. 9(2):388–397.
   PubMed Web of Science ®Google Scholar
• Kartalopoulos S, Council INN. 1996. Understanding neural networks and fuzzy logic: basic concepts and applications ser. IEEE Press understanding science & technology series. Institute of Electrical and Electronics Engineers.
   Google Scholar
• Kernighan BW, Ritchie DM. 1988. The C programming language. Prentice Hall Professional Technical Reference.
   Google Scholar
• LansnerA, EkebergÖ. 1989. A one-layer feedback artificial neural network with a bayesian learning rule. Int J Neural Syst.1(1):77–87.
   Google Scholar
• LaprieJ-C, BéounesC, KanounK. 1990. Definition and analysis of hardware- and software-fault-tolerant architectures. Computer. 23(7):39–51.
   Web of Science ®Google Scholar
• Latif-ShabgahiG, BassJ, BennettS. 2004. A taxonomy for software voting algorithms used in safety-critical systems. IEEE Trans Reliability. 53(3):319–328.
   Web of Science ®Google Scholar
• LippmannR. 1989. Pattern classification using neural networks. IEEE Commun Mag. 27(11):47–50–59–64.
   Web of Science ®Google Scholar
• NASA Systems Engineering Handbook. 1995. NASA.
   Google Scholar
• NayakR, JainL, TingB. 2001. Artificial neural networks in biomedical engineering: a review. In: Asia-Pacific Conference on Advance Computation. [Online]. Available at: http:eprints.qut.edu.au1480.
   Google Scholar
• NgEYK, AcharyaUR, KeithLG, LockwoodS. 2007. Detection and differentiation of breast cancer using neural classifiers with first warning thermal sensors. Inf Sci.177(20):4526–4538.
   Web of Science ®Google Scholar
• RandellB. 1975. System structure for software fault tolerance. In: Proceedings of the International Conference on Reliable Software. New York, NY, USA: ACM. p. 437–449.
   Google Scholar
• RojasR. 1996. Neural networks – a systematic introduction. Berlin: Springer-Verlag.
   Google Scholar
• S.M.C.D. of Defense. 2001. System Engineering Fundamentals. DoD.
   Google Scholar
• WalczakB. 1996. Neural networks with robust backpropagation learning algorithm. Analytica Chimica Acta. 322(1-2):21–29.
   Web of Science ®Google Scholar
• WattD. 2009. Programming XC on XMOS devices. XMOS Limited.
   Google Scholar
• XS1-G4 512 BGA Datasheet. 2009. 3rd ed.Bristol: XMOS.
   Google Scholar
• YacoubS, LinX, SimskeS, BurnsJ. 2003. Automating the analysis of voting systems. ISSRE 14th International Symposium on Software Reliability Engineering. p. 203–214.
   Google Scholar
• YunWL, AcharyaUR, VenkateshYV, CheeC, MinLC, NgEYK. 2008. Identification of different stages of diabetic retinopathy using retinal optical images. Inf Sci.178(1):106–121.
   Web of Science ®Google Scholar
• YuX, EfeM, KaynakO. 2002. A general backpropagation algorithm for feedforward neural networks learning. IEEE Trans Neural Networks. 13(1):251–254.
   PubMed Web of Science ®Google Scholar