События


2014 год

23 июня 2014 г.

1-5 июня 2014 г. сотрудники отдела Технологий программирования ИСП РАН Михаил Чупилко, Андрей Татарников и Александр Камкин приняли участие в  Конференции по проектированию электронных систем DAC-2014, которая состоялась в городе Сан-Франциско, США. Они представили стендовый доклад на University Booth на тему "Connecting Approaches to Hardware Verification: C++TESK, MicroTESK, and Retrascope Toolkits", а также стендовый доклад на IP Track на тему "C++TESK Testing ToolKit: Verification of IPs".

Более подробную информацию можно получить здесь.

23 июня 2014 г.

29-31 мая 2014 г. в Санкт-Петербурге состоялся 8-ой коллоквиум молодых ученых в области программной инженерии SYRCoSE 2014, организованный Институтом системного программирования РАН, Санкт-Петербургским государственным университетом и Санкт-Петербургским политехническим университетом при поддержке Intel, Google и Российского фонда фундаментальных исследований.

Михаил Чупилко и Александр Проценко представили доклад на тему Simulation-based Hardware Verification Back-end: Diagnostics”. Андрей Татарников и Артем Коцыняк представили доклад на тему "A Generic Knowledgebase for Test Generation".

Более подробную информацию можно получить здесь.

31 марта 2014 г.

Александр Камкин, Артем Коцыняк и Андрей Татарников приняли участие в выставке  DATE 2014, прошедшей 24-28 марта в Дрездене, Германия. В рамках стенда, озаглавленного "MicroTESK: Reconfigurable Open-Source Framework for Test Program Generation", был представлен инструмент MicroTESK, разрабатываемый нашей командой.

Более подробную информацию можно получить здесь.

2013 год

14 октября 2013 г.

10-11 октября 2013 г. наша команда приняла участие в конференции "Методы и средства анализа программ" (TMPA-2013), проводимой в Костроме. Мы представили следующий доклад: В.П. Иванников, А.С. Камкин, М.М. Чупилко. "Проверка корректности поведения HDL-моделей цифровой аппаратуры на основе динамического сопоставления трасс".

Более подробную информацию можно получить здесь.

13 июня 2013 г.

2-6 июня 2013 г. сотрудники отдела Технологий программирования ИСП РАН Михаил Чупилко, Андрей Татарников и Александр Камкин приняли участие в  Конференции по проектированию электронных систем DAC-2013, которая состоялась в городе Остин, США. Они представили стендовый доклад на University Booth на тему "C++TESK and MicroTESK Hardware Verification Toolkits".

Более подробную информацию можно получить здесь.

13 июня 2013 г.

30-31 мая 2013 г. в Казани состоялся 7-ой коллоквиум молодых ученых в области программной инженерии SYRCoSE 2013, организованный Институтом системного программирования РАН, Санкт-Петербургским государственным университетом и Казанским национальным исследовательским университетом им. А.Н. Туполева при поддержке Intel, Российского фонда фундаментальных исследований и Нижегородского фонда содействия образованию.

Михаил Чупилко и Александр Проценко представили доклад на тему Recognition and Explanation of Incorrect Behavior in Simulation-Based Hardware Verification”. Александр Камкин, Татьяна Сергеева, Андрей Татарников и Артемий Утехин (Московский Государственный Университет им. М.В. Ломоносова) представили доклад на тему MicroTESK: An Extendable Framework for Test Program Generation“.

Более подробную информацию можно получить здесь.

28 марта 2013 г.

Александр Камкин и Андрей Татарников приняли участие в выставке  DATE 2013, прошедшей 19-21 марта в Гренобле, Франция. Был представлен инструмент MicroTESK, который вызвал интерес исследователей и участников из разничных стран Европы.

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

Более подробную информацию можно получить здесь.

28 марта 2013 г.

Мы приняли участие в Восьмом международном семинаре по тестированию на основе моделей (Model-Based Testing Workshop), прошедшем 17 марта в Риме, Италия. 

