Институт проблем информатики Российской Академии наук
Институт проблем информатики Российской Академии наук
Российская Академия наук

Институт проблем информатики Российской Академии наук

«Annual Proceedings of the Institute of Informatics Problems (IPI RAN)
The Systems and Means of Informatics, Issue 20, Volume 3, 2010

Оглавление | Аннотации на русском языке


    The Compiler of Tabular Representations of Mealy Machines into Programs in the SMV Language that Automates Verification of Computer Projects Using the Model Verification
  • Sergey Frenkel, Alexander Kurts, Dmitry Liburkin, Natalia Fandjushina, Boris Anders

    This paper describes a digital systems verification tool based on the ASM (Algorithmic State Machine) method. The program 'mealy2smv' in C++ which performs automatic transformation of ASM flowcharts into SMV descriptions has been developed. The structures produced by the program „mealy2smv. are similar to Kripke structures. Therefore the program enables to reduce considerably the cost of the formal model verification in the process of digital systems development.

    Keywords:   formal verification, finite-state machine, model verification.

  • Virtual Machines Development and Management in Accordance with the «Hypervisor Functional Specification» Document.
  • Valery Egorov, Eugeny Matveev

    The «Hypervisor Functional Specification» document published by the Microsoft Corporation is considered in the article. This specification is the first attempt to unify the virtual runtime environment of operating systems. The article explores the interfaces between the hypervisor itself and the hypervisor-managed operating systems. The article also analyzes the way this technology could be used for operating systems development.

    Keywords:   Hypervisor, Hyper-V specification, virtual machines interconnection interface, virtual machines management, enlightened operating system.

  • Signaling Mechanism of the Cell Programming Language
  • Timofey Bondarenko, Olga Bondarenko, Konstantin Volovich, Vadim Kondrashev

    The problems of logical signal processing and related problems of named objects creation in the Cell programming language are considered. The notion of atomic transition is proposed as part of signal serializing procedure description.

    Keywords:     Cell language, namespace, serialization, hierarchical state machine, software synthesis, telecommunication protocol.

  • The Cell Language: Model of Clones Processing
  • Timofey Bondarenko, Olga Bondarenko, Konstantin Volovich, Vadim Kondrashev

    The article considers the ways to guarantee the independent operation of identical submachines of an hierarchical state machine with an example of telecommunication protocols developed in the Cell language. The main purpose of the Cell language is to synthesize software of an hierarchical state machine from partially formalized descriptions of its submachines. The article describes the concept of clone and the cloning mechanism used in the Cell language for the specification of such algorithms. The article also examines the model of clones processing based on serialization of calculations. This approach to realization of hierarchical state machines is offered in the Cell language as an alternative to using methodology and technology of parallel calculations.

    Keywords:   Cell language, context of cell, namespace, serialization, hierarchical state machine, software synthesis, telecommunication protocol.

  • The Base Model of the State Machine Operation in the Cell Programming System
  • Timofey Bondarenko, Olga Bondarenko, Konstantin Volovich, Vadim Kondrashev

    The article proposes the Cell programming system that enables to create an interconnected specification of an hierarchical state machine based on partially formalized descriptions of its submachines and to develop software which will perform serialized processing for loosely coupled state machine branches. The article describes the hierarchical state machine model used in the Cell language. Тhe main elements of the Cell language used to describe hierarchical structures are presented. The article also offers the state machine realization model without using the parallel calculations methodology and technology which was called Processing Serialization.

    Keywords:   Cell language, processing serialization, hierarchical state machine, software synthesis, telecommunication protocol.

  • Main Approaches to Functional Requirements Generation for Situational Centers and their Creation
  • Alexey Bosov, Alexander Zatsarinnyi, Alexander Suchkov

    The article considers some issues of functional requirements generation for situational centers and their creation. Using their own terminology system the authors suggest separating organizational functional structure of a situational center into 4 units: management, monitoring, situational analysis and maintenance. The information- analytical component of a situational center is described in details. This component enables to solve main problems of situational analysis and resource management. The authors describe several approaches that enable to create information-analytical subsystems by means of special software.

    Keywords:   situational centers, organizational functional structure, management, monitoring, situational analysis, informationanalytical systems.

  • On an Approach to Justification of the Requirements to Situational Center Hardware Components
  • Alexander Zatsarinnyi, Konstantin Chuprakov

    The article presents the main approach to justification of requirements to hardware and software bases of a situational center. Taking into consideration the functional structure of a situational center all requirements are separated into four groups. Using the classification of situational center hardware the authors justify main requirements to each class.

    Keywords:   situational center, hardware equipment, requirements justification, hardware classification.

  • An Approach to Justification of Requirements to Reliability of Information Telecommunication Networks
  • Alexander Zatsarinnyi, Alexander Garanin, Yuri Ionenkov

    The paper suggests an approach to justification of requirements to reliability of information telecommunication system components. The paper considers selection of quantitative reliability parameters for systems, their nodes and connection lines. The authors present an algorithm of distribution of requirements to communication channel between network components.

    Keywords:   information telecommunication network, connection nodes, connection lines, network reliability, availability function.

  • Main Constructor Desk as an Organizational Technical Foundation of Large-scale Information Telecommunication Systems Development
  • Alexander Zatsarinnyi, Alexander Garanin, Sergei Kozlov

    The paper describes organizational methodological issues of main constructor desk creation in the process of large-scale information telecommunication systems development. The paper presents factors that determine desk creation environment including current normative technical base. The authors justify the functions of the desk considering each phase of the development process and the system life cycle as a whole. The authors suggest the structural functional desk representation and its main applications that enable to solve maintenance issues comprehensively at all phases of a system life cycle.

    Keywords:   information telecommunication system, main constructor desk, system approach, desk functions separated by life cycle phases, applied, information telecommunication, technological, technical aspect of desk, trial-simulation complex, main desk applications areas.