Recovery Block Scheme

Abstraction in OOP is the concept of hiding complex implementation details and showing only the essential features of the object. It focuses on what an object does instead of how it does it. This is achieved through abstract classes and interfaces, which define a blueprint for other classes without providing a complete implementation, simplifying complex systems.

The Seven Basic Tools of Quality are a set of graphical techniques identified by Kaoru Ishikawa for troubleshooting quality-related issues. These tools are: Cause-and-effect diagram (fishbone), Check sheet, Control chart, Histogram, Pareto chart, Scatter diagram, and Stratification (often presented as a flowchart). They are considered 'basic' because they are simple to use and require little formal statistical training.

The Waterfall Model is a sequential, non-iterative software development process, where progress flows steadily downwards (like a waterfall) through distinct phases: conception, initiation, analysis, design, construction, testing, deployment and maintenance. Each phase must be fully completed before moving to the next. It is often contrasted with iterative models to highlight their flexibility.

Verification and validation (V&V) are distinct processes. Verification ensures a product meets its specified requirements ("Are you building it right?"). Validation ensures the product meets the user's actual needs and intended use ("Are you building the right thing?"). They are complementary activities within quality management, often performed sequentially or in parallel to ensure both correctness and usefulness.

The repeatability limit, \(r\), is a critical value derived from the repeatability standard deviation (\(s_r\)). It represents the maximum expected absolute difference between two single test results, obtained under repeatability conditions, with a 95% probability. It is commonly calculated as \(r = 2.8 \times s_r\). If the difference exceeds \(r\), the results are considered suspect.

The Risk Priority Number (RPN) is a quantitative measure used in FMEA to prioritize risks. It is calculated as the product of three ranked factors: Severity (S), Occurrence (O), and Detection (D). The formula is \(RPN = S times O times D\). Each factor is typically rated on a scale from 1 to 10, allowing teams to focus on the highest-scoring risks first.

Real-time systems are classified as "hard" or "soft" based on the consequence of missing a deadline. In a hard real-time system, missing a deadline is a total system failure, such as in an anti-lock braking system. In a soft real-time system, missing a deadline leads to degraded performance but not catastrophic failure, such as in live audio-video streaming.

Rate-Monotonic Scheduling (RMS) is a static-priority scheduling algorithm for periodic tasks in a real-time system. It assigns priorities based on task frequency: the shorter a task's period (the higher its rate), the higher its priority. RMS is an optimal static-priority algorithm, meaning if any static-priority algorithm can schedule a task set, RMS can too. Schedulability can be checked using a utilization-based test.

The Finite Volume Method (FVM) is a dominant numerical technique in CFD for solving partial differential equations. It discretizes the domain into a mesh of control volumes and applies the governing equations in their integral form to each volume. By converting volume integrals to surface integrals using the divergence theorem, it focuses on calculating the flux of conserved properties across cell faces.

Formal verification is the use of mathematical methods to prove or disprove the correctness of a system's design with respect to a formal specification. Unlike testing, which can only show the presence of bugs for specific inputs, formal verification can prove their absence for all possible inputs. It involves creating a formal model of the system and using techniques like model checking or theorem proving.

BFT (acronym of Byzantine Fault Tolerance) is a property of a system that allows it to continue operating correctly and reach consensus even if some of its components fail in arbitrary, unpredictable ways, including malicious behavior (Byzantine failures). This is a much stronger guarantee than tolerating simple crash failures. It requires a minimum of \(3f+1\) total components to tolerate \(f\) faulty, malicious components.