Михаил Чупилко и Александр Камкин представили доклад  на тему  "Runtime Verification Based on Executable Models: On-the-Fly Matching of Timed Traces". 

Более подробную информацию можно получить здесь.  

2012 год

24 декабря 2012 г.

30-31 мая 2013 г. в Казани состоится 7-ой коллоквиум молодых ученых в области программной инженерии SYRCoSE 2013, организованный Институтом системного программирования РАН, Санкт-Петербургским государственным университетом и Казанским национальным исследовательским университетом им. А.Н. Туполева при поддержке Intel, Российского фонда фундаментальных исследований и Нижегородского фонда содействия образованию. Приглашаем студентов, аспирантов и молодых кандидатов наук (до 35 лет) принять участие в работе коллоквиума. Более подробная информация доступна на сайте http://syrcose.ispras.ru.

20 марта 2012 г.

Михаил Чупилко и Александр Камкин приняли участие в выставке DATE 2012 University Booth, проходившей в Дрездене, Германия.  

На выставке был представлен C++TESK, инструмент разработки тестов, основанный на С++ и  предназначенный для использования в процессе верификации моделей аппаратуры. Инструмент привлек внимание исследователей и участников выставки из различных стран Европы,  таких как Австрия, Эстония, Германия, Нидерланды, Швеция и другие.

Более подробную информацию о выставке можно получить здесь

 DATE 2012

28 февраля 2012 г.  

Мы собираемся представить наши текущие результаты на конференции и выставке "Design, Automation and Test in Evrope" (DATE'2012), которая пройдет  с 12 по 16 марта 2012 года в Дрездене, Германия.

Будет представлен инструмент разработки тестов C++TESK. Мы надеемся поделиться полученными результатами с людьми, работающими с сфере верификации программного обеспечения или в смежных сферах. 

 Для получения более подробной информации найдите нас на выставке во вторник 13 марта (10:30-12:30) или в среду 14 марта (12:30-14:30). Место  P07. 

Более подробную информацию о DATE'2012 можно получить здесь.

2011 год

29 октября 2011 г.  

Наша группа приняла участие в XXII ежегодной выставке информационных и коммуникационных технологий Softool, которая проходила с 25 по 28 октября 2011 года во Всероссийском выставочном центре, павильон 69, стенд E47. На выставке был представлен инструмент разработки тестов C++TESK.

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

Дополнительная информация доступна по ссылке http://forge.ispras.ru/projects/cpptesk-toolkit

28 Июля 2011 г.

Наша группа приняла участие в летней школе Microsoft Summer School in Software Engineering and Verification 2011 (SSSEV'2011). Школа проходила в Москве 17-27 Июля 2011 г. и была организована Microsoft Research Rus и НИУ ВШЭ. Нашу группу представлял приглашенный докладчик:

Alexander Kamkin. Time Abstraction in Simulation-Based Hardware Verification.

Также, другой наш представитель был выбран оргкомитетом школы в качестве студента.

Дополнительная информация доступна по данной ссылке: http://research.microsoft.com/en-us/um/redmond/events/SSSEV2011/.

6 июня 2011 г.

Мы приняли участие в летней школе Centre of Research Excellence in Dependable Embedded Systems' (CREDES) Summer School on Dependable Systems Design, прошедшей в Таллинском технологическом университете 2-3 июня 2011 г. Дополнительная информация о CREDES доступна по данному адресу: http://credes.ttu.ee.

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

19 мая 2011 г.

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

На данный момент существуют две версии этого тренинга: дистанционная и очная, когда обучающиеся и тренеры собираются в стенах ИСП РАН.

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

16 мая 2011 г.

Мы приняли участие в коллоквиуме The 5th Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE), который прошел в Екатеринбурге 12-13 мая 2011 г. Коллоквиум принимал Уральский государственный университет им. М. Горького. (УрГУ).

M. Chupilko. Developing Test Systems for Multi-Modules Hardware Designs.

15 апреля 2011 г.

Вышел первый релиз C++TESK Testing ToolKit, набора инструментов тестирования, основанных на языке программирования С++.

Набор инструментов включает в себя С++TESK (разработка формальных спецификаций и тестовых сценариев на языке программирования C++), C++TESK Hardware Edition (построение эталонных моделей цифровой аппаратуры на языке программирования C++), CTESK (автоматизированная генерация тестовых последовательностей на основе автоматных моделей), Distributed FSM (распараллеливание тестов на вычислительных кластерах) и Aspectrace (трассировка и построение отчетов).

Скачать C++TESK Testing ToolKit можно по адресу http://forge.ispras.ru/projects/cpptesk-toolkit/files.

25 марта 2011 г.

Мы приняли участие в семинаре A-MOST (Advances in Model-Based Testing) и конференции ICST (International Conference on Software Testing), которые прошли 20-25 марта 2011 г. в Берлине, Германия. Дополнительная информация об этих мероприятиях доступна на сайте ICST .

A.Kamkin, E.Kornykhin, and D.Vorobyev. Reconfigurable Model-Based Test Program Generator for Microprocessors.

2010 год

10 октября 2010 г.

Мы приняли участие в конференции The 12th Biennal Baltic Electronics Conference (BEC 2010), которая прошла 4-6 октября 2010 г. в Таллине, Эстония. Конференция была организована Таллинским технологическим университетом, а проходила в конференц-центре таллинского SWISSOTEL.

А.Камкин, М.Чупилко. Developing cycle-accurate contract specifications for synchronous parallel-pipeline hardware: application to verification. (на англ.яз.)

22 сентября 2010 г.

Мы приняли участие в симпозиуме The 8th IEEE East-West Design & Test Symposium (EWDTS 2010), который прошел 17-20 сентября 2010 г. в Санкт-Петербурге. Симпозиум прошел в Санкт-Петербургском государственном электротехническом университете "ЛЭТИ" им. В.И.Ульянова (Ленина).

А. Камкин. CTestBench: A Lightweight C-Based Tool for Specification and Functional Verification of Hardware Designs. (на англ. яз.)

М. Чупилко. Models of Synchronous Hardware Designs Based on FSM at Different Abstraction Levels: Application to Functional Verification. (на англ. яз.)

4 июня 2010 г.

Мы приняли участие в коллоквиуме Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE), который прошел 1-2 июня 2010 г. в Нижнем Новгороде. Коллоквиум прошел в Нижегородском Государственном Университете им. Н.И. Лобачевского и Нижегородском филиале Высшей Школы Экономики.

