topic: algebraic specifications in Maude deadline: 24.11.2023 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, oxygen volume, 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 or the mechanical ventilator will support breathing in some way by delivering more oxygen to lungs) - general principle: the control system of ICU receives inputs from various sensors that monitor the current state of the human body, 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