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
Follow Site Information And Rules please.¶
IMPORTANT: How to create repository.¶
IMPORTANT: Additional services.¶
Help and support can be obtained in Local Support Project.¶
Latest newsView all news
Examples of behavioral AADL models (02/10/2017 09:03 pm)
This is a project for AADL models intended to show different approaches to behaviour modelling with AADL and analyzing of these behaviours using MASIW, especially with simulation.
MicroTESK for MIPS64 (11/08/2016 07:11 am)
MicroTESK for MIPS64 is a MicroTESK based instruction stream generator (ISG) aimed at functional verification of MIPS64 (Release 6) microprocessors.
MicroTESK for Plasma (10/06/2016 02:12 pm)
A MicroTESK-based test program generator (instruction stream generator) for the Plasma microprocessor.
- Summer (01/26/2016 10:59 am)
- КМБ-2015 (11/12/2015 03:02 pm)