Д. Воробьев, А. Камкин. An Approach to Test Programs Generation for Microprocessors Based on Pipeline Hazards Templates. (на англ. яз.)

А. Камкин, М. Чупилко Contract Specification of Hardware Designs at Different Abstraction Levels: Application to Functional Verification. (на англ. яз.)

4 мая 2010 г.

Институт системного программирования РАН объявляет о проведении тренингов по применению технологии UniTESK для тестирования программного и аппаратного обеспечения.

Тренинг "Функциональная верификация HDL-моделей аппаратного обеспечения с помощью инструмента CTESK" предназначен для разработчиков и верификаторов цифрового аппаратного обеспечения. Практические занятия тренинга нацелены на освоение следующих навыков: формальной спецификации модулей аппаратуры, связывания формальных спецификаций с HDL-моделями, автоматической генерации последовательностей тестовых воздействий, оценки качества тестирования в терминах формальных спецификаций.

Требования к участникам: Владение языком программирования Си, знакомство с одним из языков описания аппаратуры (VHDL, Verilog).

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

Требования к участникам: Владение языком программирования Си.

Продолжительность каждого из тренингов 5 дней (по 8 часов).

Стоимость участия в тренинге - 25 тыс. рублей. Для зарегистрировавшихся до 15 мая - скидка 20%. Ориентировочные даты проведения тренингов 7-11 или 14-18 июня 2010 года.

30 апреля 2010 г.

