Software & Systems

Articles of journal № 3 at 2017 year.

Order result by: Public date | Title | Authors |

11. Channels implementation of ARINC 653 specification in RTOS Baget 3 [№3 за 2017 год]
Authors: A.N. Godunov , V.A. Soldatov, I.I. Homenkov
Visitors: 9282
The article considers ARINC specification 653 channels, which are intended for interprocess communication. The paper proposes the basic methods of designing channel driver, as well as their interaction with the Russian real-time operating system Baget 3 (RTOS Baget 3). RTOS Baget 3 user interface is based on ARINC 653 Specification and POSIX standard. The channel ac-cess is performed through ports. Every channel has the only port for sending messages and a single or several destination ports for receiving messages. Messages can be sent through a channel in only one direction. An application program can use the channels in the processes that correspond both ARINC and POSIX. The paper specifies the requirements for channel drivers and describe notification control means used for driver development. It also considers the stages of initialization, sending/receiving messages and implemented algorithms. The proposed methods of im-plementing drivers interaction with RTOS allow avoiding data recording to the other process memory that significantly enhances the system reliability. Distributed computing systems use the same interface when separate subsystems are interconnected by means of shared access buses (VME, RapidIO, Fibre Channel) or Ethernet. The connection table for processor units is specified at the stage of system configuration. The channel driver, designed for RapidIO communication environment that offers fast operation speed, is used in a multiprocessor digital signal processing system.

12. Automated generation of accounting documents using radioelectronic components database [№3 за 2017 год]
Authors: A.V. Guryanov, P.V. Konovalov, A.V. Shukalov , I.O. Zharinov, S.A. Leonovets
Visitors: 8660
The paper considers a tool software intended to support solving tasks of automation of forming of design documentation containing data on non-ferrous and precious metals in radioelements, which are a part of a product. In order to store information on electroradio products and on the amount of valuable metals in them, there is a specially designed data-base. This base is SQL-compatible and consists of four interconnected tables. The user can place it both on the local computer, and in a network. It contains information that is necessary for calculation works and allows introduction of data on new components. Such function is realized programmatically by the procedure providing manual and automatic addition of information in the database. The manual mode allows bringing elements serially and checks correctness of the entered data. In the automatic mode, information is read out from the XML file, and elements are added by groups, which are marked about the content of valuable metals in them. There goes a check of the added elements. A separate program window shows the resultant project of a product. It keeps all modules (assembly units), which are a part of a product, in a tree form in a hierarchical order. Calculation of content of non-ferrous and precious metals for each metal separately is carried out for the finished project. There also should be design documents “settlement works”. Templates for these documents are in accordance with state standard 2.608-78, 2.601-2006, 2.106-96.

13. Automatization of software documentation preparation processes for radio-electronics industry devices [№3 за 2017 год]
Authors: A.V. Guryanov, A.V. Shukalov , I.O. Zharinov, M.O. Kostishin, S.A. Leonovets
Visitors: 8867
The paper considers a scientific task of automated preparation of text software documentation using a specialized software. Automation of the process of document preparation is based on data processing from specifications and technical documentation or in the specification. Data processing assumes availability of structured electronic documents prepared in widespread formats according to templates on the basis of industry standards and generation by the automated method of the textual program document. Templates can change at any stage of a project lifecycle. Time expenditure on a template change shall be minimum. Their preview to the user is in the XPS format. The paper provides a list of the developed software documents and the example of data processing to generate a textual document as a graph. The textual document is created based on the state standard 19.101-77. The paper describes a new developed software and tools that are available to a developer in project activities at the instrument-making entity. There is the example of changing a condition of attributes of documents. There is also the algorithm of creating a software document draft in the developed software. The development of a system for automating the registration of technical documentation is cost-effective. The proposed CAD program allows automating the work of software-controlled product developers related to program documentation preparation in an instrument-making enterprise. The software is developed and functions based on a computer with characteristics: Intel (R) Core (TM) i5-6300HQ processor, 4 cores, 2.3 GHz clock speed, 8 Gb RAM, Windows 7.

