Systems engineering principles for the design of biomedical signal processing systems

Computer Methods and Programs in Biomedicine

Volumn 102, Issue 3, 2011, Pages 267-276

  Faust, Oliver ^a   Acharya U, Rajendra ^b   Sputh, Bernhard H C ^a   Min, Lim Choo ^b  

^a UNIVERSITY OF ABERDEEN   (United Kingdom)

^b DEPARTMENT OF ELECTRONICS AND COMPUTER ENGINEERING   (Singapore)

Author keywords

B method; CSP; CSP norm of matrix B; Diabetes type 2; Fast Fourier transform; Neuropathy; Plantar pressure; Systems engineering; Testing

Indexed keywords

B METHOD; CSP; CSP{NORM OF MATRIX}B; DIABETES TYPE 2; NEUROPATHY; PLANTAR PRESSURES;

BLOOD; BLOOD VESSELS; DESIGN; FAST FOURIER TRANSFORMS; GLUCOSE; SIGNAL PROCESSING; SPECIFICATIONS; SYSTEMS ANALYSIS; SYSTEMS ENGINEERING;

MODEL CHECKING;

ADOLESCENT; ADULT; AGED; ARTICLE; BIOMEDICAL ENGINEERING; BIOMEDICINE; BLOOD GLUCOSE MONITORING; CLASSIFICATION; DIABETES MELLITUS; FEMALE; HUMAN; HYPERGLYCEMIA; IMAGE ANALYSIS; MALE; MEDICAL RESEARCH; PRESSURE MEASUREMENT; RELIABILITY; SIGNAL PROCESSING;

BIOMEDICAL ENGINEERING; DIABETIC NEUROPATHIES; HUMANS; HYPERGLYCEMIA; NEURAL NETWORKS (COMPUTER); SIGNAL TRANSDUCTION; SYSTEMS ANALYSIS; SYSTEMS BIOLOGY;

EID: 79955648644     PISSN: 01692607     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.cmpb.2010.05.002     Document Type: Article

References (27)

1. NASA Systems Engineering Handbook. NASA, 1995.
2. Systems Management College Department of Defense. System Engineering Fundamentals. DoD, 2001 (Chapter 1).
3. Diez D., Fernandez C., Manuel D.J. A systems engineering analysis method for the development of reusable computer-supported learning systems. Interdisciplinary Journal of Knowledge and Learning Objects 2008, 4:243-257.
4. Palanisamy C., Selvan S. Efficient subspace clustering for higher dimensional data using fuzzy entropy. Journal of Systems Science and Systems Engineering 2009, 18(1):95-110.
5. Qian Y., Tang X. Information transmission in launching a new private label product. Journal of Systems Science and Systems Engineering 2009, 18(1):111-127.
6. Acharya U.R., Tan P.H., Subramaniam T., Tamura T., Chua K.C., Goh S.C., Lim C.M., Goh S.Y., Rui Chung K., Law C. Automated identification of diabetic type 2 subjects with and without neuropathy using wavelet transform on pedobarograph. Journal of Medical System 2008, 32(1):21-29.
7. Backpropagation: Theory, Architectures, and Applications 1995, L. Erlbaum Associates Inc., Hillsdale, NJ, USA. Y. Chauvin, D.E. Rumelhart (Eds.).
8. Yegnanarayana B. Artificial Neural Networks 2004, Prentice-Hall of India Pvt. Ltd.
9. Leuschel M., Butler M. ProB: an automated analysis toolset for the B method. Journal Software Tools for Technology Transfer 2008.
10. Roscoe A.W., Hoare C.A.R., Richard B. The Theory and Practice of Concurrency 1997, Prentice Hall PTR, Upper Saddle River, NJ, USA.
11. Schneider S. The B-Method: An Introduction 2002, Palgrave.
12. M. Leuschel and M. Butler. Combining CSP and B for Specification and Property Verification. In: Ian Hayes, Andrzej Tarlecki, John Fitzgerald (eds.), Formal Methods, Springer-Verlag, LNCS 3582, January 2005, pp. 221-236.
13. McEwan A.A., Schneider S. A verified development of hardware using CSP{norm of matrix}B. MEMOCODE 2006, pp. 81.
14. S.A. Schneider, H.E. Treharne, B. Vajar. Introducing Mobility into CSP{norm of matrix}B. In: Verification of Critical Systems. Proceedings of the 7th International Workshop on Automated Verification of Critical Systems, 2007.
15. Hoare C.A.R. Communicating sequential processes. Communication of ACM 1978, 21(8):666-677.
16. Hoare C.A.R. Communicating Sequential Processes 1978, Prentice Hall, Upper Saddle River, NJ 07485, USA. first edition.
17. Abrial J.-R. The B-book: Assigning Programs to Meanings 1996, Cambridge University Press, New York, NY, USA.
18. XMOS, Bristol, UK. XS1-G4 512 BGA Datasheet, 3.2 edition, 2009.
19. Douglas Watt. Programming XC on XMOS Devices. Published by XMOS Limited, 2009.
20. Brian W. Kernighan, Dennis M. Ritchie, The C Programming Language. Prentice Hall Professional Technical Reference, 1988.
21. I.R. East, Towards a Semantics for Prioritized Alternation. In: Ian, R., East, David Duce, Mark Green, Jeremy, M.R., Martin, Peter, H., Welch (eds.), Communicating Process Architectures 2004, pp. 253-264, sep 2004.
22. Formal Systems (Europe) Ltd., 26 Temple Street, Oxford OX4 1JS England. Failures-Divergence Refinement: FDR Manual, 1997.
23. M. Leuschel, M. Butler. ProB: A Model Checker for B. In: K. Araki, S. Gnesi, D. Mandrioli (eds.), FME 2003: Formal Methods, LNCS 2805, Springer-Verlag, 2003, pp. 855-874.
24. Goertzen R., Stausberg J. A grammar of integrity constraints in medical documentation systems. Computational Methods Programs Biomedical 2007, 86(1):93-102.
25. D. Baksi. Model checking of healthcare domain models. Computational Methods Programs Biomedical, page Ahead of print, July 2009.
26. Baksi D. Formal interaction specification in public health surveillance systems using π-calculus. Computational Methods Programs Biomedical 2008, 92(1):115-120.
27. Milner R., Parrow J., Walker D. A calculus of mobile processes, i. Information and Compututation 1992, 100(1):1-40.