Мы приняли участие в 17-ой научно-технической конференции "Микроэлектроника и информатика", организованной Московским институтом электронной техники и прошедшей 28-30 апреля 2010 г. в Зеленограде.

М. Чупилко. Об одном методе применения конечных автоматов для системного тестирования моделей аппаратуры.

19 апреля 2010 г.

Cовместный семинар специалистов группы верификации микропроцессоров Института системного программирования РАН и отдела "Моделирование и верификация" ЗАО "МЦСТ".

Семинар был посвящен обсуждению результатов опытно-конструкторской разработки тестовой системы для HDL-устройства data box (коммутатор данных северного моста), выполненной специалистами ИСП РАН по заказу ЗАО "МЦСТ". Разработка ставила целью оценку возможностей метода верификации на базе технологии UniTESK с точки зрения его применения в проектах ЗАО "МЦСТ" по созданию нового поколения высокопроизводительных российских микропроцессоров.

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

Методы верификации, основанные на технологии UniTESK, планируется использовать в будущих проектах ЗАО "МЦСТ".

2009 год

21 сентября 2009 г.

Мы приняли участие в международном симпозиуме IEEE East-West Design & Test Symposium (EWDTS), который прошел 18-21 сентября 2009 г. в Москве. Симпозиум прошел в Московском институте электроники и математики (МИЭМ).

А. Камкин. MicroTESK: Automation of Test Program Generation for Microprocessors. (на англ. яз.)

С. Френкель (ИПИ РАН), А. Камкин. Verification Methodology Based on Algorithmic State Machines and Cycle-Accurate Contract Specifications. (на англ. яз.)

М. Чупилко. Constructing Test Sequences for Hardware Designs with Parallel Starting Operations using Implicit FSM Models. (на англ. яз.)

3 июля 2009 г.

Наша группа примет участие в организации международного симпозиума IEEE East-West Design & Test Symposium (EWDTS), который будет проходить в Москве 18-21 сентября 2009 г.

Основной задачей EWDTS является обмен опытом в области автоматизации проектирования и тестирования электроники между представителями индустрии и учеными Восточной и Западной Европы, Северной Америки и других частей мира.

Более подробная информация доступна на сайте EWDTS.

20 июня 2009 г.

Подход к тестированию моделей аппаратного обеспечения, основанный на контрактных спецификациях, был представлен на объединенном семинаре Microsoft Research и Института системного программирования РАН (ИСП РАН), прошедшем 19-20 июня 2009 г. в Москве:

А. Камкин. Использование контрактных спецификаций с потактовой точностью для тестирования моделей аппаратуры. (на англ. яз.)

5 июня 2009 г.

Наш подход к верификации аппаратного обеспечения был представлен на летней видео-школе по научным вычислениям (Ph.D. Summer Video School on Scientific Computing), организованной Институтом технологий Ватерфорда (Ирландия) совместно с Московским государственным университетом, Санкт-Петербургским государственным университетом и другими известными институтами и университетами. Мы сделали следующие доклады:

проф. А.К. Петренко. Formal Testing of Hardware Designs. (на англ. яз.)

Е. Корныхин. SMT-based Test Program Generation for Cache Memory. (на англ. яз.)

М. Чупилко. Using Cycle-Accurate Specifications for Testing of Hardware Designs. (на англ. яз.)

24 апреля 2009 г.

Мы приняли участие в 16-ой научно-технической конференции "Микроэлектроника и информатика", организованной Московским институтом электронной техники и прошедшей 22-24 апреля 2009 г. в Зеленограде:

Д. Воробьев. Расширение технологии UniTESK средствами генерации структурных тестов.

Е. Корныхин. ТЕСЛА - система генерации тестовых данных для системного функционального тестирования микропроцессоров.

М. Чупилко. Использование TLM при тестировании моделей аппаратуры.

24 февраля 2009 г.

Открыт сайт "Разработка кросс-инструментов и верификация аппаратуры" Института системного программирования РАН (ИСП РАН) (сайт находится на стадии доработки).

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