ISPRAS Logo
 
Introduction Background Affiliations Offers Partners Contacts
ISPRAS Description Logo
Home   R&D Groups   Projects   Grants   Publications   Downloads

Downloads

AAC

Pilot System
Adaptive control of angular motion of satellite.

AdCAS System
Adaptive control of active car suspension.

CTT

IRE
Integrated research environment (IRE) for program transformation. The IRE is being developed with a purpose to provide a convenient environment to study program analysis and transformation methods and their impact on the programs. Also the environment may be used to study programs themselves.

ParJava
The ParJava is an extension of Java environment by facilities supporting development of effective scalable portable object-oriented parallel programs to be executed using computer systems with distributed memory (clusters). The instrumental computing system supporting development of such programs may be both homogeneous and heterogeneous. Implementation of standard communication library MPI (Message Passing Interface) is used for providing inter-process communications.

RedVerst

JATVA
This download contains the description of syntax, semantics, and pragmatics of J@va and C@++, specification extensions of Java and C++ languages, intended to be used in automated test development processes.

CTesK-Superlite
This download demonstrates CTesK-Superlite technology for testing software written in C.

VDM++TesKDemo-1.3
This download demonstrates the Vdm++TesK tool, which is an add-on tool that extends features of the IFAD VDM++Tool box.

MSR_IPv6_TS
This download demonstrates the applicability of formal techniques to specification and verification of complex API like IPv6 implementation, shows feasibility of the approach for specification and verification of Windows NT internals and investigates the scalability of ISPRAS approach on real life software example.

STEPSET

Dictionary Generator
Parses an EXPRESS file and generates a representation of the SDAI dictionary for the specified schemas in clear text encoding (ISO-10303-21).

XML Converter
Converts data represented in clear text encoding (ISO-10303-21) into XML representation according to ISO-10303-28 (supports the following bindings: LB, ETEB; OSEB is under construction).

Virtual Reality Modeling using Mapping Declarations
(paper at 3IA'2002 CONFERENCE ON COMPUTER GRAPHICS AND ARTIFICIAL INTELLIGENCE).

EXPRESS schema for VRML97
Redefines VRML97 concepts by introducing similar EXPRESS entities and emulating their states and behaviors in EXPRESS like manner.

IFC/VRML converter
Converts IFC 2.0 data provided in Part21 file format to VRML97.

mpC

mpC Version 2.2.0
The mpC programming environment was greatly changed. Now it supports clusters also.

MODIS

Design and development of portable multiuser DBMS, which supports the SQL89 standard with some extensions from SQL92
GNU SQL Server implements highly isolated transactions, and static & dynamic query compilation. Both, client & server sides of the system work on Unix-like systems. Client/server interaction is based on an RPC mechanism. The server subproceses facility requires message passing and memory sharing facilities.

Free C++ ORB
ISP C++ ORB is a tool for development of distributed software. ORB plays the role of communicator between different components of distributed applications which can run on the different platforms.

 


Copyright © 2002 ISP RAS