Одарущенко, Олег МиколайовичХарченко, Вячеслав СергійовичМаєвський, Дмитро АндрійовичПоночовний, Юрій ЛеонідовичРуденко, Олександр АнтоновичОдарущенко, Олена БорисівнаЗасуха, Сергій ОлексійовичЖадан, Валентина ОлегівнаЖивило, Сергій Володимирович2019-02-092019-02-092012-05-12978-966-662-255-9https://dspace.pdau.edu.ua/handle/123456789/2024Тритомник (том 1 - Якість, том 2 - Надійність, том З - Безпека) описує теоретичні і прикладні аспекти курсів Safeware engineering foundations. High availability systems and technologies. Formal methods-based technologies for safeware, a також тренінг-модулів Safety-case- oriented techniques and tools, що розроблено за проектом TEMPUS-SAFEGUARD National Safeware Engineering Network of Centres of Innovative Academia-Industry Handshaking. Том 2 описує методи і технології оцінки надійності ПС, що базуються на теорії динаміки та її застосуваннях, імовірнісних моделях надійності і готовності з урахуванням вторинних дефектів, багатофрагментних марковських моделях обслуговуваних ІКС і аналізі еволюціонуючих систем з оперативною верифікацією. Для студентів, аспірантів та викладачів університетів відповідних спеціальностей, інженерів та дослідників у сфері якості та безпеки ПС та ІКС.Викладено матеріали досліджень та розробок у сфері оцінювання якості, надійності і функціональної безпеки програмних засобів і систем (ПС), які є частиною інформаційно- керуючих систем (ІКС) для критичних застосувань. Описані методи і технології оцінювання ПС, що базуються на CASE (Computer-Aided Software Engineeгing)-пiдxoдi - використанні комп’ютеризованих засобів забезпечення якості та її складових для ПС і ІКС.ruComputer-Aided Software EngineeringНадежность информационно-управляющих системMonograph