Chapter 9 Critical System Specification

Tags:

Preview:

Click to see full reader

Citation preview

Important

Vital

Decisive

Safety-Critical Systems

Mission-Critical Systems

Business-Critical Systems

Socio-technical Critical Systems

Safety-critical

systems

Mission-critical

systems

Business-

critical

systems

Socio-technical

means:

Systems having

both social and

technical aspects.

Hardware failure

Software failure

Operational failure

A software-controlled insulin pump

Deliver insulin when required.

Deliver the correct amount of insulin.

Never deliver excessive doses.

Shall do

Shall not

Do

https://docs.google.com/viewer?a=v&q=cache:yms8u8EMDsgJ:www.cs.missouri.edu/~duan/cs4320/lecture-notes/ch3.ppt+&hl=en&pid=bl&srcid=ADGEESguADgcQv46A0BJv9KavhZQXsy5TcERsGNbBRsL4kI2-Peh_O-B0nDxIG8tDNS2YrRXDTbLUwVghcxFMNdwzEV-gowuEmBsFpas4gDgr6e5zekFBHR1SB1jeSHs7yx2FLVN5Iwr&sig=AHIEtbRmkzOpYRbUbqCg8OrN6R48CpJ4QQ
https://docs.google.com/viewer?a=v&q=cache:yms8u8EMDsgJ:www.cs.missouri.edu/~duan/cs4320/lecture-notes/ch3.ppt+&hl=en&pid=bl&srcid=ADGEESguADgcQv46A0BJv9KavhZQXsy5TcERsGNbBRsL4kI2-Peh_O-B0nDxIG8tDNS2YrRXDTbLUwVghcxFMNdwzEV-gowuEmBsFpas4gDgr6e5zekFBHR1SB1jeSHs7yx2FLVN5Iwr&sig=AHIEtbRmkzOpYRbUbqCg8OrN6R48CpJ4QQ
https://docs.google.com/viewer?a=v&q=cache:yms8u8EMDsgJ:www.cs.missouri.edu/~duan/cs4320/lecture-notes/ch3.ppt+&hl=en&pid=bl&srcid=ADGEESguADgcQv46A0BJv9KavhZQXsy5TcERsGNbBRsL4kI2-Peh_O-B0nDxIG8tDNS2YrRXDTbLUwVghcxFMNdwzEV-gowuEmBsFpas4gDgr6e5zekFBHR1SB1jeSHs7yx2FLVN5Iwr&sig=AHIEtbRmkzOpYRbUbqCg8OrN6R48CpJ4QQ
https://docs.google.com/viewer?a=v&q=cache:yms8u8EMDsgJ:www.cs.missouri.edu/~duan/cs4320/lecture-notes/ch3.ppt+&hl=en&pid=bl&srcid=ADGEESguADgcQv46A0BJv9KavhZQXsy5TcERsGNbBRsL4kI2-Peh_O-B0nDxIG8tDNS2YrRXDTbLUwVghcxFMNdwzEV-gowuEmBsFpas4gDgr6e5zekFBHR1SB1jeSHs7yx2FLVN5Iwr&sig=AHIEtbRmkzOpYRbUbqCg8OrN6R48CpJ4QQ
https://docs.google.com/viewer?a=v&q=cache:yms8u8EMDsgJ:www.cs.missouri.edu/~duan/cs4320/lecture-notes/ch3.ppt+&hl=en&pid=bl&srcid=ADGEESguADgcQv46A0BJv9KavhZQXsy5TcERsGNbBRsL4kI2-Peh_O-B0nDxIG8tDNS2YrRXDTbLUwVghcxFMNdwzEV-gowuEmBsFpas4gDgr6e5zekFBHR1SB1jeSHs7yx2FLVN5Iwr&sig=AHIEtbRmkzOpYRbUbqCg8OrN6R48CpJ4QQ
https://docs.google.com/viewer?a=v&q=cache:yms8u8EMDsgJ:www.cs.missouri.edu/~duan/cs4320/lecture-notes/ch3.ppt+&hl=en&pid=bl&srcid=ADGEESguADgcQv46A0BJv9KavhZQXsy5TcERsGNbBRsL4kI2-Peh_O-B0nDxIG8tDNS2YrRXDTbLUwVghcxFMNdwzEV-gowuEmBsFpas4gDgr6e5zekFBHR1SB1jeSHs7yx2FLVN5Iwr&sig=AHIEtbRmkzOpYRbUbqCg8OrN6R48CpJ4QQ
https://docs.google.com/viewer?a=v&q=cache:yms8u8EMDsgJ:www.cs.missouri.edu/~duan/cs4320/lecture-notes/ch3.ppt+&hl=en&pid=bl&srcid=ADGEESguADgcQv46A0BJv9KavhZQXsy5TcERsGNbBRsL4kI2-Peh_O-B0nDxIG8tDNS2YrRXDTbLUwVghcxFMNdwzEV-gowuEmBsFpas4gDgr6e5zekFBHR1SB1jeSHs7yx2FLVN5Iwr&sig=AHIEtbRmkzOpYRbUbqCg8OrN6R48CpJ4QQ
https://docs.google.com/viewer?a=v&q=cache:yms8u8EMDsgJ:www.cs.missouri.edu/~duan/cs4320/lecture-notes/ch3.ppt+&hl=en&pid=bl&srcid=ADGEESguADgcQv46A0BJv9KavhZQXsy5TcERsGNbBRsL4kI2-Peh_O-B0nDxIG8tDNS2YrRXDTbLUwVghcxFMNdwzEV-gowuEmBsFpas4gDgr6e5zekFBHR1SB1jeSHs7yx2FLVN5Iwr&sig=AHIEtbRmkzOpYRbUbqCg8OrN6R48CpJ4QQ
https://docs.google.com/viewer?a=v&q=cache:yms8u8EMDsgJ:www.cs.missouri.edu/~duan/cs4320/lecture-notes/ch3.ppt+&hl=en&pid=bl&srcid=ADGEESguADgcQv46A0BJv9KavhZQXsy5TcERsGNbBRsL4kI2-Peh_O-B0nDxIG8tDNS2YrRXDTbLUwVghcxFMNdwzEV-gowuEmBsFpas4gDgr6e5zekFBHR1SB1jeSHs7yx2FLVN5Iwr&sig=AHIEtbRmkzOpYRbUbqCg8OrN6R48CpJ4QQ
https://docs.google.com/viewer?a=v&q=cache:yms8u8EMDsgJ:www.cs.missouri.edu/~duan/cs4320/lecture-notes/ch3.ppt+&hl=en&pid=bl&srcid=ADGEESguADgcQv46A0BJv9KavhZQXsy5TcERsGNbBRsL4kI2-Peh_O-B0nDxIG8tDNS2YrRXDTbLUwVghcxFMNdwzEV-gowuEmBsFpas4gDgr6e5zekFBHR1SB1jeSHs7yx2FLVN5Iwr&sig=AHIEtbRmkzOpYRbUbqCg8OrN6R48CpJ4QQ
https://docs.google.com/viewer?a=v&q=cache:yms8u8EMDsgJ:www.cs.missouri.edu/~duan/cs4320/lecture-notes/ch3.ppt+&hl=en&pid=bl&srcid=ADGEESguADgcQv46A0BJv9KavhZQXsy5TcERsGNbBRsL4kI2-Peh_O-B0nDxIG8tDNS2YrRXDTbLUwVghcxFMNdwzEV-gowuEmBsFpas4gDgr6e5zekFBHR1SB1jeSHs7yx2FLVN5Iwr&sig=AHIEtbRmkzOpYRbUbqCg8OrN6R48CpJ4QQ
http://www.cs.swan.ac.uk/csetzer/lectures/critsys/04/index.html
http://www.cs.swan.ac.uk/csetzer/lectures/critsys/04/index.html
http://www.compsci.swan.ac.uk/csetzer/index.html
http://www.compsci.swan.ac.uk/csetzer/index.html
mailto:naqiagha@hotmail.com

