Автоматизация проектирования сложных блоков высоконадежных программно-технических комплексов специального назначения тема диссертации и автореферата по ВАК РФ 05.13.12, кандидат наук Уткин, Денис Михайлович

  • Уткин, Денис Михайлович
  • кандидат науккандидат наук
  • 2013, Воронеж
  • Специальность ВАК РФ05.13.12
  • Количество страниц 125
Уткин, Денис Михайлович. Автоматизация проектирования сложных блоков высоконадежных программно-технических комплексов специального назначения: дис. кандидат наук: 05.13.12 - Системы автоматизации проектирования (по отраслям). Воронеж. 2013. 125 с.

Оглавление диссертации кандидат наук Уткин, Денис Михайлович

СОДЕРЖАНИЕ

ВВЕДЕНИЕ

1. АНАЛИЗ СРЕДСТВ АВТОМАТИЗИРОВАННОГО ПРОЕКТИРОВАНИЯ И ИХ ВОЗМОЖНОСТИ ПО ОБЕСПЕЧЕНИЮ БЕЗОТКАЗНОЙ РАБОТЫ СЛОЖНЫХ БЛОКОВ ПРОГРАММНО-ТЕХНИЧЕСКИХ КОМПЛЕКСОВ СПЕЦИАЛЬНОГО НАЗНАЧЕНИЯ В В УСЛОВИЯХ ВОЗДЕЙСТВИЯ СТАТИЧЕСКОГО РАДИАЦИОННОГО ВОЗДЕЙСТВИЯ

1.1. Программно-технические комплексы специального назначения: назначение, состав и перспективы разработки

1.2. Анализ современных подходов к автоматизации проектирования сложных блоков, составляющих ПТК

1.3. Особенности проявления радиационного воздействия на сложные блоки, использующие современную микрокомпонентную базу

1.4. Анализ и возможности средств проектирования по прогнозированию показателей надежности сложных блоков, составляющих ПТК, при воздействии на них событий радиационного характера

1.5. Развитие моделирования событий радиационного воздействия современными средствами проектирования

1.6. Выводы, цели и задачи исследования

2. СРЕДСТВА И МЕТОДЫ АВТОМАТИЗАЦИИ ПРОЕКТИРОВАНИЯ СЛОЖНЫХ БЛОКОВ С УЧЕТОМ КОМПЛЕКСНОГО ВОЗДЕЙСТВИЯ НА НИХ РАЗЛИЧНЫХ ДЕГРАДАЦИОННЫХ ФАКТОРОВ

2.1. Обобщенная методика проектирования сложных блоков с комплексным учетом отказов аппаратуры вследствие воздействия различных деградационных факторов

2.2. Обобщенная математическая модель параметров надежности сложных блоков ПТК с учетом старения технических систем при статическом радиационном воздействии

2.3. Обоснование методов, средств и среды проектирования для получения моделей высоконадежных сложных блоков

2.4. Выводы

3. ОБОБЩЕННАЯ ФУНКЦИЯ ВЕРОЯТНОСТИ БЕЗОТКАЗНОЙ РАБОТЫ СЛОЖНЫХ БЛОКОВ ВЫСОКОНАДЕЖНЫХ ПРОГРАММНО-ТЕХНИЧЕСКИХ КОМПЛЕКСОВ И ЕЕ ИНТЕГРАЦИЯ В САПР СКВОЗНОГО ПРОЕКТИРОВАНИЯ

3.1. Логическая функция параметров надежности сложных блоков, составляющих программно-технические комплексы, на основе логико-вероятностного математического аппарата

3.2. Использование вероятностной теории Марковских процессов и теории графов для детализации обобщенной функции параметров надежности сложных блоков

3.3. Интеграция расчетных формул параметров надежности в САПР сквозного проектирования

3.4. Выводы

4. РАЗРАБОТКА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ СРЕДСТВ АВТОМАТИЗАЦИИ ПРОЕКТИРОВАНИЯ СЛОЖНЫХ БЛОКОВ И ОЦЕНКА ЭФФЕКТИВНОСТИ РАЗРАБОТАННЫХ МЕТОДИК, МОДЕЛЕЙ И АГОРИТМОВ

4.1. Определение показателей надежности сложных блоков ПТК и экспериментальная проверка адекватности моделей

4.2. Особенности разработанного программного обеспечения для

расчета надежности программно-технических-комплексов специального

назначения в нормальных условиях и условиях воздействия

радиации

4.3 Результаты апробирования программно-технического комплекса специального назначения, разработанного с использованием программного обеспечения расчета надежности ПТК в нормальных условиях и в условиях воздействия событий радиационного характера

4.4. Выводы

ЗАКЛЮЧЕНИЕ

СПИСОК ИСПОЛЬЗУЕМЫХ ИСТОЧНИКОВ

ПРИЛОЖЕНИЯ

Рекомендованный список диссертаций по специальности «Системы автоматизации проектирования (по отраслям)», 05.13.12 шифр ВАК

Введение диссертации (часть автореферата) на тему «Автоматизация проектирования сложных блоков высоконадежных программно-технических комплексов специального назначения»

ВВЕДЕНИЕ

Актуальность проблемы. Разработка программно-технических комплексов специального назначения относится к приоритетной области экономической политики Российской Федерации, так как они востребованы в научной, оборонной, социальной и иных важнейших сферах деятельности. При этом огромное значение имеет работоспособность программно-технических комплексов, включенных в перечень критических технологий Российской Федерации и предназначенных для авиационных, космических объектов, атомных электростанций, химических производств, вследствие того, что они имеют первоочередное значение для национальной безопасности РФ. Данные технические системы должны функционировать при воздействии ионизирующего излучения, электромагнитных помех, в широком диапазоне механических напряжений и температур.

Задача обеспечения работоспособности таких систем может быть решена только с помощью комплексного подхода, включающего в себя совершенствование архитектуры и структуры вычислительных модулей, разработку новой широкой номенклатуры функционально-ориентированной высокоинтегрированной электронной компонентной базы, создание научной и промышленной инфраструктуры проектирования, производства, испытания и эксплуатации вычислительных систем.

Среди указанных мероприятий задача разработки сложных блоков, составляющих основу программно-технических комплексов и сохраняющих свою работоспособность при воздействии целого спектра дестабилизирующих факторов, является особенно важной. Ее решение требует совершенствования, в первую очередь, средств автоматизированного проектирования (САПР), которые позволят разрабатывать изделия, работающие в указанных условиях. Прежде всего, это относится к моделированию различных видов воздействий и прогнозированию

