Homework Help is Here – Start Your Trial Now!
Engineering
Computer Science
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
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
See similar textbooks
icon
Related questions
Question

Q1) Identify general issues of around the requirements for information systems where the system dependability is important, and security is a significant concern.

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.

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: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.
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.
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
trending now

Trending now

This is a popular solution!

steps

Step by step

Solved in 3 steps

SEE SOLUTIONCheck out a sample Q&A here
Blurred answer
Knowledge Booster
Primary components of process planning
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.
Similar questions
  • SEE MORE QUESTIONS
Recommended textbooks for you
Database System Concepts
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)
Starting Out with Python (4th Edition)
Computer Science
ISBN:
9780134444321
Author:
Tony Gaddis
Publisher:
PEARSON
Digital Fundamentals (11th Edition)
Digital Fundamentals (11th Edition)
Computer Science
ISBN:
9780132737968
Author:
Thomas L. Floyd
Publisher:
PEARSON
C How to Program (8th Edition)
C How to Program (8th Edition)
Computer Science
ISBN:
9780133976892
Author:
Paul J. Deitel, Harvey Deitel
Publisher:
PEARSON
Database Systems: Design, Implementation, & Manag…
Database Systems: Design, Implementation, & Manag…
Computer Science
ISBN:
9781337627900
Author:
Carlos Coronel, Steven Morris
Publisher:
Cengage Learning
Programmable Logic Controllers
Programmable Logic Controllers
Computer Science
ISBN:
9780073373843
Author:
Frank D. Petruzella
Publisher:
McGraw-Hill Education
SEE MORE TEXTBOOKS