Recommended

Safety-Critical Profile Specification Version 1.0.1 (Difference … · 2020-01-22 · iv OpenGL Safety-Critical Specification Version 1.0.1 3.6 Pixel Rectangles 15 3.7 Bitmaps 17
Documents
Critical Systems Specification 2
Documents
Chapter 12 – Dependability and Security Specification 1 Chapter 12 Dependability and Security Specification 1
Documents
Critical Thinking Chapter 6
Documents
Specification Details Chapter-3
Documents
Chapter 2 Specification of Software Components
Documents
TR 102 022-2 - V1.2.1 - User Requirements Specification; Mission Critical Broadband ... ·  · 2018-01-17User Requirements Specification; Mission Critical Broadband Communications
Documents
Chapter 12 – Dependability and Security Specification 1Chapter 12 Dependability and Security Specification
Documents
Model-based Specification of safety-critical Rail Systems · Model-based Specification of safety-critical Rail Systems Randolf Berglehner, DB Netze AG Andreas Korff, Atego Systems
Documents
Critical care ventilators Specification...Critical care ventilators — Specification APPROVED FREE LICENSE BY KENYA BUREAU OF STANDARDS (KEBS) TO INTERESTED PARTIES, STAKEHOLDERS
Documents
Chapter 3 Response to Critical Issues Facing Japan · Chapter 3 Response to Critical Issues Facing Japan ... Chapter 3 Response to Critical Issues Facing Japan 85 ... improve the
Documents
Group Award Specification for - SQA · Group Award Specification for: ... Group Award Specification: ... HD78 34 History of Theatre: Critical Review 7 8 1
Documents
Chapter - 1 Technical Specification & Parameters
Documents
A-level Business Studies Specification Specification file1.2 Why choose Business Studies? This specification has been designed to provide candidates with a critical understanding of
Documents
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 9 Slide 1 Critical Systems Specification 2
Documents
Critical System Specification in Software Engineering SE17
Business
SPECIFICATION GUIDE SHEET- CRITICAL AREA PLANTING (342 ... › references › public › ... · SPECIFICATION GUIDE SHEET- CRITICAL AREA PLANTING (342) Vermont NRCS Critical Area
Documents
CHAPTER 2. SPECIFICATION OF SIMULTANEOUS EQUATION MODELS · 4 CHAPTER 2. SPECIFICATION OF SIMULTANEOUS EQUATION MODELS In model specification, the researcher uses prior theory to
Documents
2X660 MW SUPER-CRITICAL THERMAL POWER STATION, STAGE … Specification .pdf · 2x660 mw super-critical thermal power station, stage-v, ... 2x660 mw super-critical thermal power station,
Documents
Pathway Specification Pre Hospital Critical Care ...€¦ · A critical and systematic understanding of pharmacological drugs / agents used in pre-hospital critical care 4. A critical
Documents