показателей надежности, которые должны учитывать радиационную компоненту.

Отметим, что моделирование работоспособности технических систем в указанных условиях и прогнозирование показателей надежности сложных блоков всегда было объектом рассмотрения при создании программно-технических комплексов. Этому посвящены многие работы авторов Зинчука В. М., Лимарева А. Е, Попова В. Д., Неровного В. В., Антимирова В. М..

Однако в настоящее время коренным образом изменились технологии создания блоков, появились новые схемотехнические и технологические решения, связанные как с созданием новой электронной компонентной базы, так и с методами ее комплексирования и обработки информации. Кроме того, появились новые и модернизировались традиционные виды дестабилизирующих факторов, ужесточились требования по показателям надежности и срокам функционирования аппаратуры в условиях ионизирующего воздействия, что нашло отражение в комплексе государственных стандартов (КГС) «Климат-7», «Мороз-6», а также в руководящих документах, конкретизирующих их.

Эти причины потребовали провести совершенствование САПР в части автоматизации проектирования сложных блоков высоконадежных программно-технических комплексов специального назначения, что и обусловило актуальность работы.

Диссертация выполнена по программам работ научно-образовательного центра ФГБОУ ВПО «ВГЛТА»: «Разработка средств проектирования микросхем в части моделирования радиационного воздействия и разработка первого варианта радиационно-стойких библиотек элементов», поддержана грантами РФФИ 12-08-31439 «Средства проектирования и управления проектами электронной компонентной базы» в соответствии с межвузовской научно-технической программой И.Т.601 «Перспективные информационные технологии в высшей школе» и научному

б

направлению ФГБОУ ВПО (ВГЛТА) «Разработка средств автоматизации управления и проектирования (в промышленности)» №01.2.00609244.

Объектом исследования является автоматизированное проектирование сложных блоков высоконадежных программно-технических комплексов специального назначения.

Предметом исследования являются модели и алгоритмы моделирования работоспособности сложных блоков высоконадежных программно-технических комплексов, функционирующих в условиях воздействия радиации в САПР сквозного проектирования.

Цель исследования состоит в создании методов, моделей и алгоритмов определения показателей надежности сложных блоков программно-технических комплексов в условиях воздействия радиации в САПР.

Для достижения поставленной цели необходимо найти решение следующих основных задач:

1. Провести анализ текущего состояния методов и средств автоматизации проектирования сложных блоков высоконадежных программно-технических комплексов при воздействии радиации, определить проблемы и направления их развития.

2. Сформировать методику проектирования сложных блоков высоконадежных программно-технических комплексов, учитывающую радиационную компоненту, режим работы функциональных модулей и способную оценить показатели надежности технических систем.

3. Разработать математические модели вероятности безотказной работы сложных блоков высоконадежных программно-технических комплексов с учетом радиационных эффектов, возникающих в блоках при статическом радиационном воздействии.

4. Получить численные оценки безотказной работы сложных блоков высоконадежных программно-технических комплексов с учетом применения логико-вероятностного математического аппарата в зависимости от режима работы и параметров радиационного воздействия.

5. Разработать алгоритмическое и программное обеспечение для проектирования сложных блоков высоконадежных программно-технических комплексов, позволяющее оценить показатели надежности в условиях радиационного воздействия при динамическом режиме работы данных систем.

6. Реализовать разработанные средства и внедрить их в единую программную среду проектирования, осуществить их интеграцию в промышленное производство и оценить адекватность моделирования.

Методы исследования. В качестве теоретической и методологической основы диссертации использованы математический аппарат логики, теории графов, дифференциального исчисления, комбинаторики, математической статистики и дискретизации, а также элементы теории автоматизированного проектирования.

Научная новизна работы состоит в следующем:

- Методика проектирования сложных блоков высоконадежных программно-технических комплексов, отличающаяся комплексным учетом отказов аппаратуры вследствие старения и деградации параметров от статического радиационного воздействия и способная оценить показатели надежности в процессе работы блоков в составе программно-технических комплексов;

- обобщенная функция определения безотказной работы сложных блоков высоконадежных программно-технических комплексов, отличающаяся учетом радиационных эффектов статического характера;

математическая модель для вычисления численных оценок безотказной работы сложных блоков высоконадежных программно-технических комплексов с учетом применения логико-вероятностного математического аппарата, отличающаяся учетом радиационного воздействия и режима работы блоков в составе программно-технических комплексов;

- алгоритмическое и программное обеспечения для проектирования сложных блоков высоконадежных программно-технических комплексов, отличающиеся совокупностью процедур, позволяющих в комплексе учесть 01казы аппаратуры вследствие старения и деградацию параметров от статического радиационного воздействия в зависимости от режима работы комплекса.

Практическая значимость и результаты внедрения. Предложенные методики в виде программных средств для проектирования сложных блоков программно-технических комплексов внедрены в ОАО «Концерн «Созвездие» (г. Воронеж) с экономическим эффектом 1409 тыс. рублей. Также результаты использовались для подготовки студентов по направлению «Информационные системы и технологии» и дополнительного образования «Разработчик профессионально-ориентированных компьютерных технологий». Анализ результатов внедрения показал их высокую значимость. Разработанные средства позволили значительно увеличить возможности проектирования сложных блоков с учетом их режимов работы, отказов аппаратуры вследствие старения и деградации параметров от статического радиационного воздействия. Основной практический вывод работы состоит в создании средств проектирования сложных блоков, реализованных на единой методологической платформе, что делает возможным их распространение на промышленных предприятиях аналогичного профиля.

Соответствие паспорту специальности. Согласно паспорту специальности 05.13.12 - Системы автоматизации проектирования - задачи, рассмотренные в диссертации, соответствуют областям исследований:

3. Разработка научных основ построения средств САПР, разработка и исследование моделей, алгоритмов и методов для синтеза и анализа проектных решений, включая конструкторские и технологические решения в САПР и АСТПП.

Апробация работы. Результаты и положения диссертации обсуждались на научно-технических конференциях и совещаниях ОАО «Концерн «Созвездие» (г. Воронеж), а также предприятиях отрасли.

Основные результаты работы докладывались на конференциях и семинарах: VII Международном семинаре «Физико-математическое моделирование систем» («ФММС-7») (г. Воронеж 2010 год); Российской академии наук «Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС) » (г. Москва 2012 год), XIII Международной конференции «Информатика: проблемы, методология, технологии» (г. Воронеж 2012 год), одиннадцатой международной научной конференции «EAST-WEST DESIGN & TEST SYMPOSIUM (EWDTS 2013)» (г. Ростов-на-Дону 2013 год).

