И. О. Атовмян
Список книг автора И. О. АтовмянОптимизация тестирования сложных цифровых устройств
В статье изложены основные принципы объединения отдельных тестовых проверок модулей, составляющих цифровое устройство, в единую тест-программу. Объединение проверок проводится при неполной информации относительно реакций неисправного устройства. Формулируются свойства оптимально упорядоченной последовательности проверок в тесте. Предлагаются эвристические алгоритмы упорядочения проверок.
Сбор и обработка исторических данных в автоматизированных информационных системах
В статье рассматриваются вопросы накопления исторических данных в автоматизированной системе, а также их обработки и анализа для задач планирования развития и сопровождения системы. Представлен метод сбора исторических данных, обеспечивающий возможность накапливать детализированную информацию обо всех изменениях хранимой информации, описаны основные достоинства и недостатки данного метода. Авторы приводят некоторые способы обработки и анализа собираемых данных, применимые на разных стадиях создания системы, а также в процессе ее эксплуатации и сопровождения.
Опыт разработки и тестирования встраиваемой микроядерной операционной системы
Описан процесс разработки встраиваемой операционной системы на основе микроядра GNU/Mach. Разработка осуществлялась путем переноса микроядра GNU/Mach на архитектуру ARM с последующей разработкой драйвера Ethernet и запуском TCP/IP стека в виде отдельных модуль-серверов. Приводятся сравнительные оценки производительности.
Инструментарий лабораторного практикума по изучению кластерных систем
Изложены цели и концепции лабораторного практикума в виде открытой системы для изучения возможностей и особенностей функционирования кластерных систем, позволяющего решать задачи выбора рациональной организации вычислительного процесса с учетом структурной организации, технических параметров кластерных систем и возможного взаимодействия решаемых задач и их характеристик. Для выбора рационального построения системы применяются имитационные модели в системе GPSS World.