Identify general issues of around the requirements for information systems where the system dependability is important, and security is a significant concern.
Identify general issues of around the requirements for information systems where the system dependability is important, and security is a significant concern.
Database System Concepts
7th Edition
ISBN:9780078022159
Author:Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan
Publisher:Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan
Chapter1: Introduction
Section: Chapter Questions
Problem 1PE
Related questions
Question
Q1) Identify general issues of around the requirements for
The insulin pump control system needs to maintain a high level of safety and security. low blood sugar levels can lead to critical health risks such as brain malfunctioning, coma and sometimes death. Alternatively, High blood sugar can have adverse long-term effects such eye and kidney damage, therefore it is important to have an accurate reading of the customers sugar levels, otherwise this system will become obsolete.

Transcribed Image Text:Use of this case study to:-
Identify general issues of around the requirements for information systems
where the system dependability is important, and security is a significant
concern.
Discuss general issues of safety and safety-critical systems. Your discussion should
focus on, issues of dependability specification and the use of formal specification
techniques in dependable system engineering method.
Formal specification is especially valuable for this system as the computation to
calculate the amount of insulin required is detailed and complex and quite difficult to
specify using natural language. Discuss the specification of the control algorithm can
be used to solve the problem by applying software engineering principles.
Based on dependability assurance, use examples from the insulin pump system to
illustrate safety arguments and safety cases. You can use the example more generally
on requirements engineering and key principles appropriately for obtaining a solution for
system development issues.

Transcribed Image Text:A personal insulin pump system
This case study discusses the control software for a personal insulin pump, which is used by
diabetics to mimic the function of the pancreas and hence control the level of glucose (sugar) in
their blood. The system hardware is illustrated schematically in the following diagram:
Insulin reservoir
Needle
Pump
Clock
assembly
Sensor
Controller
Alarm
Display1
Display2
Power supply
The level of blood sugar depends on what the system user has eaten, the speed of their digestive
processes and the effectiveness of their body in metabolizing blood sugar. Therefore, there is not a
simple relationship between a blood sugar measurement and the amount of insulin to be injected.
Rather, the control system has to make several measurements and assess the rate of change of
blood sugar. Based on the current level and the rate and direction of change, the incremental
amount of insulin to be injected is computed and injected using the micro-pump in the system. This
is a safety-critical system as failure to inject the correct amount of insulin can have serious health
consequences.
Expert Solution

This question has been solved!
Explore an expertly crafted, step-by-step solution for a thorough understanding of key concepts.
This is a popular solution!
Trending now
This is a popular solution!
Step by step
Solved in 3 steps

Knowledge Booster
Learn more about
Need a deep-dive on the concept behind this application? Look no further. Learn more about this topic, computer-science and related others by exploring similar questions and additional content below.Recommended textbooks for you

Database System Concepts
Computer Science
ISBN:
9780078022159
Author:
Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan
Publisher:
McGraw-Hill Education

Starting Out with Python (4th Edition)
Computer Science
ISBN:
9780134444321
Author:
Tony Gaddis
Publisher:
PEARSON

Digital Fundamentals (11th Edition)
Computer Science
ISBN:
9780132737968
Author:
Thomas L. Floyd
Publisher:
PEARSON

Database System Concepts
Computer Science
ISBN:
9780078022159
Author:
Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan
Publisher:
McGraw-Hill Education

Starting Out with Python (4th Edition)
Computer Science
ISBN:
9780134444321
Author:
Tony Gaddis
Publisher:
PEARSON

Digital Fundamentals (11th Edition)
Computer Science
ISBN:
9780132737968
Author:
Thomas L. Floyd
Publisher:
PEARSON

C How to Program (8th Edition)
Computer Science
ISBN:
9780133976892
Author:
Paul J. Deitel, Harvey Deitel
Publisher:
PEARSON

Database Systems: Design, Implementation, & Manag…
Computer Science
ISBN:
9781337627900
Author:
Carlos Coronel, Steven Morris
Publisher:
Cengage Learning

Programmable Logic Controllers
Computer Science
ISBN:
9780073373843
Author:
Frank D. Petruzella
Publisher:
McGraw-Hill Education