Ви переглядаєте архівну версію офіційного сайту НУЛП (2005-2020р.р.). Актуальна версія: https://lpnu.ua

Software Safety Engineering

Major: Software engineering
Code of Subject: 8.121.00.M.29
Credits: 4
Department: Software
Lecturer: Pfor., DrSc(Eng) Vitaliy Yakovyna
Semester: 4 семестр
Mode of Study: денна
Learning outcomes:
Knowledge:
- ability to demonstrate in-depth knowledge of basic concepts and definitions of the theory of reliability, reliability criteria, laws of time distribution before failure;
- ability to demonstrate in-depth knowledge of methods of reliability analysis of technical systems;
- ability to demonstrate advanced knowledge of mathematical models of software systems reliability;
- ability to demonstrate in-depth knowledge of basic methods of ensuring and improving the reliability of technology.
Skills:
- to apply the mathematical apparatus of the theory of reliability to determine the reliability of software systems based on experimental data;
- to analyze and investigate the reliability and risk of renewable and non-renewable systems;
- to analyze the reliability of software and hardware systems of complex structure.
Required prior and related subjects:
- Prerequisites: Analytical and numerical methods, Methods of analysis and optimization of complex systems
- co-requisites: Model-oriented methods of software systems development
Summary of the subject:
Fundamental concepts and definitions of the theory of reliability. Problems of reliability analysis of complex technical systems. Mathematical models of functioning of technical elements and systems in the sense of their reliability. Reliability of information systems. Software reliability modeling and analysis. Software reliability models with imperfect debugging. Reliability models of complex fault-tolerant software systems.
Recommended Books:
1. Бобало Ю.Я., Волочій Б.Ю., Лозинський О.Ю., Мандзій Б.А., Озірковський Л.Д., Федасюк Д.В., Щербовських С.В., Яковина В.С. Математичні моделі та методи аналізу надійності радіоелектронних, електротехнічних та програмних систем: монографія. – Львів: Видавництво Львівської політехніки, 2013. – 300 с.
2. Яковина В. С. Моделі, методи та засоби аналізу надійності програмних систем : монографія / Яковина В. С., Федасюк Д. В., Сенів М. М., Нитребич О. О. – Львів : Видавництво Львівської політехніки, 2015. – 220 с.
3. Волочій Б.Ю. Технологія моделювання алгоритмів поведінки інформаційних систем. – Львів: Вид-во НУ "Львівська політехніка", 2004. – 220 с.
4. Половко А.М., Гуров С.В. Основы теории надежности. – СПб.: БХВ-Петербург, 2008. – 704 c.
5. Pham H. System Software Reliability. – Springer Series in Reliability Engineering, Springer London, 2007.
6. Software Reliability (https://users.ece.cmu.edu/~koopman/des_s99/sw_reliability/)
7. Michael R. Lyu, Handbook of Software Reliability Engineering, (http://www.cse.cuhk.edu.hk/~lyu/book/reliability/)
Assessment methods and criteria:
- Current control (40%): written reports on laboratory work, completion of individual research assignment, oral examination
- Final control (60%, exam): testing (60%)