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