Systems engineering principles for the design of biomedical signal processing systems
| Autor: | Oliver Faust, Rajendra Acharya U, Bernhard H. C. Sputh, Lim Choo Min |
|---|---|
| Rok vydání: | 2011 |
| Předmět: |
System of systems
Model checking Systems Analysis Computer science Systems Biology media_common.quotation_subject Biomedical Engineering Health Informatics Computer Science Applications System model Diabetic Neuropathies Hyperglycemia Formal specification Systems engineering Humans Systems design Use case Neural Networks Computer Function (engineering) Software Signal Transduction media_common |
| Zdroj: | Computer Methods and Programs in Biomedicine. 102:267-276 |
| ISSN: | 0169-2607 |
| DOI: | 10.1016/j.cmpb.2010.05.002 |
| Popis: | Systems engineering aims to produce reliable systems which function according to specification. In this paper we follow a systems engineering approach to design a biomedical signal processing system. We discuss requirements capturing, specification definition, implementation and testing of a classification system. These steps are executed as formal as possible. The requirements, which motivate the system design, are based on diabetes research. The main requirement for the classification system is to be a reliable component of a machine which controls diabetes. Reliability is very important, because uncontrolled diabetes may lead to hyperglycaemia (raised blood sugar) and over a period of time may cause serious damage to many of the body systems, especially the nerves and blood vessels. In a second step, these requirements are refined into a formal CSP@? B model. The formal model expresses the system functionality in a clear and semantically strong way. Subsequently, the proven system model was translated into an implementation. This implementation was tested with use cases and failure cases. Formal modeling and automated model checking gave us deep insight in the system functionality. This insight enabled us to create a reliable and trustworthy implementation. With extensive tests we established trust in the reliability of the implementation. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full Text from ScienceDirect