Публикации результатов работы. По теме диссертации опубликовано 14 работ, включая 4 работы в журналах, входящих в Перечень определенный ВАК Минобрнауки России, 6 работ выполнены без соавторов.

Личным участием автора является определение цели и задач работы [10, 12, 78, 85], выполнение научно-технических исследований [11, 66, 94], разработка и анализ моделей [79, 81, 84], разработка алгоритмов [78], разработка методики проектирования [80, 82], аппаратная [77] и программная реализация [83]. Общий объем всех публикаций 79 стр. Из них лично автором выполнено 55 стр.

Структура и объем диссертации. Работа изложена на 125 страницах и включает в себя введение, четыре главы, заключение, приложения, а также список используемой литературы.

1. АНАЛИЗ СРЕДСТВ АВТОМАТИЗИРОВАННОГО ПРОЕКТИРОВАНИЯ И ИХ ВОЗМОЖНОСТИ ПО ОБЕСПЕЧЕНИЮ БЕЗОТКАЗНОЙ РАБОТЫ СЛОЖНЫХ БЛОКОВ ПРОГРАММНО-ТЕХНИЧЕСКИХ КОМПЛЕКСОВ СПЕЦИАЛЬНОГО НАЗНАЧЕНИЯ В В УСЛОВИЯХ ВОЗДЕЙСТВИЯ СТАТИЧЕСКОГО РАДИАЦИОННОГО ВОЗДЕЙСТВИЯ

Материал главы содержит общие аспекты описания программно-технических комплексов специального назначения (ПТК), сложных блоков, составляющих их основу, возможности создания данных технических систем с учетом показателей надежности с помощью средств автоматизированного проектирования, а также определены особенности функционирования сложных блоков и ПТК в условиях радиационного воздействия.

1.1. Программно-технические комплексы специального назначения: назначение, состав и перспективы разработки

Сегодня, как никогда остро, перед российской экономикой и промышленностью стоит задача формирования научно-технического задела для создания новейших образцов вооружений и гражданской техники, повышения конкурентоспособности отечественных отраслей и предприятий. Рост экономических показателей, увеличение валового продукта и модернизация вооруженных сил определены Государством в числе стратегических приоритетов нашей страны [7, 38]. Для решения этих задач, а также с целью динамического развития науки, необходимо большое внимание уделять перспективным проектам и разработкам, являющимися основой развития российской экономики и промышленности.

Модернизация промышленности в целом и оборонно-промышленного комплекса в частности является, кроме того, залогом безопасности и продвижения национальных интересов нашей страны во всем мире, что делает актуальность работы по внедрению перспективных и инновационных решений в промышленность еще более значимой.

Одним из важнейших направлением в этой области является создание перспективных и высоконадежных ПТК. Особая роль при этом отводится разработке комплексов, включенных в перечень критических технологий Российской Федерации и предназначенных для авиационных, космических отраслей промышленности, химических производств и атомных реакторов.

Данные ПТК работают в тяжелых условиях эксплуатации в составе автоматизированных систем управления и выполняют полный набор функций автоматизации, таких как моделирование и прогнозирование обстановки по вариантам действий взаимодействующих подразделений, планирование применения подчиненных частей, постановки и доведения задач в различных условиях ведения работ. Кроме того, с помощью операторского интерфейса, разработанного в ПТК, возможно взаимодействие и обмен данными со смежными объектами, оборудованными программно-техническими комплексами, регистрация параметров, событий и действий, произведенных персоналом в процессе эксплуатации изделия, а также архивация данных.

ПТК относятся к проектно-компонуемым изделиям с переменным количеством составных частей и состоят из отдельных модулей и блоков, а также программного обеспечения. Структура данных технических систем определяется в зависимости от возложенных на него функций и задач, решаемых, в автоматизированной системе управления. Обобщенная структурная схема ПТК представлена на рисунке 1.1.

Средства сбора, регистрации и

подготовки и н формации

Средства передачи цифровых и аналоговых данных

Средства обработки информации

Локальные сети

Специальное программное обеспечение

Технологическое программное обеспечение

Тестовое программное обеспечение

Общее программное обеспечение

Рисунок 1.1 - Обобщенная структурная схема ГГТК

Высокая степень автоматизации, использование в тяжелых условиях эксплуатации и востребованность данных комплексов приводит к тому, что помимо основных функций назначения, к ПТК предъявляется ряд жестких требований, направленных на сокращение длительности и стоимости разработки на стадии проектирования, а также повышение надежности комплексов.

Опираясь на нормативный документ [19], можно определить надежность ПТК следующим образом:

Надежность - это свойство комплекса выполнять заданные функции, сохраняя во времени значения установленных эксплуатационных показателей в заданных пределах. Отказ ПТК понимается как событие, заключающееся в потере работоспособности одного или нескольких составных частей комплекса, приводящих к неработоспособному состоянию, т. е. к отсутствию связи между блоками и подсистемами ПТК а также объектами, оснащенными данными техническими системами.

В настоящее время оценку соответствия ПТК заданным требованиям по надежности, как правило, проводят в ходе эксплуатации изделия на объекте Заказчика, что не позволяет прогнозировать надежность системы при изменении функционально-структурных характеристик комплекса. Кроме того, материальные затраты по обнаружению и устранению проблем возникших в ходе эксплуатации изделия и влияющих на надежность системы в целом, зачастую превышают затраты на выполнение опытно-конструкторских работ.

В связи с этим становится крайне актуальна задача оценки надежности перспективных ПТК, решение которой возможно только с использованием комплексного подхода, включающего в себя совершенствование архитектуры и структуры вычислительных модулей, разработку новой широкой номенклатуры функционально-ориентированной

высокоинтегрированной электронной компонентной базы, создание научной и промышленной инфраструктуры проектирования, производства, испытания и эксплуатации вычислительных систем. Пути решения данной задачи также должны опираться на современные методы ведения исследовательских работ, базирующихся на использовании адекватных математических моделей, а также создаваемых вновь и адаптируемых специализированных и универсальных алгоритмах программных средств.

Среди указанных мероприятий задача разработки сложных блоков, составляющих основу программно-технических комплексов и сохраняющих свою работоспособность при воздействии целого спектра дестабилизирующих факторов, является особенно важной [57]. Ее решение требует совершенствования, в первую очередь, средств автоматизированного проектирования (САПР), которые позволят разрабатывать изделия, работающие в указанных условиях. Прежде всего, это относится к моделированию различных видов воздействий и прогнозированию показателей надежности, которые должны учитывать радиационную компоненту. Кроме того, САПР обеспечивают высокий уровень технологии, возможность использования комплектующих изделий и материалов с требуемыми характеристиками, а также позволяют производить поиск необходимых ресурсов для выполнения тех или иных исследований по выбору наиболее оптимальных вариантов схемотехнического и конструктивного исполнения функциональных модулей [41].

Однако, несмотря на широкий спектр предлагаемых возможностей для проектирования сложных блоков, используемых в ПТК, существует ряд трудностей использования продуктов ведущих производителей САПР. Связаны они, главным образом, с тем, что самые передовые технологии проектирования, в том числе и по учету показателей надежности сложных блоков в условиях воздействия радиации, не предназначены для продажи и в нашей стране практически отсутствуют.

Следует также отметить, что доступные методы расчета надежности сложных блоков, используемых в САПР [24], как правило, не учитывают воздействие радиации и имеют ряд недостатков, обусловленных, главным образом, трудностями математического описания сложной структуры комплексов и зависимостей, определяющих взаимодействие подсистем в процессах ее функционирования. Тем не менее, разработке новых и совершенствованию существующих методов проектирования

высоконадежных технических модулей, функционирующих при широком спектре дестабилизирующих факторов, посвящено множество работ отечественных авторов [5, 13, 14, 55]. Однако, в настоящее время коренным образом изменились технологии создания блоков, появились новые схемотехнические и технологические решения, связанные как с созданием новой электронной компонентной базы, так и с методами ее комплексирования и обработки информации. Кроме того, появились новые и модернизировались традиционные виды дестабилизирующих факторов, ужесточились требования по показателям надежности и срокам функционирования аппаратуры в условиях ионизирующего воздействия, что нашло отражение в комплексе государственных стандартов (КГС) «Климат-7», «Мороз-6», а также в руководящих документах, конкретизирующих их.

Эти причины потребовали провести совершенствование САПР в части автоматизации проектирования сложных блоков высоконадежных программно-технических комплексов специального назначения, функционирующих, в том числе, и в условиях радиационного воздействия.

1.2. Анализ современных подходов к автоматизации проектирования сложных блоков, составляющих программно-технические комплексы специального назначения

Рассмотрим кратко современное состояние САПР с учетом их возможностей по проектированию перспективных и высоконадежных технических систем.

Средства автоматизированного проектирования прошли долгий путь развития и на сегодняшний день являются главным средством реализации автоматизации на практике. Первые САПР было принято делить на следующие:

- для цифровых изделий;

- для аналоговых изделий;

- для схем памяти.

Существовали и другие разновидности САПР. Однако сейчас такого разделения нет и в современных САПР осуществляется комплексное проектирование как цифровых, аналоговых интегральных схем, так и сложных объектов, построенных на схемах различного уровня и назначения [1,8].

Общепризнанными мировыми лидерами в разработке подобных САПР стали такие известные фирмы как Cadence Design System, Mentor Graphics, Synopsis (США) [43].

Компания Cadence Design System - внесла наибольшие достижения в мир разработки средств проектирования. Именно Cadence на сегодняшний день готова предоставить потребителям самые широкие возможности по проектированию и разработке как отдельных сверхбольших интегральных схем, так и целых комплексов. Средства разработки компании Cadence охватывают все стадии проектирования, начиная с проектирования на схемотехническом уровне интегральных схем и заканчивая проектированием на системном уровне IP-блоков сложных технических комплексов.

В целом проектирование в среде Cadence включает этапы системного проектирования, аппаратного проектирования и верификации, физическое прототипирование и проектирование и верификации топологии кристалла.

Системное проектирование подразумевает использование языков программирования, таких как C/C++ и SystemC, для разработки модели системы, а также исследования различных параметров и свойств системы, выявления необходимых спецификаций и требуемых параметров на программные и аппаратные блоки.

Аппаратное проектирование и верификация - эта разработка на более низком уровне, чем системное проектирование. Основные языки программирования на стадии аппаратного проектирования - Verilog/VHDL, с помощью которых исследуются поведенческие модели отдельных подсистем комплекса, происходит проверка программно-аппаратной реализации на соответствие спецификациям, полученным на системном уровне.

Физическое прототипирование заключается в предварительном размещении элементов, оценке потребляемой мощности, планировании шин питания и иерархии тактовых сигналов. На этом уровне оценивается качество возможных искажений сигнала.

Проектирование и верификация топологии кристалла - разработка топологии заказных блоков, трассировка на уровне ячеек, проверка правил проектирования топологии, экстракция паразитных параметров [25].

Другой признанный лидер в области разработки систем автоматизированного проектирования - компания Mentor Graphics, которая также предлагает чрезвычайно широкий спектр продуктов - от средств проектирования СБИС, в том числе систем на кристалле (SoC) и систем на ПЛИС (FPSoC), до систем проектирования печатных плат, систем кабельных соединений и систем управления базами данных проектирования, интегрированных с PLM/PDM-системами предприятия [40]. Так же как и Cadence, Mentor Graphics предлагает разнообразные средства для системного и функционально-логического проектирования как СБИС, так и сложных технических систем и в целом можно констатировать, что продукты компании Mentor Graphics позволяют решать сколь угодно сложные задачи проектирования. Все они интегрированы в сквозной маршрут, верифицированный и поддерживаемый множеством технологических библиотек от ведущих изготовителей СБИС (UMC, TSMC, Chartered, IBM, STMicroelectronics, AMS и др.). Все продукты Mentor Graphics основаны на

общепринятых стандартах, а поэтому легко интегрируются в маршруты проектирования других поставщиков.

Компания Synopsys - третий крупнейший поставщик САПР на мировом рынке. Продукты Synopsys обеспечивают разработку сложнейших СБИС и систем на кристалле (SoC). Компания также поставляет IP-блоки и предоставляет услуги по разработке СБИС, что позволяет заказчикам упростить процесс проектирования и сократить время выхода своей продукции на рынок. САПР компании Synopsys предназначена для работы с любыми КМОП-технологиями, вплоть до глубокосубмикронных (до 0,13 мкм и ниже) на всех этапах маршрута проектирования [35].

Отдельные успехи в разработке средств проектирования достигли также и ряд более мелких компаний, такие как ML Design, Forte Design, Synplicity и др. [93]. Интерес к этим компаниям вызван прежде всего гораздо меньшей стоимостью выпускаемых ими средств проектирования, однако многие специальные возможности, присутствующие в САПР таких производителей, как Cadence Design System, Mentor Graphics и Synopsis в них отсутствуют.

Однако, несмотря на то, что разработчики САПР вкладывают огромные средства в развитие и продвижение систем автоматизации проектирования, следует отметить, что в основном все существующие САПР используются для проектирования отдельных составляющих сложных блоков и, как правило, учитывают только внутрисистемные помехи и не оценивают надежность функциональных модулей в целом, что ограничивает их использование как при разработке новых ПТК, так и при модернизации существующих. Сложные блоки являются сложными системами, их проектирование характеризуется большим числом возможных вариантов решений, необходимостью учета большого количества внешних факторов, влияющих на их функционирование и надежность. Основные идеи проектирования сложных блоков, составляющих высоконадежные ПТК,

лежат в структурном и функциональном подходе, в которых необходимо выявление структуры технических систем, проведение типизации связей, определение атрибутов и анализ влияний внешней среды.

В связи с этим, следует выделить такой вид проектирования, который включает комплексное математическое моделирование и оценку различных характеристик сложных объектов. Сложность такого подхода заключается, как правило, в отсутствии единой программной среды проектирования. Востребованные в настоящее время программные продукты, осуществляющие, например, проектирование перспективных и высоконадежных функциональных блоков и позволяющие проводить расчёты по оценке их надежности в условиях воздействия дестабилизирующих факторов, мало распространены и практически недоступны.

Похожие диссертационные работы по специальности «Системы автоматизации проектирования (по отраслям)», 05.13.12 шифр ВАК

Список литературы диссертационного исследования кандидат наук Уткин, Денис Михайлович, 2013 год

СПИСОК ИСПОЛЬЗУЕМЫХ ИСТОЧНИКОВ

1. Goel, P. An implicit enumeration algorithm to generate test for combination logic circuits [Текст] / P. Goel // IEEE Trans. Comput. - 1981. - С 30-35.

2. Hamdioui, S. Importance of Dynamic Faults for New SRAM Technologies [Текст] / S. Hamdioui, R. Wadsworth, J. Reyes, A. Goor // Proceedings of the Eighth IEEE European Test Workshop (ETW'03) - 2003. - C. 45-49.

3. Hua, Xe. STG - based verification and test gearation [Текст] / Xe Hua, Gone Yunrhan // J. Electron China - 1996. - №1. - C. 68-73.

4. Алексеев, А. О. Автоматизированное структурно-логическое моделирование и количественный анализ надежности, живучести, безопасности, эффективности сложных организационно-технических систем [Текст]: комплекс методик для ПЭВМ и ЭВМ) / А. О. Алексеев, Г. А. Ершов, А. С. Можаев и др.; ВМА, ВВМИУ им. Ф. Э. Дзержинского. - СПб., 1991. -141 с.

5. Антимиров, В. М. Алгоритм сравнительной оценки надежности вариантов вычислительных комплексов для систем управления космических аппаратов [Текст] / В. М. Антимиров, В. Н. Ачкасов // Вестник самарского государственного аэрокосмического университета им. академика С. П. Королева (Национального исследовательского университета). - 2007. - С. 914.

6. Антимиров, В. М. Развитие управляющих вычислительных комплексов двойного назначения [Текст] / В. М. Антимиров, В. Н. Ачкасов, П. Р. Машевич, Ю. К. Фортинский // Приводная техника. - 2005. -№3. - С. 56-61.

7. Апполонов, И. В. Надежность и безопасность сложной наукоемкой техники двойного назначения XXI в. [Текст] / И. В. Апполонов, Н. И. Хариев // Горизонты экономики. - 2012. - № 1. - С. 40-59.

8. Ачкасов, А. В. Автоматизация проектирования комплексных микросхем с учетом статических видов радиации [Текст] / А. В. Ачкасов, В. К. Зольников, К. И. Таперо; Воронежский государственный университет -Воронеж, - 2006. -165 с.

9. Ачкасов, В. Н. Методика проектирования радиационно-стойких ИС [Текст] / В. Н. Ачкасов, В. К. Зольников // Радиационная стойкость электронных систем: Науч.-техн. Сб. - М.: Радио и связь. - 1984. -136 с.

10. Ачкасов, В. Н. Методы обеспечения стойкости микросхем к одиночным событиям при проектировании радиационно-стойких микросхем [Текст] / В. Н. Ачкасов, В. А. Смерек, Д. М. Уткин, В. К. Зольников // Проблемы разработки перспективных микро и наноэлектронных систем (МЭС) : сборник трудов Всероссийских научно-технических конференций. -Москва, 2012.-№1.-С. 634-638.

11. Ачкасов, В. Н. Методы проектирования микросхем, стойких к одиночным событиям [Текст] / В. Н. Ачкасов, В. А. Смерек, Д. М. Уткин, К. В. Зольников // Моделирование систем и процессов. - 2012. - №3. - С. 17-20.

12. Ачкасов, В. Н. Обобщенный критерий надежности интегральных схем и методы защиты от одиночных сбоев в цифровых устройствах на стадии проектирования [Текст] / В. Н. Ачкасов, В. А. Смерек, Д. М. Уткин // Политематический сетевой электронный научный журнал Кубанского государственного аграрного университета. - 2012. - №76. - С. 387-398.

13. Борисов, В. И. Оценка эффективности синхронизации по задержке в широкополостных системах связи с множественным доступом [Текст] / В. И. Борисов, В. И. Шестопалов, А. Е. Лимарев, Т.Ф. Капаева // Радиотехника. -2012. - №8. - С. 4-17.

14. Борисов, В.И. Помехозащищенность систем радиосвязи. Вероятностно-временной подход [Текст] / В. И. Борисов, В.М. Зинчук - М.: Радиософт. - 2008. - 260 с.

15. Бронштейн, И. Н. Справочник по математике [Текст] / И. Н. Бронштейн, К. А. Семендяев; Наука. - Москва, 1980. - 976 с.

16. Венецкий И. Г. Основы теории вероятностей и математической статистики [Текст] / И. Г. Венецкий, Г. С. Кильдишев; Статистика. - Москва, 1968.-360 с.

17. Вентцель Е. С. Теория вероятностей [Текст] / Е. С. Вентцель; Наука. - Москва, 1964. - 576 с.

18. ГОСТ 25645.106-84. Пояса Земли радиационные естественные. Термины и определения [Текст]. Госкомитет СССР по стандартам, 1984.

19. ГОСТ 27.002-83. Надежность в технике. Термины и определения [Текст]. - М.: Изд-во стандартов, 1983.

20. ГОСТ Р 51901-2002. Управление надежностью. Анализ риска технологических систем [Текст]. - М.: ИПК Издательство стандартов, 2002. -22 с.

21. ГОСТ РВ 20.57.304-98. Аппаратура, приборы, устройства и оборудование военного назначения. Методы оценки соответствия требованиям к надежности [Текст]. - М.: ИПК Издательство стандартов, 1988.-36 с.

22. Евстигнеев Е. Состояние и стратегия совместного развития отечественной микроэлектроники и радиоэлектроники [Текст] / Е. Евстигнеев // Компоненты и технологии. - 2005. - №5. - С. 68-72.

23. Дынкин, Е. Б. Основания теории Марковских процессов [Текст] / Е. Б. Дынкин. - М.: Гос. изд-во физико-матем. лит-ры. - 1959. - 227 с.

24. Жаднов, В. В. Автоматизация проектных исследований надежности радиоэлектроники [Текст] / В. В. Жаднов, Ю. Н. Кофанов, Н. В. Малютин; Радио и связь. - Москва, 2003. - 156 с.

25. Иванов, А. С. Среда проектирования компании Cadence. Общий обзор [Текст] // А. С. Иванов // Электроника: наука, технология, бизнес. -2003,-№5. С 28-30.

26. Ивановский, Р. И. Теория вероятностей и математическая статистика. Основы, прикладные аспекты с примерами и задачами в среде MathCad [Текст] / Р. И. Ивановский. - СПб.: Наука, 2008. - 528 с.

27. Исраилов, Р. Ю. Структурный анализ систем управления инженерных сетей [Текст] / Р. Ю. Исраилов ; СКНЦ ВШ ЮФУ. - Ростов н/Д 2009,- 127 с.

28. Китушин, В. Г. Определение логической функции работоспособности электрической системы [Текст] / В. Г. Китушин // Электричество. - 1976. - № 8. С. 65-67.

29. Клауде, Берге. Теория графов и ее применения [Текст] / Берге Клауде. - Москва: Изд-во Иностранной Литературы, 1962. - 319 с.

30. Клещев, Н.Т. Практическое руководство по организации и проектированию информационных систем [Текст] / Н.Т. Клещев, A.A. Романов. - Москва: Изд-во ООО «Научтехлитиздат», 2001. - 389 с.

31. Климов, А. Н. Ядерная физика и ядерные реакторы [Текст] / А. Н. Климов. - Москва: Энергоатомиздат, 2002. - 464 с.

32. Кнут, Д. Э. Искусство программирования: Сортировка и поиск [Текст] / Д. Э. Кнут - Москва: Вильяме, 2007. - 832 с.

33. Колесов, Ю. Б. Моделирование систем. Динамические и гибридные системы [Текст] / Ю. Б. Колесов, Ю. Б. Сениченков; - СПб.: БХВ-Петербург. - Санкт-Петербург, 2006. - 224 с.

34. Конарев, М. В. К вопросу о приближенном решении краевых задач на геометрических графах. / М. В. Конарев // Информационные технологии моделирования и управления. - 2007. -№5. - С. 537-542.

35. Кравченко, В. Д. САПР компании Synopsys. Основные средства и возможности / В. Д. Кравченко, Д. М. Радченко // Электроника: наука, технология, бизнес. - 2003. - №5. - С 31-33.

116

36. Кручинин, В. В. Комбинаторика композиций и ее приложения [Текст] / В. В. Кручинин - Томск: B-Спектр, - 2010. - 156 с.

37. Кутасов, А. Д. Элементы математической логики [Текст] / А. Д. Кутасов - Москва: Просвещение. - 1977. - 63 с.

38. Кечиев, Л. Н. ЭМС и информационная безопасность в системах телекоммуникаций [Текст] / Л. Н.Кечиев, П. В. Степанов. - Москва: Изд. дом «Технологии», 2005. - 219 с.

39. Лавров, И. А. Задачи по теории множеств, математической логике и теории алгоритмов [Текст] / И. А. Лавров, Л. Л. Максимова -Москва: Наука, - 2006. - 256 с.

40. Лохов, А. В. Главный калибр компании Mentor Graphics [Текст] / А. В. Лохов // Электроника: наука, технология, бизнес. - 2006. - №2. - С. 6469.

41. Малюх, В. Н. Введение в современные САПР [Текст] / В. Н. Малюх. - Москва: ДМК Пресс, - 2010. - 192 с.

42. Мамиконов, А.Г. Проектирование АСУ [Текст]: учебник для спец. «АСУ» вузов / А. Г. Мамиконов; Высш. шк. - Москва, 1987. - 303 с.

43. Машевич, П. Р. Инструментальные средства автоматизации проектирования дизайн центра [Текст]: монография / П. Р. Машевич, В. К. Зольников // ВГЛТА. - Воронеж: ВГУ, - 2006. - 284 с.

44. Писаренко О. Военная электроника: сводка с «бумажного» фронта [Текст] / О. Писаренко, В. Бабарыкин, А. Щеколдин // Стандартизация и сертификация. - 2011. - №3. - С. 86-99.

45. Можаев, А. С. Методика автоматизированного логико-вероятностного моделирования систем. (Программный комплекс «ПК АСМ, версия 5.0») [Текст] / А. С. Можаев, А. О. Алексеев, Р. П. Сорокин; СПб.: BMA. - Санкт-Петербург, 1999. - 121 с.

46. Можаев, А. С. Общий логико-вероятностный метод анализа надежности сложных систем [Текст] / А. С. Можаев. - Уч. пос. Л.: BMA. -1988.-68 с.

47. Можаев, А. С. Программный комплекс автоматизированного логико-вероятностного моделирования систем на ЕС ЭВМ. Приложение к диссертации [Текст] / А. С. Можаев. - Л.: BMA. - 1984.

48. Можаев, А. С. Современное состояние и некоторые направления развития логико-вероятностных методов анализа систем [Текст] / А. С. Можаев // Теория и информационная технология моделирования безопасности сложных систем. Часть 1: сб. науч. тр. - Санкт-Петербург,! 994. С. 23-53.

49. Можаев, А. С. Технология автоматизации процессов построения логико-вероятностных моделей систем [Текст] / А. С. Можаев // Интеллектуальные системы и информационные технологии в управлении: сб. международной конференции. - Псков, 2000., с 257-262.

50. Немудров, В. Системы-на-кристале. Проектирование и резервирование [Текст] / В. Немудров, Г. Мартин; - М.: Техносфера. - 2004. -216 с.

51. Нечипоренко, В. И. Структурный анализ и методы построения надежных систем [Текст]: монография / В. И. Нечипоренко; Сов. Радио. -Москва, 1968.-256 с.

52. Норенков, И. П. Введение в автоматизированное проектирование технических устройств и систем [Текст] / И. П. Норенков. - М.: Высшая школа. - 1986. - 456 с.

53. Норенков, И. П. Основы автоматизированного проектирования. Учебник. Серия: Информатика в техническом университете [Текст] / И. П. Норенков; Изд-во МГТУ им. Н. Э. Баумана. - Москва, 2002. - 336 с.

54. Панюкова, Т. А. Комбинаторика и теория графов [Текст] / Т. А. Панюкова; Либроком. - Москва, 2012. - 208 с.

55. Попов, В. Д. Подход к оценке работоспособности КМОП ИС при многолетнем функционировании в полях низкоинтенсивного радиационного воздействия. [Текст] / В. Д. Попов // Шумовые и деградационные процессы в

полупроводниковых приборах (метрология, диагностика, технология): сб. науч. тр. - Москва, 1995. - С. 205-207

56. Потапов, И. П. Моделирование радиационных эффектов в структуре SI/Sio2 / И. П. Потапов // Моделирование систем и процессов -Воронеж: Издательство воронежский госуниверситет - 2006. - Вып. 1. - С. 49-53.

57. РД 03-418-01. Методические указания по проведению анализа риска опасных производственных объектов [Текст]. - М.: ГУП «НТЦ ПБ» Госгортехнадзора России, 2001. - 60 с.

58. Ротарь, В. И. Теория вероятностей [Текст] / В. И. Ротарь - М.: Высш. шк, 1992.-397 с.

59. Рыбников, К. А. Комбинаторный анализ: задачи и упражнения [Текст] / К. А. Рыбников, М. В. Меньшиков - М.: Наука. - 1982. - 365 с.

60. Рябинин, И. А. Логико-вероятностные методы исследования надежности структурно-сложных систем [Текст] / И. А. Рябинин, Г. Н. Черкесов - М.: Радио и связь. - 1981 - 264 с.

61. Рябинин, И. А. Концепция логико-вероятностной теории безопасности технических систем [Текст] / И. А. Рябинин // Судостроительная промышленность. Серия: Системы автоматизации проектирования, производства и управления. - 1991. - Вып. 21. - С. 15-22.

62. Рябинин, И. А. Надежность и безопасность сложных систем [Текст] / И. А. Рябинин. - СПб.: Политехника, 2000. - 248 с.

63. Рябинин, И. А., Парфенов Ю. М. Надежность, живучесть и безопасность корабельных электроэнергетических систем [Текст] / И. А. Рябинин, Ю. М. Парфенов. - СПб.: BMA. - 1997. - 432 с.

64. Смерек, В.А. Архитектура, структура и методы защиты от сбоев радиационного характера для восьми разрядного микроконтроллера [Текст] / В.А. Смерек, В.К. Зольников, A.B. Ачкасов // Фундаментальные и прикладные проблемы техники и технологии. - 2012. -№ 2. - С. 136-141.

65. Смерек, В. А. Микроконвертер К1874ВЕ96Т. Первый отечественный 16-разрядный микроконвертер [Текст] / В.А. Смерек, В.Н. Ачкасов, И.П. Потапов // Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС): сб. научн. тр. - Москва, 2010. № 1. С. 390393.

66. Смерек, В. А. Оценка сбоеустойчивости интегральных схем от воздействия тяжелых заряженных частиц в цифровых микросхемах на стадии проектирования [Текст] / В. А. Смерек, Д. М. Уткин, Крюков В. П. // Моделирование систем и процессов. - 2011. - №4. - С. 71-75.

67. Смерек, В. А. Влияние одиночных сбоев на работу цифровых устройств [Текст] / В. А. Смерек // Моделирование систем и процессов. -2011.-№4.-С. 68-71

68. Смерек, В. А. Методы повышения производительности работы микроконтроллеров. Первый отечественный 16-разрядный микроконвертер [Текст] / В. А. Смерек, В.К. Зольников, А. В. Ачкасов // Фундаментальные и прикладные проблемы техники и технологии. - 2012. - № 3. - С. 122-127.

69. Смерек, В. А. Принципы защиты микросхем от одиночных сбоев в процессе проектирования [Текст] // В. А. Смерек, В. Н. Ачкасов // Моделирование систем и процессов. - 2011. -№ 3. - С. 60-63.

70. Смоляров, Н. А. Оценка надежности дублированной восстанавливаемой системы с общим переключателем [Текст] / Н. А. Смоляров // Вестник РГРТУ. - 2013. -№21. - С. 15-18.

71. Стратонович, Р. Л. Условные Марковские процессы и их применение к теории оптимального управления [Текст] / Р. Л. Стратонович. -М.: Изд-во Московского университета. - 1966. - 318 с.

72. Тихонов, В. И. Марковские процессы [Текст] / В. И. Тихонов, М. А. Миронов; Сов. радио. - Москва, 1977. - 485 с.

73. Толстых, Б. Л. Унифицированные интерактивные средства проектирования изделий электронной техники [Текст] / Б. Л. Толстых, И. Л. Талов, В. Н. Харин, В. Е. Межов. - М: Радио и связь. - 1984. - 136 с.

120

74. Торгашов, А. Ю. Моделирование систем. [Текст] / А. Ю. Торгашов. - Владивосток: Изд. ВГУЭиС - 2000. - 119 с.

75. Уилсон, Р. Введение в теорию графов [Текст] / Р. Уилсон -М.:Мир.- 1977.-207 с.

76. Уткин, Д. М. Интеграция параметров надежности в средства автоматизированного проектирования программно-технических комплексов специального назначения [Текст] / Д. М. Уткин // Системы управления и информационные технологии. - 2013. -№4(54) - С. 70-74.

77. Уткин, Д. М. Интеграция параметров надежности в средства автоматизированного проектирования программно-технических комплексов специального назначения [Текст] / Д. М. Уткин // Системы управления и информационные технологии. - 2013. -№4(54) - С. 70-74.

78. Уткин, Д. М. Математическая модель программно-технических комплексов с учетом показателей надежности и ее интеграция в САПР сквозного проектирования [Текст] / Д. М. Уткин // Моделирование систем и процессов. - 2013. - №2. - С. 77-82.

79. Уткин, Д. М. Математическая модель сложных функциональных блоков, функционирующих в условиях воздействия радиации [Текст] / Д. М. Уткин, В. В. Лавлинский, В. А. Скляр // Моделирование систем и процессов. -2013.-№3.-С. 88-91.

80. Уткин, Д. М. Обобщенная методика проектирования сложных блоков, составляющих программно-технические комплексы специального назначения [Текст] / Д. М. Уткин, К. В. Зольников // Моделирование систем и процессов. - 2013. - №3. - С. 83-87.

81. Уткин, Д. М. Обобщенная формула надежности программно-технических комплексов специального назначения [Текст] / Д. М. Уткин // Моделирование систем и процессов. - 2013. - №2. - С. 82-86.

82. Уткин, Д. М. Оптимизация методов защиты сложных цифровых блоков от одиночных событий [Текст] / Д. М. Уткин // Информатика:

проблемы, методология, технологии: сб. науч. тр. Воронеж - ВГУ, 2012. - Т. 3. С. 330-334.

83. Уткин, Д. М. Проблемно-ориентированное программное обеспечение для расчета показателей надежности сложных блоков программно-технических комплексов и его интеграция в САПР сквозного проектирования [Текст] / Д. М. Уткин, В. К. Зольников // Моделирование систем и процессов. - 2013. - №3. С. 92-96.

84. Уткин, Д. М. Расчет надежности программно-технических комплексов специального назначения с помощью теории графов [Текст] / Д. М. Уткин // Моделирование систем и процессов. - 2013. - №2. - С. 86-90.

85. Уткин, Д. М. Создание подсистемы верификации сложных цифровых микросхем с учетом радиационного воздействия [Текст] / Д. М. Уткин // Моделирование систем и процессов. - 2012. - №1. - С. 80-86.

86. Фортинский, Ю. К. Создание подсистемы верификации сложных цифровых микросхем с учетом радиационного воздействия [Текст] / Ю. К. Фортинский, В. К. Зольников, М. В. Конарев; ВГЛТА - Воронеж: ВГУ. -2011.-207 с.

87. Черкасов, Г. Н. Логико-вероятностные методы расчета надежности структурно-сложных систем [Текст] / Г. Н. Черкасов, А. С. Можаев // М.: Знание, - 1991. С 34-65.

88. Швырев Ю. В. Вероятностный анализ безопасности атомных станций. Методика выполнения [Текст] : / Ю. В. Швырев. - М.: ИФЭ им. И. В. Курчатова, 1992. - 206 с.

89. Шеннон, Р. М. Имитационное моделирование систем. Искусство и наука [Текст] / Р. М. Шеннон - М.: Мир, 1978. - 424 с.

90. Широков, А. М. Надежность радиоэлектронных устройств [Текст] / А. М. Широков. - М.: Высшая школа. 1972. - 272 с.

91. Шышмарев, В. Ю. Надежность технических систем [Текст] / В. Ю. Шышмарев. - М.:Академия, - 2010. - 304 с.

УТВЕРЖДАЮ ^.Зам. ген. директора х^шщерн «Созвездие» _Радько Н. М.

« 14 » сентября 2013 г.

Акт внедрения

результатов диссертации аспиранта Воронежской государственной лесотехнической академии (кафедра Вычислительной техники и информационных систем) Уткина Дениса Михайловича на тему «Автоматизация проектирования сложных блоков высоконадежных программно-технических комплексов специального назначения»

(специальность 05.13.12 - Системы автоматизации проектирования)

В рамках диссертационной работы Уткиным Д. М. разработаны модели, алгоритмы и программные средства проектирования сложных блоков высоконадежных программно-технических комплексов, проведена оценка показателей их надежности.

Разработанный комплекс моделей, алгоритмов и программного обеспечения позволяет существенно увеличить возможности проектирования сложных блоков с учетом радиационной стойкости и их режимов работы.

Основной практический результат диссертационной работы заключается в создании средств проектирования сложных блоков, реализованных на единой методологической платформе. Разработана методика проектирования, которая нашла отражение при выполнении НИР и ОКР. Наибольший эффект был получен при разработке программно-технического комплексов по СЧ ОКР «Прорыв-2» и «Армата-ПТК».

Разработанные программные средства внедрены в ОАО «Концерн «Созвездие», а учет специфики целевых задач позволил повысить качество выполнения проекта и сократить его сроки реализации за счет разработанных эффективных средств автоматизации проектирования и снижения объема испытаний программно-технических комплексов. Экономический эффект по указанным работам составил 1409000 руб.

Начальник сектора Начальник отдела

Цыганков В. В. Борзаков Е. Г.

УТВЕРЖДАЮ Ректор ФГБОУ ВПО

Акт внедрения в учебный процесс результатов диссертации аспиранта Воронежской государственной лесотехнической академии (кафедра Вычислительной техники и информационных систем) Уткина Дениса Михайловича на тему «Автоматизация проектирования сложных блоков высоконадежных программно-технических комплексов специального назначения» (специальность 05.13.12 - Системы автоматизации проектирования)

В ходе выполнения работы автором были разработаны модели, алгоритмы и программные средства проектирования сложных блоков высоконадежных программно-технических комплексов.

Они положены в основу создания методики проектирования технических систем, которая используется в учебном процессе для проведения лекций, выполнения лабораторных работ, курсового и дипломного проектирования по дисциплинам кафедры Вычислительной техники и информационных систем «Информационные системы и технологии». Данная методика используется также в программе дополнительного образования «Разработчик профессионально-ориентированных компьютерных технологий. Специализация микроэлектроника».

Внедрение разработанных средств способствует повышению качества обучения студентов.

Заведующий кафедрой

Вычислительной техники и В. К. Зольников

информационных систем, д. т. н., профессор

92. Хеили Э. Д. Надежность технических систем и оценка риска [Текст] / Э. Д. Хеили, X. Кумамото. - М.: Машиностроение, 1984. - 528 с.

93. Юдинцев, В. И. Радиационно стойкие интегральные схемы. Надежность в космосе и на земле. / В. И. Юдинцев // Электроника: наука, технология, бизнес. - 2007. -№5. - С. 72-77.

94. Яньков, А. И. Методы проектирования сбоеустойчивых 8-разрядных микроконтроллеров к воздействию ТЗЧ [Текст] / А. И. Яньков, В. А. Смерек, В. П. Крюков, В. К. Зольников, Д. М. Уткин // Вопросы атомной науки и техники. Серия: Физика радиационного воздействия на радиоэлектронную аппаратуру. - 2012. - №4. - С. 73-79.

Обратите внимание, представленные выше научные тексты размещены для ознакомления и получены посредством распознавания оригинальных текстов диссертаций (OCR). В связи с чем, в них могут содержаться ошибки, связанные с несовершенством алгоритмов распознавания. В PDF файлах диссертаций и авторефератов, которые мы доставляем, подобных ошибок нет.