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

R&D Groups

AAC
Adaptive Control Methods Department investigates possibilities of creation of adaptive control systems on the basis of bionic principle, elaborates the method of Autonomous Adaptive Control (AAC) and creates applications on basis of the AAC method.


CTT
The Compiler Technologies Team (CTT) is specialized in applying compiler approach to different computer science fields, as well as modern optimizing compiler development and design. The first compiler projects started in early 80s. The recent research activity of the team is concentrated on parallel programming and reverse engineering.


DMA
Discrete Mathematics and Applications (DMA) specializes in applications of methods of discrete mathematics and theoretical computer science.
Currently there are two main directions we are interested in:
  • foundations of software security
  • discrete optimization


Linux Verification Center
The main activities of the Center are:
  • Formalization of Linux standards - supplementing existing standards with formal specifications of requirements in the form of machine-readable documents.
  • Development of open-source test suites for automated testing and detection of semantic discrepancies between the Linux standards and various Linux distributions.
  • Development and dissemination of academic and industrial expertise in the area of requirements formalization, specification driven test development and use of the test suites developed by the Center.


RedVerst
RedVerst provides the methodologies and supported tools for improvement of software themselves and software development process as a whole. It uses cutting-edge research in formal methods of software development and provides automated, rigorous, and systematic analysis, testing, and improving industrial software. RedVerst's use of formal specifications opens the route to combining high quality and short time-to-market in software development.


SpACE
SpACE stands for
Sp - Specification languages - our group specializes in formal specification languages, such as SDL, UML, TTCN, ASN.1, MSC and others
A - Analyzers, compilers and translators - we are developing front end and back end tools for formal specification languages
C - CASE-methods and tools - we are using CASE-technologies in our daily work and we are also developing and implementing our own CASE-methods and tools
E - Engineers - ambitious, highly skilled, experienced and highly motivated


STEPSET
STEPSET stands for Software Engineering Technologies in conformity to STEP information standards and models.


CASE
Department for CASE tools of the Institute for System Programming (short for Computer-Aided Software Engineering tools ) performs research and development in the area of modern tool support for software development. Department of CASE tools performs world-leading research in building next-generation model-based tools that accelerate software development through the use of formal modeling techniques, automated transformations, including advanced code generation techniques, managed software architectures, validation and verification, especially at the early phases of the development process. Current members of research staff of the Department for CASE tools actively participate in international standardization on formal software development techniques in OMG and ITU-T. Department for CASE tools develops methodologies and tools in the following two main directions:

CASE department of the Institute for System Programming traditionally conducts two main directions in CASE Technologies (Computer Aided Software Engineering):

  • Tool support for Managed Software Architectures (inSight project). This direction addresses architecture–centric software development, tools support for Software Product Lines, automated extraction of formal models from existing software, as well as tools for accelerating maintenance and remodularization of existing (legacy) software
  • Executable scenarios (MOST project). This direction addresses methodologies of Systems Engineering, Requirements Engineering, use case-driven software engineering.


mpC
mpC group specializes in parallel programming for heterogeneous parallel systems.
Our main software product is mpC programming environment intended for programming heterogeneous networks. Its development has been listed among the most significant achievements of the Russian Academy of Sciences in computer science for the last 15 years.
We actively use mpC for programming parallel applications in different fields, which outperforms they counterparts on heterogeneous networks of workstations and PCs.


MODIS
MODIS - Management Of Data and Information Systems team.


iGroup
iGroup specializes in development of custom cross development tools for embedded systems and DSP. The typical tools are Assembler, Linker, Debugger, C Compiler, IDE, etc. The group owns a special framework for automated cross tools construction supported by reusable IP blocks and skilled experienced staff, which enables fast new projects development with lots of ready man-years out-of-box.

 


Copyright © 1995-2006 ISP RAS