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.¶
IMPORTANT: Permanently authenticating with Git repositories¶
IMPORTANT: How to create repository.¶
IMPORTANT: Additional services.¶
Help and support can be obtained in Local Support Project.¶
Latest news
MicroTESK for RISC-V:
MicroTESK for RISC-V 0.0.7 released
MicroTESK for RISC-V 0.0.7 has been released.
MicroTESK:
MicroTESK 2.4.44 released
MicroTESK 2.4.44 has been released.
QEMU4V:
QEMU4V 0.2.4 released
QEMU4V 0.2.4 has been released.
Requality:
Requality 1.0 released
After more than 10 years of development we are happy to announce the release of Requality 1.0.
The new version emphasizes the readiness of the tool to support requirements management process of safety-critical software development.