The article describes a test system designed for verification of the real-time operating system (RTOS) for embedded systems, which was developed and used at the Scientific Research Institute for System Analysis of the Russian Academy of Sciences (SRISA RAS). This Unix-like operating system is based on the POSIX and ARINC-653 programming standards. Of course, there exists specialized software for automation of testing of Unix-like systems: Avocado, LAVA, Linux Test Project, Linux Distribution Checker, Open POSIX Test Suite, UnixBench, etc. But the use of such ready-made software systems is not always convenient, because they either contain only highly specialized test suites, or support only certain hardware, or do not contain a flexible configuration system. Therefore, the researchers at the SRISA RAS developed their own original test system. The task was to create a convenient testing tool for both software testers and programmers. Many years of experience in using the test system has shown the effectiveness of its use to improve the quality of software products, reduction of time spent on testing and analysis of results, maximally automate software testing process, speed up the process of developing new software versions, and simplify the process of debugging, finding and fixing errors by software developers.
В статье описывается процесс подготовки номеров журнала к печати от сбора статей до создания оригинал-макета для передачи в типографию; указывается последовательность действий при подготовке журнала, описываются используемые средства и даются рекомендации по их применению, приводятся требования к оформлению страниц, колонтитулов, титульных листов и содержания, даются обзор и рекомендации по использованию издательской системы для журнала Труды НИИСИ РАН. Статья предназначена для лиц, осуществляющих подготовку журнала к изданию, а также будет полезна авторам статей, ознакомив их с процессом формирования и выпуска журнала. The article describes the process of preparing journal for publishing - from collecting articles to creating a layout original for a printing office. The sequence of actions in the preparation of the journal is indicated. The tools used are described, and recommendations are given for their use. The requirements for the design of pages, headers and footers, title pages, and content are given. An overview and recommendations are considered on the use of the Publishing System for the “Proceedings of SRISA RAS” journal. The article is intended for those preparing the journal for publication, and will also be useful to the authors of the articles, acquainting them with the process of creation and release of the journal.
Functions that calculate correctly rounded exponents provide the best approximation and ensure cross-platform portability. This paper presents an algorithm for calculating the correctly rounded value of the exponential function when its argument and value are double-precision numbers and the calculations use extended double-precision arithmetic. The formal description of the algorithm is provided. The proposed algorithm is implemented as a C function. The results of its testing, including the measurement of its time characteristics and comparison with other algorithms, are presented.
В статье описан способ синхронизации системных часов на отдельных процессорных модулях в многопроцессорных системах, работающих под управлением операционной системы реального времени. This article describes the method of system clock synchronization for multiprocessor systems working under control of real-time operating system.
В статье представлена реализация разделяемых библиотек для семейства операционных систем реального времени Багет 3.x (ОСРВ Багет 3.x). Рассматриваются методы обеспечения основных требований к разделяемым библиотекам. В частности, использование разделяемых библиотек не должно приводить к непредсказуемым задержкам во время выполнения приложений или к потере производительности, а также требовать значительной доработки ОСРВ Багет или изменений прикладного бинарного интерфейса. Приводится пример создания разделяемой библиотеки функций стандарта POSIX и ее использования в прикладной программе для семейства ОСРВ Багет 3.x. The paper presents implementation of shared libraries for the real time operating systems of the Baget 3.x family (RTOS Baget 3.x). Methods for provision of basic requirements to the shared libraries are discussed. Namely, use of shared libraries should not cause unpredictable delays during execution or performance degradation; it should not also require significant upgrade of RTOS Baget or any kind of ABI changes. An example of building a shared library of POSIX functions and its use in an application for RTOS Baget 3.x is presented
Статья содержит правила и рекомендации по оформлению научных публикаций для журнала «Труды НИИСИ РАН». В ней также даются рекомендации по использованию текстового редактора Microsoft Word The article contains rules and recommendations on the design of scientific publications for the journal "Proceedings of NIISI RAS". It also provides recommendations for using the Microsoft Word text editor.
Федеральный научный центр Научно-исследовательский институт системных исследований РАН
Main features of Baget 2.0 and Baget 3.0 Russian real-time operating systems (RTOSs) are discussed. Their similarities and differences are examined. Ways of further development of RTOS Baget are considered.
