DEPENDABLE SYSTEMS

A J
Mind Map by A J, updated more than 1 year ago
A J
Created by A J over 3 years ago
9
0

Description

IELTS Mathematics Mind Map on DEPENDABLE SYSTEMS, created by A J on 11/20/2017.

Resource summary

DEPENDABLE SYSTEMS
  1. 2. Dependability Properties

    Annotations:

    • Dependability reflects a systems trustworthiness(no system failure), and can be divided into five main categories namely:
    1. Safety
      1. Reliability
        1. Security
          1. Resilience
            1. Availability
            2. 1. Sociotechnical Systems

              Annotations:

              • These are broad systems that include both non-technical and technical components, all of which affect/influence the systems dependability. These systems can be viewed as layers of these various components, which make up the sociotechnical system stack
              1. Data Management
                1. Operating System
                  1. Equipment
                    1. Organization
                      1. Society
                        1. Business Processes
                          1. Application System
                            1. They include both non-technical and technical components, all of which influence the systems dependability.
                            2. 5. Redundancy and Diversity

                              Annotations:

                              • Redundancy means extra components are included in the that can be used if part of the system fails. Diversity means there are different types of redundant components used, in order to reduce the chances of a system failure.
                              1. 4. Dependable Processes

                                Annotations:

                                • Software processes designed to produce dependable systems. So investing in dependable processes is a good idea because this will likely lead to the delivery of software that is reliable. e.g prog testing to find errors - Process used depends on the type of system being built
                                1. These are processes designed to produce dependable systems e.g program inspection and testing to find errors
                                2. 3. Formal Methods and Dependability

                                  Annotations:

                                  • Researchers have advocated for formal methods, where a formal model of a system is used as a basis for development, to help reduce specification and implementation errors - thus increasing system dependability -Effective for discovering or avoiding two classes of errors with the software, namely: (Adv. - Disad.)
                                  1. Specification and Design Errors
                                    1. Inconsistencies between a specification and a program

                                      Annotations:

                                      • Mistakes made by the developer that make the software inconsistent with the specification are avoided
                                    Show full summary Hide full summary

                                    Similar

                                    How to improve your SAT math score
                                    Brad Hegarty
                                    The SAT Math test essentials list
                                    lizcortland
                                    Design Patterns
                                    Erica Solum
                                    GCSE Maths: Pythagoras theorem
                                    Landon Valencia
                                    Network Protocols
                                    Shannon Anderson-Rush
                                    Edexcel GCSE Maths Specification - Algebra
                                    Charlie Turner
                                    System Analysis
                                    R A
                                    Mathematics
                                    Corey Lance
                                    SCRUM
                                    R A
                                    Projectiles
                                    Alex Burden
                                    Graph Theory
                                    Will Rickard