Software Design for Resilient Computer Systems
Эта книга представляет собой третье издание фундаментального труда по проектированию программного обеспечения для отказоустойчивых компьютерных систем. Авторы, опираясь на многолетний опыт разработки систем для военно-морского флота и космических спутников, предлагают комплексный подход к созданию высоконадежных, безопасных и эффективных вычислительных систем.
Основное внимание уделяется концептуальным принципам и аналитическим методам, позволяющим количественно оценивать и оптимизировать три ключевых параметра системы: производительность (Performance), надежность (Reliability) и энергоэффективность (Energy efficiency) — так называемые PRE-требования. Авторы вводят и детально анализируют три категории избыточности системы: информационную, структурную и временную.
Книга объединяет передовые идеи модульного проектирования системного программного обеспечения, развитые в ETH Zurich, с практическим опытом создания fault-tolerant архитектур для критически важных приложений реального времени. Особое внимание уделяется взаимодействию аппаратного и программного обеспечения для достижения максимальной устойчивости к сбоям.
Издание будет полезно инженерам, архитекторам систем и исследователям, работающим в областях встраиваемых систем, аэрокосмической техники, оборонных технологий и других областей, где требуются гарантированно надежные компьютерные системы.
