CASE- оценка критических программных систем. В 3-х томах. Том 2. Надежность
Дата
2012-05-12
Автори
Одарущенко, Олег Миколайович
Харченко, Вячеслав Сергійович
Маєвський, Дмитро Андрійович
Поночовний, Юрій Леонідович
Руденко, Олександр Антонович
Одарущенко, Олена Борисівна
Засуха, Сергій Олексійович
Жадан, Валентина Олегівна
Живило, Сергій Володимирович
Назва журналу
Номер ISSN
Назва тому
Видавець
Нац. аэрокосмический ун-т "Харьк. авиац. ин-т”
Анотація
Викладено матеріали досліджень та розробок у сфері оцінювання якості, надійності і
функціональної безпеки програмних засобів і систем (ПС), які є частиною інформаційно-
керуючих систем (ІКС) для критичних застосувань. Описані методи і технології оцінювання ПС,
що базуються на CASE (Computer-Aided Software Engineeгing)-пiдxoдi - використанні
комп’ютеризованих засобів забезпечення якості та її складових для ПС і ІКС.
Опис
Тритомник (том 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 описує методи і
технології оцінки надійності ПС, що базуються на теорії динаміки та її застосуваннях,
імовірнісних моделях надійності і готовності з урахуванням вторинних дефектів,
багатофрагментних марковських моделях обслуговуваних ІКС і аналізі еволюціонуючих систем з
оперативною верифікацією.
Для студентів, аспірантів та викладачів університетів відповідних спеціальностей,
інженерів та дослідників у сфері якості та безпеки ПС та ІКС.
Ключові слова
Computer-Aided Software Engineering, Надежность информационно-управляющих систем