PPT-Dependability in a Connected World

From the Very Large to the Very Small Saurabh Bagchi School of Electrical and Computer Engineering Department of Computer Science Purdue University Presentation available at engineeringpurdueedudcsl. Lecture 1. 1. Chapter 11 Security and Dependability. Topics covered. Dependability properties. The system attributes that lead to dependability.. Availability and . reliability. Systems should be available to deliver service and perform as expected.. Lecture 1. 1. Chapter 12 Dependability and Security Specification. Topics covered. Risk-driven specification. Safety specification. Security specification. Software reliability specification. 2. Chapter 12 Dependability and Security Specification. Vs.. Inconsistency. Fulfilling what I consented to do, even if it means unexpected sacrifice. Dependability at Home:. You made a commitment in your marriage, now what will you do?. You have children; what kind of sacrifice will this take?. the Sustainable City and Community. . Monique . Meche. Director, Global Environment . Policy and . Sustainability. Cisco Vision. If it’s Connected to the . Internet, it can be. . Greener. MONITOR. Connected Solutions. 1. Chapter 13 Dependability Engineering. Topics covered. Redundancy and diversity. Fundamental approaches to achieve fault tolerance.. Dependable processes. How the use of dependable processes leads to dependable systems. Lecture 1. 1. Chapter 15 Dependability and Security Assurance. Topics covered. Static analysis. Reliability testing. Security testing. Process assurance. Safety and dependability cases. 2. Chapter 15 Dependability and Security Assurance. Chapter 11 . Dependability and Security. Section 2. Section2 Dependability and Security. Ch 10 . SocioTechnical. Systems. Ch 11 Dependability and Security. Chapter 11 - Dependability and Security. Objectives – Chapter 11. The Third Great Wave of Computing Applications. Butler Lampson. Microsoft Research. CL05. Context: Moore’s Law and Friends. months. . for. 2 . x . 10 . years. 11/2009 . best. 11/2009. cost. Processing. For. many computer-based systems. ,. the . most important system property is the dependability of the system.. The dependability of a system reflects the user’s degree of trust in that system. . It . Engagin. g Law Enforcement: The Myths and Realities. 1. Overall classification: UNCLASSIFIED//FOR OFFICIAL USE ONLY. “Let me start by telling you what you know, which is that everything has changed in ways that are so fundamental that it’s difficult to describe what it means when we say the world is changing because of cyber. Now, I find that in all things cyber there’s a lot of nodding and I worry there’s not a lot of understanding behind the nodding at times. And so I always look for ways to describe just how fundamental the transformation we’re standing in the middle of is.. . is the ability to avoid service failures that are more frequent or severe than desired. It is an important goal of distributed systems.. Requirements for dependable systems. Availability. : the probability that the system is available to perform its functions at any moment. Department of Computer Engineering Department of Computer Engineering Application scope of D.Benchmarking systems... Chapter . 8.1-8.5, . 9.1-9.2, . 9.5.1-9.5.5. Syntax & Semantics . P. redicate . symbols, function symbols, constant symbols, variables, . quantifiers.. M. odels, symbols, and interpretations. De Morgan’s rules for quantifiers.