ISSN 2307-6410

Authors

UDKs comma delimeted
А.Г. Марчук

Dear colleagues,

I’m pleased to present to you our new electronic journal, System Informatics.

Since 1991, our research institute has been publishing the System of Informatics series, which contains surveys and basic research works by Russian and foreign authors covering various aspects of computer science, programming and information technologies. The series has gained popularity with a broad range of specialists including programmers, engineers and mathematicians.

The electronic journal is designed to complement this series by providing prompt publishing of the most recent achievements in these research areas.

Alexander G. Marchuk,
Doctor of Physics and Mathematics,
Director, Institute of Informatics Systems, Siberian Branch, Russian Academy of Sciences

Current Issue (# 10, 2017)

System Informatics, 2017, # 10

The purpose of the study is to demonstrate the feasibility of automated code migration to a new set of programming libraries. Code migration is a common task in modern software projects. For example, it may arise when a project should be ported to a new library or to a new platform. The developed...
The paper is devoted to studying the (‘gedanken’) experiments with input/output automata. We propose how to derive proper input sequences for identifying the final (current) state of the machine under experiment, namely synchronizing and homing sequences. The machine is non-initialized and its...
The paper covers design and developing software for hardware plant for water purification, the architecture for it, received automaton diagrams of water preparing and normalization based on customer specifications and requirements. Discussing the components of the system, layers of abstractions,...
Static verification of source code correctness is a major milestone towards software reliability. The dynamic type system of the Jolie programming language, at the moment, allows avoidable run-time errors. A static type system for the language has been exhaustively and formally defined on paper,...
Null pointer dereferencing remains one of the major issues in modern object-oriented languages. An obvious addition of keywords to distinguish between never null and possibly null references appears to be insufficient during object initialization when some fields declared as never null may be...
This work represents the further development of the method for definite iteration verification. It extends the mixed axiomatic semantics method suggested for C-light program verification. This extension includes a verification method for definite iteration over unchangeable arrays with a loop exit...
Store-and-forward buffering of packets is traditionally used in modern network devices such as switches and routers. But sometimes it is a significant obstacle to the quality of service improvement because the minimal packet delivery time is limited by the multiplier of the number of intermediate...
The paper concerns recent advances in reaching the goal of industrial operating system (OS) verification. By industrial OS we mean a system actively used in some industrial domain, elaborated and maintained for a significant time, not a proof-of-concept OS developed with mostly research intentions...