Fabio POSTIGLIONE | SYSTEM SAFETY ENGINEERING
Fabio POSTIGLIONE SYSTEM SAFETY ENGINEERING
cod. 0622700105
SYSTEM SAFETY ENGINEERING
| 0622700105 | |
| DEPARTMENT OF INFORMATION AND ELECTRICAL ENGINEERING AND APPLIED MATHEMATICS | |
| EQF7 | |
| COMPUTER ENGINEERING | |
| 2024/2025 |
| YEAR OF COURSE 2 | |
| YEAR OF DIDACTIC SYSTEM 2022 | |
| AUTUMN SEMESTER |
| SSD | CFU | HOURS | ACTIVITY | ||
|---|---|---|---|---|---|
| SYSTEM SAFETY ENGINEERING | |||||
| ING-INF/03 | 2 | 16 | LESSONS | ||
| ING-INF/03 | 1 | 8 | LAB | ||
| SYSTEM SAFETY ENGINEERING | |||||
| SECS-S/02 | 2 | 16 | LESSONS | ||
| SECS-S/02 | 1 | 8 | LAB | ||
| Objectives | |
|---|---|
| THE COURSE HAS BOTH METHODOLOGICAL AND APPLICATIVE NATURE. FIRST, THE COURSE FOCUSES ON STOCHASTIC AND STATISTIC METHODS AIMED AT ASSESSING RELIABILITY AND SAFETY OF INDIVIDUAL COMPONENTS SUBJECT TO FAILURE AND RESTORE OPERATIONS. THEN, TECHNIQUES FOR ASSESSING THE RELIABILITY OF COMPLEX AND CRITICAL SYSTEMS WHERE FAILURES CAN PROVOKE HUMAN AND ENVIRONMENTAL RISKS ARE PRESENTED. FINALLY, THE PRESENTED METHODOLOGIES ARE APPLIED TO SAFETY-CRITICAL SYSTEMS OF PRACTICAL INTEREST. KNOWLEDGE AND UNDERSTANDING. METHODS FOR ASSESSING THE RELIABILITY OF TECHNOLOGICAL SYSTEMS. RELIABILITY BLOCK DIAGRAMS AND REDUNDANT STRUCTURES. FAULT TREES. REPAIRABLE UNITS AND STOCHASTIC METHODS TO ASSESS THEIR AVAILABILITY. MARKOV MODELS FOR COMPLEX SYSTEMS. BASICS ABOUT DEPENDABILITY AND SAFETY IN CRITICAL SYSTEMS. APPLICATION KNOWLEDGE AND UNDERSTANDING. DESCRIPTION OF COMPLEX SYSTEMS THROUGH RELIABILITY BLOCK DIAGRAMS FOR RELIABILITY AND AVAILABILITY ASSESSMENTS. SIMULATION OF STOCHASTIC FAILURE/REPAIR ACTIONS FOR TECHNOLOGICAL SYSTEMS THROUGH SOFTWARE TOOLS DESIGNED FOR THE AVAILABILITY ASSESSMENT (E.G., SHARPE, TIMENET). KNOWLEDGE OF MAIN STANDARDS FOR RELIABILITY AND SAFETY OF TECHNOLOGICAL SYSTEMS (E.G., IEC, ETSI). |
| Prerequisites | |
|---|---|
| FUNDAMENTALS OF PROBABILITY AND PROGRAMMING. |
| Contents | |
|---|---|
| DIDACTIC UNIT 1: INTRODUCTION TO THE COURSE AND GENERAL CONCEPTS (LECTURE/PRACTICE/LABORATORY HOURS 6/0/2) - 1 (2 HOUR LECTURE): COURSE INTRODUCTION. CONCEPT OF QUALITY. DEFINITION OF DEPENDABILITY AND ITS ATTRIBUTES (RELIABILITY, AVAILABILITY, SAFETY). - 2 (2 HOUR LECTURE): DEFINITION OF RELIABILITY. RELIABILITY FUNCTIONS, UNRELIABILITY, FAILURE RATE. MEAN LIFETIME AND RESIDUAL MEAN LIFETIME. - 3 (2 HOUR LECTURE): RELIABILITY MODELS: EXPONENTIAL, WEIBULL, LOGNORMAL. - 4 (2 HOUR LABORATORY): EXAMPLES ON THE EVALUATION OF DIFFERENT RELIABILITY MODELS. KNOWLEDGE AND UNDERSTANDING. GENERAL CONCEPTS ABOUT DEPENDABILITY, RELIABILITY AND SAFETY. PROBABILISTIC MODELS OF RELIABILITY. APPLICATION KNOWLEDGE AND UNDERSTANDING. ASSESSING THE AVAILABILITY DEPENDING ON THE MISSION TIME, AND TECHNOLOGICAL COMPONENTS USEFUL LIFE. DIDACTIC UNIT 2: RELIABILITY AND AVAILABILITY OF SYSTEMS (LECTURE/PRACTICE/LABORATORY HOURS 12/0/4) - 5 (2 HOUR LECTURE): METHODS FOR RELIABILITY ASSESSMENT OF SYSTEMS. RELIABILITY BLOCK DIAGRAMS (RBD). SERIES SYSTEMS. PARALLEL SYSTEMS, SERIES-PARALLEL, PARTIAL PARALLEL. - 6 (2 HOUR LECTURE): SYSTEMS WITH WAITING REDUNDANCY. RELIABILITY OF COMPLEX SYSTEMS: THE CONDITIONAL PROBABILITY METHOD. FAULTE TREE. - 7 (2 HOUR LABORATORY): EXAMPLES OF RBDS AND FAULT TREES. - 8 (2 HOUR LECTURE): BASICS ON STOCHASTIC PROCESSES: DEFINITION AND MAIN PROPERTIES. EXAMPLES OF STOCHASTIC PROCESSES. POINT STOCHASTIC PROCESSES: EVENT COUNTING PROCESS, EVENTS ARRIVAL TIMES, INTER-ARRIVAL TIMES. FAULT RATES. - 9 (2 HOUR LECTURE): HOMOGENEOUS POISSON PROCESS AND NON-HOMOGENEOUS POISSON PROCESSES: FEATURES AND USAGE. EXAMPLES. - 10 (2 HOUR LECTURE): MARKOV CHAINS: INTRODUCTION, TRANSITION PROBABILITIES, HOLDING TIMES. DISCRETE-STATE CONTINUOUS-TIME MARKOV PROCESSES FOR THE RELIABILITY. DEFINITION OF AVAILABILITY, STEADY-STATE AVAILABILITY, MEAN AVAILABILITY. AVAILABILITY OF COMPLEX SYSTEMS. - 11 (2 HOUR LECTURE): STATISTICAL APPROACHES TO RELIABILITY ASSESSMENT. COMPLETE SAMPLE AND CENSORED DATA. NON-PARAMETRIC AND PARAMETRIC (MAXIMUM LIKELIHOOD) ESTIMATION PROCEDURES FOR LIFETIME MODELS OF TECHNOLOGICAL UNITS. - 12 (2 HOUR LABORATORY): EXAMPLES OF MAXIMUM LIKELIHOOD ESTIMATION (MLE) OF THE PARAMETERS OF SOME LIFETIME MODELS OF INTEREST FOR COMPLETE AND CENSORED SAMPLES. COMPUTER-AIDED IMPLEMENTATION OF THE NON-PARAMETRIC AND PARAMETRIC PROCEDURES TO RELIABILITY EVALUATION OF TECHNOLOGICAL UNITS. KNOWLEDGE AND UNDERSTANDING. METHODS FOR ASSESSING RELIABILITY OF COMPLEX SYSTEMS. SUB-SYSTEMS REDUNDANCY. FAILURE PROCESSES COMMONLY ADOPTED IN ENGINEERING. STOCHASTIC MODELS OF REPAIRABLE SYSTEMS FOR AVAILABILITY ASSESSMENT. STATISTICAL APPROACHES TO RELIABILITY EVALUATION. APPLICATION KNOWLEDGE AND UNDERSTANDING. PLANNING AND DESIGNING MODELS FOR RELIABILITY AND AVAILABILITY EVALUATION OF COMPLEX SYSTEMS. USEFUL CONFIGURATIONS FOR INCREASING RELIABILITY AND AVAILABILITY OF ENGINEERING SOLUTIONS. RELIABILITY ESTIMATION PROCEDURES FOR COMPLETE AND CENSORED SAMPLES. DIDACTIC UNIT 3: RELIABILITY/AVAILABILITY OF TECHNOLOGICAL AND SAFETY-CRITICAL SYSTEMS. (LECTURE/PRACTICE/LABORATORY HOURS: 12/0/12) - 13 (2 HOUR LECTURE): OVERVIEW ABOUT SAFETY-CRITICAL SYSTEMS WITH PRACTICAL EXAMPLES (NUCLEAR PLANTS, EMERGENCY SYSTEMS, DATA CENTERS). - 14 (2 HOUR LECTURE): STANDARDS AND GUIDELINES ON THE SAFETY OF TECHNOLOGICAL SYSTEMS. - 15 (2 HOUR LECTURE): TECHNOLOGICAL BASICS OF SOME COMPLEX. - 16 (2 HOUR LECTURE): THE ETSI STANDARD AND HIGH AVAILABILITY REQUIREMENTS IN TECHNOLOGICAL SYSTEMS. - 17 (2 HOUR LABORATORY): FAULT TREES FOR COMPLEX SYSTEMS. - 18 (2 HOUR LECTURE): METHODOLOGIES SUITED FOR SYSTEMS AVAILABILITY ASSESSMENT (E.G., CONTINUOUS-TIME MARKOV CHAINS, STOCHASTIC PETRI NETWORKS) AND EXAMPLES. - 19 (2 HOUR LABORATORY): SHARPE: A FRAMEWORK FOR DEVELOPING AND ASSESSING RELIABILIY/AVAILABILITY AND SAFETY MODELS. PRACTICAL EXAMPLES. - 20 (2 HOUR LABORATORY): TIMENET: A FRAMEWORK FOR DEVELOPING AND ASSESSING RELIABILIY/AVAILABILITY AND SAFETY MODELS. PRACTICAL EXAMPLES. - 21 (2 HOUR LABORATORY): RELIABILITY AND AVAILABILITY ASSESSMENT OF COMPLEX SYSTEMS SIMULATED THROUGH SHARPE AND TIMENET. - 22 (2 HOUR LECTURE): SENSITIVITY ANALYSIS FOR RELIABILITY/AVAILABILITY AND SAFETY MODELS, AND IMPORTANCE MEASURES. - 23 (2 HOUR LABORATORY): EXAMPLES OF SAFETY-CRITICAL SYSTEM ASSESSMENT. - 24 (2 HOUR LABORATORY): EXAMPLES OF SAFETY-CRITICAL SYSTEM ASSESSMENT. KNOWLEDGE AND UNDERSTANDING. SAFETY-CRITICAL SYSTEMS. STOCHASTIC PETRI NETWORKS FOR ASSESSING THE AVAILABILITY OF COMPLEX SYSTEMS. APPLICATION KNOWLEDGE AND UNDERSTANDING. SYSTEM SAFETY STANDARDS. HIGH AVAILABILITY REQUIREMENTS OF MISSION-CRITICAL SYSTEMS. FRAMEWORKS FOR DEVELOPING AND ASSESSING RELIABILITY/AVAILABILITY AND SAFETY MODELS OF COMPLEX SYSTEMS. TOTAL LECTURE/PRACTICE/LABORATORY HOURS 30/0/18 |
| Teaching Methods | |
|---|---|
| THE COURSE INCLUDES THEORETICAL LECTURES, CLASSROOM EXERCISES, AND THE USAGE OF SOFTWARE TOOLS FOR SAFETY AND RELIABILITY/AVAILABILITY EVALUATION. |
| Verification of learning | |
|---|---|
| SUCCESSFUL ACHIEVEMENT OF THE LEARNING OUTCOMES WILL BE ASSESSED THROUGH A PROJECT WORK DEALING WITH THE RELIABILITY EVALUATION OF A SAFETY-CRITICAL SYSTEM. |
| Texts | |
|---|---|
- K.S. TRIVEDI, A. BOBBIO. RELIABILITY AND AVAILABILITY ENGINEERING MODELING, ANALYSIS, AND APPLICATIONS. CAMBRIDGE UNIVERSITY PRESS, 2017 - M. GUIDA. AFFIDABILITÀ. ARACNE EDITORE, 2020. - M. RAUSAND. RELIABILITY OF SAFETY-CRITICAL SYSTEMS THEORY AND APPLICATIONS. WILEY, 2014 - B.S. DHILLON. ENGINEERING SYSTEMS RELIABILITY, SAFETY, AND MAINTENANCE. TAYLOR & FRANCIS - CRC PRESS, 2017 - W.Q. MEEKER, L.A. ESCOBAR, F.G. PASCUAL. STATISTICAL METHODS FOR RELIABILITY DATA, 2ND ED. WILEY-BLACKWELL, 2021. SUPPLEMENTARY TEACHING MATERIAL WILL BE AVAILABLE ON THE UNIVERSITY E-LEARNING PLATFORM (HTTP://ELEARNING.UNISA.IT) ACCESSIBLE TO STUDENTS USING THEIR OWN UNIVERSITY CREDENTIALS. |
| More Information | |
|---|---|
| The course is held in Italian |
BETA VERSION Data source ESSE3 [Ultima Sincronizzazione: 2024-11-18]
