Оригинал:
Hard
Missing a deadline is a total system failure.
Firm
Infrequent deadline misses are tolerable, but may degrade the system's quality of service. The usefulness of a result is zero after its deadline.
Soft
The usefulness of a result degrades after its deadline, thereby degrading the system's quality of service.
Firm СРВ является одним из классов систем реального времени. Firm СРВ терпима к редким невыполнениям дедлайна (в отличие от систем жесткого (hard) реального времени, в которых срыв дедлайна приводит к прекращению работы системы), но это может привести к потери качества услуг. Результат вычислений после дедлайна не представляет абсолютно никакой ценности.
Что определяет стандарт ARINC 653?
Стандарт разработан компанией ARINC (Aeronautical Radio, Inc.) в 1997 г. и определяет универсальный программный интерфейс APEX (Application/Executive) между ОС авиационного компьютера и прикладным ПО.
Стандарт требует, чтобы ОС РВ обеспечивали многоуровневое разделение (виртуализацию) вычислительного времени, памяти и периферийных ресурсов между приложениями при работе на однопроцессорной плате.
Одно из основных требований — архитектура изолированных виртуальных машин (MILS). Разделы (partitions) должны жестко изолироваться друг от друга с точки зрения используемого процессорного времени и оперативной памяти
Сколько категорий отказов ПО РВ предусматривает стандарт DO-178? В чём различие ПО разных категорий с точки зрения разработчика ПО?
Стандартом предусмотрено пять уровней серьезности отказа, и для каждого из них определен набор требований к программному обеспечению, которые должны гарантировать работоспособность всей системы в целом при возникновении отказов данного уровня серьезности.
ñ уровень A - ПО должно обеспечивать защиту от сбоев, приводящих к катастрофическим (catastrophic) последствиям;
ñ уровень B - опасным (hazardous) последствиям;
ñ уровень C - серьезным (major) последствиям;
ñ уровень D - незначительным (minor) последствиям;
ñ уровень E - не приводящих ни к каким последствиям.