Научнотехнические разработки просветной гидролокации в системах мониторинга полей различной физической природы . <...> Электромагнитная система относительного позиционирования в аэроэлектроразведочных комплексах . <...> К созданию однокристального многопроцессорного компьютера общего назначения с массовым параллелизмом . <...> Методика математического моделирования зондовых средств восприятия воздушных давлений . <...> Компьютерное моделирование макета приемника полного давления . <...> Цифровые способы коррекции температурной погрешности датчиков давления с тензопреобразователями на основе структур “кремний на сапфире”. <...> Предложены модели драйверов, методика проектирования и инструментальные средства, обеспечивающие автоматизированное проектирование сертифицируемых драйверов. <...> . Сертификационные артефакты, порождаемые в процессе проектирования драйвера по КТ-178В с учетом реальной практики проектирования, можно представить следующей структурной моделью (рис. <...> Для автоматизации проектирования требований низкого уровня, исходного кода и модульных тестов сформируем классификацию существующих драйверов по таким критериям, как: тип обслуживаемого устройства; режим функционироДатчики и Системы · ¹ 6.2013 3 Требования ВУ ADi DDi SCi TSi Объектный код TEi TRi Рис. <...> Модель типового драйвера как множества артефактов вания драйвера; уровень обслуживаемого устройства в общей топологической иерархии; уровень обслуживаемого устройства в логической иерархии; спецификация целевой операционной системы; спецификация целевой процессорной архитектуры; уровень реализуемого драйвером протокола. <...> Классификация драйверов и типов внешних устройств легли в основу спецификации драйвера в виде кортежа: бEP, IH, RS, MS, IS, RVс, где EP (Entry Points) — точки входа драйвера; IH (Interrupt Handlers) — обработчики прерываний; RS (Register States) — состояния регистров обслуживаемого устройства; MS (Memory States) — состояние памяти обслуживаемого устройства; IS (Internal Statuses <...>