Электронный фонд правовой
и нормативно-технической документации
ISO/IEC TR 11735-1996 Information Technology - EXTensions for Real-Time Ada
Документ «ISO/IEC TR 11735-1996 Information Technology - EXTensions for Real-Time Ada» предназначен для стандартизации расширений языка программирования Ada, применяемых в системах реального времени. Он устанавливает основные требования и рекомендуемые практики для обеспечения корректности, надежности и эффективности разработки программного обеспечения в условиях, где время отклика критично.
Основные регламентируемые аспекты включают методы определения временных характеристик, параметры выполнения программ и требования к ресурсам. Документ описывает процедуры, позволяющие оценивать и тестировать программы, разрабатываемые на языке Ada, обеспечивая их соответствие заданным временным критериям.
К числу важных технических деталей относятся условия испытаний, которые определяют порядок измерения временных характеристик программ, а также классификации или спецификации для различных задач, связанных с реальным временем. Эти детали служат основой для разработки и внедрения надежных программных решений, способных работать в жестких временных ограничениях.
Целевая аудитория стандарта охватывает производителей программного обеспечения, лаборатории тестирования, а также контролирующие органы, занимающиеся сертификацией программных продуктов. Стандарт может быть полезен для организаций, стремящихся улучшить свои процессы разработки, тестирования и сертификации программного обеспечения в критических приложениях.
Практическое значение стандарта проявляется в его влиянии на безопасность, качество и совместимость программного обеспечения. Следование рекомендациям стандарта способствует повышению уровня защиты трудовых ресурсов, а также минимизации рисков, связанных с сбоями в системах реального времени. Изменения и дополнения к документу, каким образом применяются новые технологии и подходы, также уточняется для обеспечения актуальности и соответствия современным требованиям разработки.
Описание документа носит справочный характер, достоверность этого материала не гарантируется.
Скачать документ нельзя. Вы можете заказать документ.
Международные и зарубежные стандарты (ASTM, ISO, ASME, API, DIN, BS и др.) не предоставляются в рамках данной услуги. Каждый стандарт приобретается платно с учетом лицензионной политики Разработчика.
Любые авторские документы, размещенные на сайте, представлены в соответствии с признанным в международной практике принципом «как есть». ООО «Информпроект Групп» не несет ответственности за правильность информации, изложенной в авторских документах.
Возможно вас заинтересуют
ISO/IEC TR 11590-1995 Information Technology - Open Systems Interconnection - LOTOS Description of the CCR Protocol
ISO/IEC TR 11589-1995
ISO/IEC TR 11581-1-2011 Information technology - User interface icons - Part 1: Introduction to and overview of icon standards
ISO/IEC TR 11801-9901-2014 Information technology – Generic cabling for customer premises – Part 9901: Guidance for balanced cabling in support of at least 40 Gbit/s data transmission
ISO/IEC TR 11801-9902-2017 Information technology – Generic cabling for customer premises – Part 9902: End-to-end link configurations
ISO/IEC TR 11801-9904-2017 Information technology – Generic cabling for customer premises – Part 9904: Assessment and mitigation of installed balanced cabling channels to support 2,5GBASE-T and 5GBASE-T