14. A spatio-temporal model of a material and technical resources traffic network of a radio-electronic facilities group exploitation [№3 за 2017 год]
Authors: S.V. Ignatev, V.B. Tikhonov, A.V. Krasnikov , А.А. Оsipov
Visitors: 7721
Support of complicated radio-electronic facilities (REF) reliability at the established level mostly depends on the operation effectiveness of the current technical exploitation system, with the logistic system (LS) as one of the component part. The main task of the LS is considered to be well-timed supply of material resources (MR), which are necessary for REF proper exploitation. At the same time, the task of fast and proper decision-making when controlling necessary resources supply becomes relevant due to considerable space diversity and remoteness of special-purpose systems with REF as the basic element from storage and maintenance bases. To perform the task it is necessary to know possible (preferable) routs of MR delivery, taking into consideration emergency situations, traffic jams, roadways heavy maintenance, natural disasters and other factors, as well as the choice of optimal route variants according to the desired time value and/or MR delivery cost. Taking into account the above-mentioned facts, this research suggests a spatio-temporal model of logistics system of the group of radio-electronic facilities transportation network exploitation. This model can help to solve the task of selecting preferable MR delivery routes according to established criteria.

15. A concept of intersubjective response receiving to fuzzy queries to forging computer-aided process planning database [№3 за 2017 год]
Authors: Kanyukov S.I., Konovalov A.V., Muizemnek O.Yu.
Visitors: 7995
A usage experience of Computer-Aided Process Planning (CAPP) software for press and hammer forging is a set of technological parameter values obtained in the technological problem solution process. The values are stored in a rela-tional database. State-of-the-art database managing software generally use “crisp” (as opposing to “fuzzy”) databases and allow only “crisp” queries. We use “crisp database” as a term for a set of records that hold attributes of objects of user interest. The attribute values are represented by text or numeric values that are unambiguously understood by users. Crisp queries suppose enumeration of the attribute values or their boundaries. Therefore, the objects with attributes that partly satisfy the query will be excluded from the query response, so the information will be lost. The fuzzy query theory allows overcoming this information loss problem. The theory of fuzzy query to relational database is based on the fuzzy set theory, which was introduced in 1984 by L. Zadeh and then developed by D. Dubois and H. Prade. The paper considers the developed concept for acquiring intersubjective responses to fuzzy queries to relational database of a forging CAPP. The authors use case study of forging CAPP software database queries to define linguistic variables, terms and their quantitative characterizations. There are membership functions for terms mapped to quantitative characterizations. The paper formulates response construction rules according to relative importance of stated goals. The query requests the technological processes with “good” metal elaboration in final forged part and high utilization of metal from ingot. The proposed concept can be applied in development of mechanism for acquiring responses to fuzzy queries in numerous subject areas.

16. System model verification based on equational characteristics of LTL formulas [№3 за 2017 год]
Authors: Korablin Yu.P., A.S. Kochergin , Shipov A.A.
Visitors: 7479
For a long time, the Model Checking method has been widely used in the field related with software and technical systems quality evaluation. Such top IT companies as Intel, Microsoft, Amazon, etc. actively use it in the processes of development and maintenance of their products. Such a success of this method is certainly not accidental. It helped to solve a lot of problems in the field of verification, namely: the problems of unified representation of software and technical systems, the problem of formal requirements representation, the automation of verification phases, the verification of large distributed software systems, etc. However, such challenges as the continuous development of modern technologies and the growth rates of modern software sys-tems complexity can become an insurmountable obstacle for effective verification with Model Checking. Therefore, it is necessary to make permanent improvements of its theory and tools. The article demonstrates a new verification algorithm of Linear Temporal Logic formulas by means of Model Checking based on the new RLTL notation (Recursive Linear Temporal Logic), which is a recursive representation of LTL formulas. This algorithm can avoid necessary conversions into Büchi automatons of the system model and verifying statements since RLTL can be used to define both of them. This allows beginning a verification process immediately and increases Model Checking efficiency.

17. An enterprise information system for estimating labor and software development costs [№3 за 2017 год]
Authors: S.L. Kotov, A.A. Demirsky
Visitors: 4368
This article aims to study the process of software size estimation and its impact on the software development process. Software size has the greatest impact on the complexity of development. A software estimation process, which is in-tegrated with the software development process, can help to establish realistic and credible plans to implement the project requirements and satisfy commitments. It also can support other management activities by providing accurate and timely planning information. The article provides an overview of existing methods for estimating the size of the software created. The most common methods are: functional point analysis (FPA) and constructive cost model (COCOMO, COCOMO II). The article indicates disadvantages of these methods. The paper presents a new approach of software size estimation. The fuzzy model Takagi-Sugeno-Kang is described by fuzzy IF-THEN rules, which represent local input-output relations of a nonlinear system. The main feature of the Takagi-Sugeno-Kang fuzzy model is to express a local dynamics of each fuzzy implication (rule) by a linear system model. The fuzzy model Takagi-Sugeno-Kang is used to estimate the size of software objects. The paper illustrates how the new method can be used in the enterprise information system for estimating labor and software development costs. The result shows that the approach is better than FPA method.

