Home

Welcome to the ISP RAS open-source projects!
At the moment this system presents selected projects being developed by the
Software Engineering department.

We focus on advanced R&D in the area of software and hardware testing and
verification methods, tools and technologies. We work both on fundamental
R&D funded by the Russian Academy of Sciences and on industrial R&D projects
funded by our partners such as Linux Foundation, Intel, Microsoft, Nokia and
others.

Follow Site Information And Rules please.

Help and support can be obtained in Local Support Project.

Latest news

Fortress: Fortress v0.3.1 released
Fortress v0.3.0 has been released.
Added by Andrey Tatarnikov about 1 month ago

HDL Retrascope: HDL Retrascope to be introduced at DAC 2014
HDL Retrascope will be introduced at the University Booth and PhD Forum of the DAC 2014 conference on June 1-5 in San Francisco, CA, USA.
Added by Alexander Kamkin 3 months ago

C++TESK Testing ToolKit: C++TESK Testing ToolKit to be presented at DAC 2014
C++TESK will be presented at the IP Track, University Booth and PhD Forum of the DAC 2014 conference on June 1-5 in San Francisco, CA, USA.
Added by Alexander Kamkin 3 months ago

MicroTESK: MicroTESK to be presented at DAC 2014
MicroTESK will be presented at the University Booth exhibition and PhD Forum of the DAC 2014 conference on June 1-5 in San Francisco, CA, USA.
Added by Alexander Kamkin 3 months ago

C++TESK Testing ToolKit: C++TESK Testing ToolKit v1.0.24 released
C++TESK Testing ToolKit v1.0.24 has been released. The following things have been done.
Added by Mikhail Chupilko 3 months ago

View all news

Latest projects

  • 1-Click Eclipse Text Editor (06/27/2014 01:19 pm)
  • GPLv3 fork of POK (03/06/2014 10:47 am)

    This project is a fork of POK. All the changes made are provided as open source software under GPLv3 license.

    The fork strives for ARINC-653 compatibility. It's currently (as of April 2014) under active development,
    and incompatible with various utilities written to work with upstream POK (like Ocarina), since API was broken....

  • Тесты с использованием моделей на базе Summer (12/03/2013 11:05 am)

    Проекты автоматизированного тестирования программных интерфейсов с использованием моделей. В качестве фреймворка для тестов используется библиотека Summer.

  • MicroTESK Training Course (09/23/2013 02:17 pm)

    Курс предназначен для студентов старших курсов, специализирующихся в области проектирования и верификации микропроцессоров. Цели курса — познакомить слушателей с методами спецификации микропроцессоров и методами генерации тестовых программ, а также выработать соответствующие практические навыки. Основу курса составляют практичекие занятия, посвященные спецификации инструкций и созданию автоматизированных генераторов тестовых программ для MIPS-совместимого микропроцессора. Практикум основан на языке спецификации nML (Sim-nML) и инструменте создания генераторов тестовых программ MicroTESK....

  • MASIW Framework (09/11/2013 02:50 pm)

    MASIW Framework is an open source Eclipse-based IDE for development and analysis of AADL models.

    The main features of the toolkit includes:
    • textual and graphical editors for AADL model;
    • checking AADL models for compliance with constraints described in REAL theorems....