topic: algebraic specifications in Maude deadline: 23.11.2022 Intensive Care Unit =================== task 1: create algebraic specification of a control system at intensive care unit (ICU) - what you should capture in your model (specification, prototype): many dynamic characteristics (properties) of a human body (physiology) are continuously monitored (heart rate, blood pressure, temperature, breathing frequency, neural/brain signals, etc) in case of a problem observed by some of the sensors and monitors, the control system quickly decides that some machine will respond by some action (for example, the dropper will immediately start to deliver more fluid of some kind) - general principle: the control system of ICU receives inputs from various sensors, produces some outputs (reports), and performs certain actions task 2: document your solution - explain key decisions and high-level design task 3: prepare some test cases (scenarios, inputs) - common scenarios that may occur in a real hospital