REFERENCES
- AcharyaUR, SankaranarayananM, NayakJ, XiangC, TamuraT. 2008. Automatic identification of cardiac health using modeling techniques: a comparative study. Inf Sci.178(23):4571–4582.
- 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.
- 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.
- Arora A, Kulkarni S. 1998. Detectors and correctors: a theory of fault-tolerance components. International Conference on Distributed Computing Systems. p. 436.
- 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.
- 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.
- ButlerRW, FinelliBG. 1993. The infeasibility of quantifying the reliability of life-critical real-time software. IEEE Trans Softw Eng.19(1):3–12.
- CarothersA, PiperJ. 1994. Computer-aided classification of human chromosomes: a review. Stat Comput.4:161–171.
- 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.
- CichockiT, GórskiJ. 2001. Formal support for fault modelling and analysis. SAFECOMP190–199.
- ClarkeEM, WingJM. 1996. Formal methods: state of the art and future directions. ACM Comput Surv.28:626–643.
- CullyerWJ, GoodenoughSJ, WichmannBA. 1991. The choice of computer languages for use in safety critical systems. Softw Eng J.6(2):51–58.
- de LemosR, SaeedA, AndersonT. 1995. Analyzing safety requirements for process-control systems. IEEE Softw.12(3):42–53.
- 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.
- EasterbrookS, LutzR, CovingtonR, KellyJ, AmpoY, HamiltonD. 1998. Experiences using lightweight formal methods for requirements modeling. IEEE Trans Softw Eng.24:4–14.
- Failures-Divergence Refinement. 1997. Failures-Divergence Refinement: FDR Manual, Formal Systems (Europe) Ltd., 26 Temple Street, Oxford OX4 1JS England.
- FaustO, AcharyaUR, SputhBHC, MinLC. 2010. Systems engineering principles for the design of biomedical signal processing systems. Comput Methods Prog Biomed.102(3):267–276.
- 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.
- FeatherMS. 1998. Rapid application of lightweight formal methods for consistency analyses. IEEE Trans Softw Eng.24(11):949–959.
- 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.
- 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.
- Haykin S. 1999. IEEE Transactions on neural networks: a comprehensive foundation.
- HechtH. 1979. Fault-tolerant software. IEEE Trans Reliability. R-28(3):227–232.
- HoareCAR. 1978a. Communicating sequential processes. Commun. ACM. 21(8):666–677.
- HoareCAR. 1978b. Communicating sequential processes. 1st ed.Upper Saddle River, NJ: Prentice Hall. p. 07485.
- HornikK, StinchcombeM, WhiteH. 1989. Multilayer feedforward networks are universal approximators. Neural Networks. 2(5):359–366.
- 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.
- JeyamkondanS, JayasD, HolleyR. 2001. Microbial growth modelling with artificial neural networks. Int J Food Microbiol. 64(3):343–354.
- KarpNA, LilleyKS. 2009. Investigating sample pooling strategies for dige experiments to address biological variability. PROTEOMICS. 9(2):388–397.
- 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.
- Kernighan BW, Ritchie DM. 1988. The C programming language. Prentice Hall Professional Technical Reference.
- LansnerA, EkebergÖ. 1989. A one-layer feedback artificial neural network with a bayesian learning rule. Int J Neural Syst.1(1):77–87.
- LaprieJ-C, BéounesC, KanounK. 1990. Definition and analysis of hardware- and software-fault-tolerant architectures. Computer. 23(7):39–51.
- Latif-ShabgahiG, BassJ, BennettS. 2004. A taxonomy for software voting algorithms used in safety-critical systems. IEEE Trans Reliability. 53(3):319–328.
- LippmannR. 1989. Pattern classification using neural networks. IEEE Commun Mag. 27(11):47–50–59–64.
- NASA Systems Engineering Handbook. 1995. NASA.
- 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.
- 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.
- 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.
- RojasR. 1996. Neural networks – a systematic introduction. Berlin: Springer-Verlag.
- S.M.C.D. of Defense. 2001. System Engineering Fundamentals. DoD.
- WalczakB. 1996. Neural networks with robust backpropagation learning algorithm. Analytica Chimica Acta. 322(1-2):21–29.
- WattD. 2009. Programming XC on XMOS devices. XMOS Limited.
- XS1-G4 512 BGA Datasheet. 2009. 3rd ed.Bristol: XMOS.
- YacoubS, LinX, SimskeS, BurnsJ. 2003. Automating the analysis of voting systems. ISSRE 14th International Symposium on Software Reliability Engineering. p. 203–214.
- YunWL, AcharyaUR, VenkateshYV, CheeC, MinLC, NgEYK. 2008. Identification of different stages of diabetic retinopathy using retinal optical images. Inf Sci.178(1):106–121.
- YuX, EfeM, KaynakO. 2002. A general backpropagation algorithm for feedforward neural networks learning. IEEE Trans Neural Networks. 13(1):251–254.