CASE- оценка критических программных систем. В 3-х томах. Том 2. Надежность

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, Надежность информационно-управляющих систем
Citation