
VitalPulse Medical Systems manufactures and sells smart medical devices which constantly monitor critical parameters of a patient, such as temperature, blood pressure, and heartbeat. However, the software application that has been shipped with those devices has a fault that skips generating alarms in a timely manner when the patient's critical parameters suddenly change. The consequences of this software bug are potentially devastating to its customers - it could potentially risk the life of the patient under care and damage the reputation of the manufacturer. Healthcare systems and equipment are expected to function 24x7. Constantly monitoring the functioning of these connected medical devices is essential.


