{"id":{"repo_id":"njit","oai_identifier":"oai:digitalcommons.njit.edu:theses-1525"},"canonical_url":"https://search.dev.ndltd.org/etd/njit/oai:digitalcommons.njit.edu:theses-1525","repository":{"repo_id":"njit","name":"NJIT","base_url":"https://digitalcommons.njit.edu/do/oai/"},"display":{"title":"Simulation and mathematical notation of alarms unit for computer assisted resuscitation algorithm","abstract":"The Computer Assisted Resuscitation Algorithm [CARA] is a system that is used to drive a high output infusion pump used for infusing saline into patients suffering from conditions that lead to hypotension. The infusion pump infuses saline at a particular rate into the patient depending on the blood pressure of the patient. The alarms unit of CARA was simulated for the infusion pump in which the occurrence of alarms depends on the various criteria the infusion pump encounters when saline is being infused into patients. Various criteria may vary from an air bubble in the line to varying high and low blood pressure. Using the alarms finite state machine already provided simulation of the alarms unit was done. The alarms finite state machine was constructed by using the requirements [2] provided by WRAIR [Walter Reed Army Institute of Research]. A mathematical specification was written which relates the English language description of the alarms unit and the alarms finite state machine. The Design Oriented Verification and Evaluation [DOVE] tool [5] was used to prove that the extended finite state machine satisfies the mathematical specification. The simulation of the alarms unit was done as per the requirements [2] and extended finite state machines were created according to the code of the simulation. Safety properties and linear temporal logic for these safety properties were also written.","abstract_html":"The Computer Assisted Resuscitation Algorithm [CARA] is a system that is used to drive a high output infusion pump used for infusing saline into patients suffering from conditions that lead to hypotension. The infusion pump infuses saline at a particular rate into the patient depending on the blood pressure of the patient. The alarms unit of CARA was simulated for the infusion pump in which the occurrence of alarms depends on the various criteria the infusion pump encounters when saline is being infused into patients. Various criteria may vary from an air bubble in the line to varying high and low blood pressure. Using the alarms finite state machine already provided simulation of the alarms unit was done. The alarms finite state machine was constructed by using the requirements [2] provided by WRAIR [Walter Reed Army Institute of Research]. A mathematical specification was written which relates the English language description of the alarms unit and the alarms finite state machine. The Design Oriented Verification and Evaluation [DOVE] tool [5] was used to prove that the extended finite state machine satisfies the mathematical specification. The simulation of the alarms unit was done as per the requirements [2] and extended finite state machines were created according to the code of the simulation. Safety properties and linear temporal logic for these safety properties were also written.","abstract_has_math":false,"creators":["Malangi, Swaroop"],"institution":null,"degree_name":"Master of Science in Computer Science - (M.S.)","degree_level":null,"degree_discipline":"Computer Science","degree_department":null,"school":null,"contributors":["Elsa L. Gunter","Ali Mili","Teunis J. Ott"],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2004,"date_issued":"2004-01-31T08:00:00Z","date_published":"2004-01-31T08:00:00Z","updated_at":"2026-07-24T03:23:27Z","subjects":["Computer Assisted Resuscitation Algorithm (CARA)","Design Oriented Verification and Evaluation tool (DOVE)","Computer Sciences"],"languages":[],"rights":[],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":"https://digitalcommons.njit.edu/theses/526","outbound_label":"Repository record","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor","label":"Contributor","values":["Elsa L. Gunter","Ali Mili","Teunis J. Ott"]},{"key":"dc:creator","label":"Author","values":["Malangi, Swaroop"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:type","label":"Dc Type","values":["Thesis"]},{"key":"thesis:degree_discipline","label":"Discipline","values":["Computer Science"]},{"key":"thesis:degree_name","label":"Degree Name","values":["Master of Science in Computer Science - (M.S.)"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Computer Assisted Resuscitation Algorithm (CARA)","Design Oriented Verification and Evaluation tool (DOVE)","Computer Sciences"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["https://digitalcommons.njit.edu/theses/526"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["The Computer Assisted Resuscitation Algorithm [CARA] is a system that is used to drive a high output infusion pump used for infusing saline into patients suffering from conditions that lead to hypotension. The infusion pump infuses saline at a particular rate into the patient depending on the blood pressure of the patient. The alarms unit of CARA was simulated for the infusion pump in which the occurrence of alarms depends on the various criteria the infusion pump encounters when saline is being infused into patients. Various criteria may vary from an air bubble in the line to varying high and low blood pressure. Using the alarms finite state machine already provided simulation of the alarms unit was done. The alarms finite state machine was constructed by using the requirements [2] provided by WRAIR [Walter Reed Army Institute of Research]. A mathematical specification was written which relates the English language description of the alarms unit and the alarms finite state machine. The Design Oriented Verification and Evaluation [DOVE] tool [5] was used to prove that the extended finite state machine satisfies the mathematical specification. The simulation of the alarms unit was done as per the requirements [2] and extended finite state machines were created according to the code of the simulation. Safety properties and linear temporal logic for these safety properties were also written."]},{"key":"dc:title","label":"Title","values":["Simulation and mathematical notation of alarms unit for computer assisted resuscitation algorithm"]}]}],"canonical_facts":{"dc:contributor":["Elsa L. Gunter","Ali Mili","Teunis J. Ott"],"dc:creator":["Malangi, Swaroop"],"dc:description.abstract":["The Computer Assisted Resuscitation Algorithm [CARA] is a system that is used to drive a high output infusion pump used for infusing saline into patients suffering from conditions that lead to hypotension. The infusion pump infuses saline at a particular rate into the patient depending on the blood pressure of the patient. The alarms unit of CARA was simulated for the infusion pump in which the occurrence of alarms depends on the various criteria the infusion pump encounters when saline is being infused into patients. Various criteria may vary from an air bubble in the line to varying high and low blood pressure. Using the alarms finite state machine already provided simulation of the alarms unit was done. The alarms finite state machine was constructed by using the requirements [2] provided by WRAIR [Walter Reed Army Institute of Research]. A mathematical specification was written which relates the English language description of the alarms unit and the alarms finite state machine. The Design Oriented Verification and Evaluation [DOVE] tool [5] was used to prove that the extended finite state machine satisfies the mathematical specification. The simulation of the alarms unit was done as per the requirements [2] and extended finite state machines were created according to the code of the simulation. Safety properties and linear temporal logic for these safety properties were also written."],"dc:identifier":["https://digitalcommons.njit.edu/theses/526"],"dc:subject":["Computer Assisted Resuscitation Algorithm (CARA)","Design Oriented Verification and Evaluation tool (DOVE)","Computer Sciences"],"dc:title":["Simulation and mathematical notation of alarms unit for computer assisted resuscitation algorithm"],"dc:type":["Thesis"],"thesis:degree_discipline":["Computer Science"],"thesis:degree_name":["Master of Science in Computer Science - (M.S.)"]},"updated_at":"2026-07-24T03:23:27Z"}