Models and Computational Techniques for Safety and Security Requirements Analysis

This repository contains materials and projects developed during the "Models and Computational Techniques for Safety and Security Requirements Analysis" course at the Federal University of Alfenas (UNIFAL). Credits to Professor Rodrigo Martins Pagliares for the provided materials.

💻 Contents

The course covers the following topics:

1. Fundamental Concepts of Engineering and Systems Engineering

   • What is a system?
   • Systems engineering
   • Control in engineering
   • Control loop
   • Systems theory

2. Requirements Engineering and SWEBOK and SEBOK Guides

   • Software requirements and security
   • INCOSE certifications for systems engineers

3. Introduction to the STAMP Model (System-Theoretic Accident Model and Processes)

   • Use of the STAMP model in various industries
   • Safety and security
   • Causality and accident causality models

4. Introduction to STPA Technique (System-Theoretic Process Analysis)

   • Abstraction
   • Control structure
   • Steps of the STPA technique
   • Examples of safety analysis

5. Introduction to CAST Technique (Causal Analysis Based on System Theory)

   • Common problems in accident analysis
   • Examples of accident analysis using the CAST technique

6. Introduction to STPA for Security Technique (STPA-SEC)

   • Motivation
   • Steps of the STPA-SEC technique
   • Examples of security analysis

📂 Developed Projects

The following projects were developed as part of this course:

1. STPA Analysis
   • STPA Analysis

📚 Bibliography

• LEVESON, N. G. Engineering a Safer World: Systems Thinking Applied to Safety. Cambridge: MIT Press Ltd, 2011.
• LEVESON, Nancy. CAST HANDBOOK: How to Learn More from Incidents and Accidents. 2019.
• LEVESON, Nancy; THOMAS, Jhon. STPA Handbook. 2018.