Related Experiment Video
Updated: Jun 12, 2026
11:54
Real-Time Proxy-Control of Re-Parameterized Peripheral Signals using a Close-Loop Interface
Published on: May 8, 2021
Systems engineering principles for the design of biomedical signal processing systems
Oliver Faust1, Rajendra Acharya U, Bernhard H C Sputh
1Department of Engineering, University of Aberdeen, Scotland, UK. faust_o@web.de
Computer Methods and Programs in Biomedicine
|June 26, 2010
Summary
This study designed a reliable biomedical signal processing system for diabetes management using formal systems engineering. Rigorous testing ensured the system
Area of Science:
- Biomedical Engineering
- Systems Engineering
- Diabetes Research
Background:
- Diabetes management requires reliable control systems.
- Uncontrolled diabetes can lead to severe health complications.
- Biomedical signal processing is crucial for monitoring and control.
Purpose of the Study:
- To apply systems engineering principles to design a reliable biomedical signal processing system.
- To develop a classification system for diabetes control.
- To ensure the system's reliability as a component in an automated diabetes management machine.
Main Methods:
- Formal systems engineering approach.
- Requirements capturing and specification definition.
- Development of a formal CSP‖B model.
- Translation of the model into an implementation.
- Extensive testing with use cases and failure cases.
- Automated model checking for system verification.
Main Results:
- A formal model of the classification system was created and proven.
- The model was translated into a reliable implementation.
- Formal modeling and model checking provided deep insight into system functionality.
- Extensive testing established trust in the implementation's reliability.
Conclusions:
- A formal systems engineering approach ensures the reliability of biomedical signal processing systems.
- Formal modeling and testing are critical for developing trustworthy diabetes management technology.
- The designed system is a reliable component for automated diabetes control.
Related Concept Videos
01:26Signal and System
A signal x(t) is a set of data or a time function representing a variable of interest. Signals typically convey information about a phenomenon, such as atmospheric temperature, humidity, human voice, television images, a dog's bark, or birdsongs. More generally, a signal can be a function of more than one independent variable. For instance, images depend on horizontal and vertical positions and can be regarded as two-dimensional signals. However, this text will focus on one-dimensional signals...
01:23Design Example
The innovation of touch-tone telephony revolutionized the telecommunications industry by replacing the traditional rotary dial with a dual-tone multi-frequency (DTMF) signaling system. This system uses a matrix-style keypad with buttons arranged in four rows and three columns, creating 12 distinct signals each assigned to a pair of frequencies. Each button press results in a simultaneous generation of two sinusoidal tones – one from a low-frequency group (697 to 941 Hz) and one from a...
01:25Instrumentation Amplifier
An electrocardiography (ECG) machine is an essential piece of medical equipment used to monitor the electrical activity of the heart. It operates by detecting small electrical changes on the skin that result from the depolarization of the heart muscle during each heartbeat. However, these signals are in the microvolt range and can be easily overwhelmed by noise or interference.
To overcome this challenge, an ECG machine utilizes an instrumentation amplifier. This specialized amplifier is...
To overcome this challenge, an ECG machine utilizes an instrumentation amplifier. This specialized amplifier is...
01:17Properties of the z-Transform I
The z-transform is a fundamental tool in digital signal processing, enabling the analysis of discrete-time systems through its various properties. It is an invaluable tool for analyzing discrete-time systems, offering a range of properties that simplify complex signal manipulations. One fundamental property is linearity. For any two discrete-time signals, the z-transform of their linear combination equals the same linear combination of their individual z-transforms. This property is essential...
01:26Feedback control systems
Feedback control systems are categorized in various ways based on their design, analysis, and signal types.
Linear feedback systems are theoretical models that simplify analysis and design. These systems operate under the principle that their output is directly proportional to their input within certain ranges. For instance, an amplifier in a control system behaves linearly as long as the input signal remains within a specific range. However, most physical systems exhibit inherent nonlinearity...
Linear feedback systems are theoretical models that simplify analysis and design. These systems operate under the principle that their output is directly proportional to their input within certain ranges. For instance, an amplifier in a control system behaves linearly as long as the input signal remains within a specific range. However, most physical systems exhibit inherent nonlinearity...