18. A software complex for electronic system thermal design: requirements for architecture and functional possibilities of modeling [№3 за 2017 год]
Authors: Madera A.G., Reshetnikov V.N.
Visitors: 8381
The paper considers fundamental concepts of mathematical and computer modeling, which are the basis of the development and creation of a multifunctional software package for thermal design of complex electronic systems. It shows the basic flaws of foreign thermal design software systems, which are not applicable in practice of designing and creating competitive electronic systems. The article establishes the requirements for a multifunctional software package for adequate design of thermal processes and temperature distributions in real electronic systems under real conditions of operation and functioning. Namely, the software package should provide the ability to model thermal processes in electronic systems that are nonlinear, nonstationary, three-dimensional, interval stochastic, as well as take into account the influence of thermal feedback, design and installation of elements in electronic systems, effects of destabilizing mechanical, climatic and radiation factors. The architecture of the multifunctional software package should contain a highly efficient mathematical computing core, a de-veloped service user interface that meets modern requirements for complex software packages and systems. The service shell, in turn, should provide a visual, intuitive and easy-to-understand form of setting initial data in the form of color images of temperature distributions and other thermal characteristics at different hierarchical levels. The software package is implemented in Microsoft Visual Studio that provides an object-oriented approach in the high-level language C# powered by Microsoft Windows operating system family. Modular architecture allows expanding the possibilities and upgrading the software complex effectively.

19. Potential distribution simulation for a dual-gate field silicon on insulator nanotransistor with an asymmetric gate [№3 за 2017 год]
Author: Masalsky N.V.
Visitors: 7212
The paper considers a 2D analytical model of potential distribution and a following threshold voltage model for a thin-film dual-gate field nanotransistor with "silicon-on-insulator" structure with a front gate from two sequentially connected materials with different work function. It also investigates potential behavior in transistor structures in the field of gate lengths less than 50 nanometers, its dependence on drain offsets for different configurations of a frontal gate. The received results show that using two materials with different work function in a frontal gate leads to effective suppression of short-channel effects due to a step function in a potential profile on the boundary of two materials. The shift of a surface line of a surface potential minimum is insignificant with increasing drain biases. The peak electric field at a drain considerably decreases in comparison with similar transistor structure but with a uniform frontal gate. At the same time, it is predicted to be a higher active interelectrode conductance and reduction of subthreshold leak in comparison with classical two-gate field nanotransistors with structure "silicon-on-insulator" in the gate lengths less than 50 nanometers. The distinctive properties of the researched structures are essential lowering of an electrical field peak on boundary of a working area and a drain, reduction of parasitic effects of threshold voltage. The simulation results are in good agreement with experiment data received by means of commercially available software package ATLAS intended for simulation of complex transistor structures. Thus, using two materials with different work function in a front gate of dual-gate field nanotransistors with the structure "silicon-on-insulator" improves their key electrophysical characteristics in comparison with dual-gate field transistors with a uniform front gate and volume analogues.

20. Development and investigation of linear regression models of capacitance of magnetic nanofluids microlayers [№3 за 2017 год]
Authors: T.F. Morozova, M.S. Demin, A.S. Morozov
Visitors: 6554
The paper presents the results of the analysis and synthesis of linear regression models, which describe experimental studies of electric capacity of a cell with a magnetic nanofluid (MNF) microlayer, when changing the following input parameters (factors): a polarizing voltage (0...20 V), a dispersed phase volume concentration (2,3...14,4 %), an interelectrode distance (100...200 μm), layer temperature (293...368 K). The article shows two- and three-dimensional MNF microlayer capacitance curves depending on input parameters. Dependence analysis showed high electrical capacity at ~340 K within the studied concentration range. While changing a dispersed phase concentration from 2,3 % to 14,4 % and using a polarizing voltage, there is also characteristic electrical capacitance maximum which becomes more evident at higher temperatures. With increasing dispersed phase concentration, the magnitude of polarizing voltage increases when the electrical capacitance maximum is detected. To get a mathematical model linking the cell capacitance with MNF and its parameters (factors), the authors used IBM SPSS Statistics (the software for statistical analysis). The obtained regression models take into account the main factors and the effects of their interaction. The paper shows the analysis of the obtained models and estimates their errors (approximation errors). While evaluating errors, the authors considered the minimum, maximum and average errors. Based on these data they made the conclusions on the model appropriateness. The best approximation of the experimental data is in the model that takes into account the effects of factor interaction.

◄ ← Preview | 1 | 2 | 3 | Next → ►