Кто-нибудь знает, как отказоустойчивость программного обеспечения реализована в системах управления воздушным движением?Программное обеспечение Fault Tolerance
Некоторые URL-адреса будут очень полезными.
Кто-нибудь знает, как отказоустойчивость программного обеспечения реализована в системах управления воздушным движением?Программное обеспечение Fault Tolerance
Некоторые URL-адреса будут очень полезными.
Lockheed опубликовал некоторые статьи об этом некоторое время назад. Посмотрите here.
Многие системы используют Ada, которая явно поддерживает проверку предложений и других формально-логических идей, чтобы вы могли гарантировать согласованность системы. Узнайте больше об этом here.
Вы также хотите искать ERAM, акроним для «En Route Automation Modernization», которое является именем новой системы, что это (очень) медленно выкатился сейчас в США. Это замена для En Route Host System, существующей унаследованной системы, которая препятствует сбоям друг в друге.
Ссылка software fault tolerance здесь охватывает: