Зав.кафедрой системного программирования СПбГУ директор ГУП «Терком» генеральный директор ЗАО «Ланит-Терком» доктор физ-мат наук, проф. А.Н. Терехов Москва, - презентация

1 зав.кафедрой системного программирования СПбГУ директор ГУП «Терком» генеральный директор ЗАО «Ланит-Терком» доктор физ-мат наук, проф. А.Н. Терехов Москва, Круглый стол, 28 января 2011

2 1970 год. Образование кафедры Мат.обеспечения ЭВМ в ЛГУ гг. Большое количество договоров с НИЦЭВТ, ИТМиВТ Более 25 лет назад мы поняли, что для успешного внедрения результатов университетских исследований в жизнь, необходимо найти форму сотрудничества с реальной промышленностью год. Совместный комплексный отдел МинОбр РСФСР и МПСС 1987 год. НИИ «Звезда» ЛНПО «Красная Заря» на базе совместного комплексного отдела 14 февраля1991 год. МГП «Терком»

3 О компании Наши преимущества : Более 20 лет работы на международном рынке IT разработок Ведущий игрок на российском ИТ рынке высокотехнологичных наукоёмких разработок Предоставление услуг по разработке цифрового электронного оборудования и системного программного обеспечения на основе самых современных технологий Наши услуги: Разработка программно-аппаратных комплексов Разработка и осуществление сложных наукоёмких проектов Реинжиниринг Факты: ГУП Терком образовано в 1991г. на базе Лаборатории системного программирования математико- механического факультета СПбГУ Количество сотрудников: 100+ Заказчики из Европы, США и России Основные компетенции: Встроенные системы Сетевые протоколы Распознавание видео-образов Наукоёмкие разработки Низкоуровневое системное программирование Разработка традиционных систем Решения для управления распределенными системами

4 1987 год. Разработка УВК «Самсон», НПО «Импульс» 1992 год. Принятие УВК «Самсон» на вооружение РВСН 1996 год. АМТС «Фобос-К», ФАПСИ, ЛНПО «Красная Заря» 2000 год. «Бамбук-У» - система управления сетями ФСБ 2001 год – по настоящее время. АТС «П409», «П443» для ВМФ, ФГУП «Электроприбор» 2004 год – по настоящее время. ОВК, коммутатор АТМ, АТС «Крокус», концентратор первичной нагрузки Никель-4, ФГУП «НИИ Автоматики»

5 входной мажоритар 1 входной мажоритар 2 входной мажоритар 3 выходной мажоритар 1 выходной мажоритар 2 выходной мажоритар 3 процессор 1 процессор 2 процессор 3 память 1 память 2 память 3

6 В большинстве систем управления применяются специализированные вычислительные средства и ПО, объем которого не позволяет создавать его «на коленках» гг. Программа «Интенсификация 90» 1984 год. НИР «Звезда» - первая наша технология программирования, применённая в реальной промышленной практике 1987 год. Первый графический редактор SDL на ЕС ЭВМ 1991 год. Технология RTST на ПЭВМ, применяется до настоящего времени при разработке АТС 1996 год. Технология REAL-IT, применяется при разработке информационных систем 2009 год. Технология QREAL – многопользовательская, многоплатформенная, поддерживает UML 2.2, BPEL

7 Сегодня говорят еще MDA – Model Driven Architecture Наглядность Возможность рассматривать систему с разных точек зрения Надёжность Дополнительные синтаксические и семантические проверки Автоматизация генерации баз данных, форм ввода/вывода, исполняемого кода Упрощение сопровождения

8 Domain-Specific Modeling Быстрая разработка DSM-решений Узкоспециализированный визуальный язык Графические редакторы Генераторы В тех случаях, когда удается придумать DSM-решение, повышается производительность разработки в 3-10 раз Более высокий уровень абстракции Полная генерация кода Удобный инструментарий

9

10

11 Сегодня аппаратные средства не проектируются в виде электрических схем, а программируются на языках VHDL и Verilog. Если 5-10 лет назад VHDL программы были относительно маленькими (3-5 страниц текста), то сегодня описания кристаллов занимают десятки тысяч строк. Таким образом, все проблемы традиционного программирования больших систем в полной мере относятся и к проектированию кристаллов.

12 Появление FPGA и новых средств их программирования позволило поставить новую задачу – спроектировать процессор, оптимизированный на заданную задачу или класс задач г. – наши первые публикации по CoDesign г. – диссертация Д.Булычева г. – промышленная технология на базе языка HaSCoL г. – графические средства проектирования для HaSCoL.

13

14

15 Надежность – cпособность оборудования безотказно выполнять заданные функции при определенных условиях и в заданном интервале времени. (ГОСТ ЕН «Безопасность оборудования. Термины и определения») Возможность дальнейшей полноценной работы устройства при выходе из строя любой его компоненты (перегорела память, поврежден источник питания, перерезан провод). Возможность устройства автоматически определять вышедший из строя узел. Возможность автоматического перезапуска сбоившего узла без присутствия оператора. Возможность починки и замены компонент без перерыва в работе устройства.

16 Избыточность архитектуры: Аппаратная / Программная / Информационная / Временная 1оо2 (резервирование) – обеспечивает отказоустойчивость, но не отказобезопасность 2оо3 (TMR – тройная модульная избыточность) – обеспечивает отказоустойчивость и отказобезопасность 2оо3 2оо2Отказ Сбой 1Сбой 2 Восстановление P = 1 * P = 1 *

17 Power 1 Power 2Power 3 Input-output Unit 1 Input-output Unit 2 Input-output Unit 3 Port 1Port 2Port 3Port 4Port 5Port 6Port 7Port 8 CPU 3 CPU 1 CPU 2 8 x 100 Мбит/с Порты Fast Ethernet 8 Fast Ethernet Мини-коммутаторов Отказоустойчивый вычислительный комплекс, разработанный на основе TMR архитектуры с пакетным мажорированием

18 Описание проекта Начало проекта - февраль 2004 года по сегодняшний день команда - 5 человек Задача Разработка эхокомпенсатора для цифрового телевидения Технологии Первая стадия: MATLAB, PC, Windows XP; Вторая стадия: C (MS Visual Studio, floating- point arithmetic), MATLAB and Windows XP; Третья стадия: C (Visual DSP, fixed-point arithmetic), Analog Devices, Blackfin DSP processor, VHDL, Xilinx FPGA NDA (Финляндия) ведущая телекоммуникационная компания Пример проекта Эхокомпенсатор

19 EMBOX Описание: Операционная система жёсткого реального времени (время отклика менее 10 мкс), ориентированная на применение во встроенных системах Позволяет: Включать только необходимые модули в образ системы, что важно для систем с ограниченными ресурсами Задавать реализацию и параметры каждой подсистемы в отдельности, что даёт возможность тонкой настройки под конкретную задачу. Создавать операционные системы, избавленные от основных дисциплинирующих принципов: разделения задач по времени и по используемой памяти Использовать наиболее удобную для конкретной задачи платформу и процессорную архитектуру Пример проекта

20 Технологии видеоанализа Видеоанализ и обработка объектов (людей, текста): Выделение объектов Повышение качества изображения объектов с видео (лицо, текст) Измерение роста человека и детектор бегущего человека Анализ поведения объектов Отслеживание человека в толпе

21 ViEye Широкие возможности применения

22 Санкт-Петербург Петродворец, Университетский пр.,28 тел.: факс: моб.: Контактная информация