The use of formal methods is often recommended to guarantee the provision of necessary
services and to assess the correctness of critical properties, such as functional safety …

With a growing demand for smart devices in CPS health related area, there is a need for
building devices using efficient design methodologies. This can be achieved using …

Software as a medical device is a relatively new and expanding field in which patient safety
must be a key concern. Regulation and standards regarding software as a medical device …

This paper presents an overview of current state of affairs in the Internet of Things (IoT)
domain and briefly discusses its industrial applications. This has provided a motivation for …

Increased medical device complexity gives rise to more design errors found in the software
of these devices and higher recalls and dangers to patients using such devices. This paper …

Background: The adoption of computing technology in modern medical devices is
ubiquitous. However, limited research currently exists on the role of computing technology …

Models of the cardiac conduction system are usually at two extremes:(1) high fidelity models
with excellent precision but lacking a real-time response for emulation (hardware in the loop …

Many people get in contact with medical devices during their life, eg infusion pump,
diagnostic X-ray equipment, hemodialysis machine. These devices were based on …

This study investigates the occurrence of early building defects in public housing estate
Jigawa State, Nigeria. An early building defect is considered as those originate from poor …