Huiyun Sheng

Learn More
Reliable software development and methods to validate programming code and source code gain nowadays more importance and will be even more significant in the future. It is not enough that the developer has understood the task, but it has to be validated that from simulation to the actual desired hardware the developed code is functioning correctly. This(More)
This paper describes the implementation of an automated test tool developed in Matlab<sup>reg</sup>/Simulink<sup>reg</sup> environment that supports model testing and software verification in model-based development of control applications. This tool based on `black box' testing strategy serves on the one hand to check the ldquosemanticrdquo or(More)
In recent years, Pulse Transit Time (PTT)-based non-invasive continuous blood pressure monitoring systems have been investigated extensively. But the most relevant studies did not pay attention to the safety requirement of the system. In this paper a method is proposed to model the safety-related system for continuous noninvasive blood pressure monitoring.(More)
This paper proposes a continuous, non-invasive blood pressure monitoring system concept, which uses a safety microprocessor to connect sensors for building a body sensor network. The changes in Pulse Transit Time (PTT) can be detected with the sensor network. The microprocessor gathers the PTT and other vital signs of the patient to derive changes in blood(More)
This paper is concerned with the design procedures of an automated testing tool, developed in Matlab&#x00AE;/Simulink&#x00AE; environment, that performs software verification during runtime on a PLC (Programmable Logic Controller) or so called HiL test (Hardware-in-the-Loop) for model-based development of control applications. In addition to checking the(More)
  • 1