{"title":"[Copyright notice]","authors":"","doi":"10.1109/apsse47353.2019.00003","DOIUrl":"https://doi.org/10.1109/apsse47353.2019.00003","url":null,"abstract":"","PeriodicalId":146774,"journal":{"name":"2019 Actual Problems of Systems and Software Engineering (APSSE)","volume":"90 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131641640","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Platform for Tracking Donations of Charitable Foundations Based on Blockchain Technology","authors":"Hadi Saleh, S. Avdoshin, Azamat Dzhonov","doi":"10.1109/APSSE47353.2019.00031","DOIUrl":"https://doi.org/10.1109/APSSE47353.2019.00031","url":null,"abstract":"Donors have distrust about how donated money is spent. Currently, blockchain technology is being implemented in different sectors. Blockchain technology allows you to make the process of donations and transactions of funds transparent. Single platform for tracking donations that will track all information about donations, transactions and donors need to be developed. This paper considers description of implementation of the platform for tracking donations based on blockchain technology. The System offers transparent accounting of operations donors, charitable foundations and recipients based on blockchain technology, charitable platform should provide transparent donation route, enable public users and donors to track and monitor where, when and to whom went resources of charity funds.","PeriodicalId":146774,"journal":{"name":"2019 Actual Problems of Systems and Software Engineering (APSSE)","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123725744","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Alexander M. Bershadsky, A. Bozhday, Y. Evseeva, A. Gudkov
{"title":"Integrated Approach to the Self Adaptive Software Development Based on Reflection and Observation of the Information Environment","authors":"Alexander M. Bershadsky, A. Bozhday, Y. Evseeva, A. Gudkov","doi":"10.1109/APSSE47353.2019.00021","DOIUrl":"https://doi.org/10.1109/APSSE47353.2019.00021","url":null,"abstract":"The approach proposed by the authors for building self-adaptive software systems is based on the joint use of two concepts: reflexive self-adaptation and observation of the information environment. The first concept involves the analysis of information circulating within the system and the identification of patterns in it. The restructuring of the program will be carried out in the process of implementation on the basis of the found patterns. The central idea of the second concept is the analysis of information entering the system from outside (for example, in the form of user reviews), and the subsequent restructuring of the system. The implementation of both concepts is based on the application of two technologies: technology of dynamic lines of software products used to build a universal behavioral structure of an adaptive software application, and data mining technology, which is used to implement the process of self-adaptation. The study was carried out with the financial support of the Russian Foundation for Basic Research in the framework of the research project No. 18-07-00408.","PeriodicalId":146774,"journal":{"name":"2019 Actual Problems of Systems and Software Engineering (APSSE)","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126769501","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Formal Modeling of Multi-Level Security and Integrity Control Implemented with SELinux","authors":"V. Kuliamin, A. Khoroshilov, Denis Medveded","doi":"10.1109/APSSE47353.2019.00024","DOIUrl":"https://doi.org/10.1109/APSSE47353.2019.00024","url":null,"abstract":"The paper presents formal security model of Linux distributions provided by Bazealt SPO, which integrates multi-level security (MLS) and mandatory integrity control (MIC) implemented on the base of SELinux framework. The model also includes information flows analysis framework described as an extended Take-Grant model. The main novelty of the model is the integration of MLS and MIC that can be implemented in SELinux. The model is specified in a hierarchical manner on Event-B language, its security properties are represented as invariants and formally proved.","PeriodicalId":146774,"journal":{"name":"2019 Actual Problems of Systems and Software Engineering (APSSE)","volume":"61 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133296084","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Mathematical Models and Methods of System Engineering for Preventive Risks Control in Real Time","authors":"A. Kostogryzov","doi":"10.1109/APSSE47353.2019.00007","DOIUrl":"https://doi.org/10.1109/APSSE47353.2019.00007","url":null,"abstract":"The probabilistic models and methods for solving problems of risks prediction and rationale counteraction measures in application to complex structures are proposed. The software support of these models and methods allows to solve different system engineering problems on stages of concept, design and operation. The capabilities of the proposed models and methods are analyzed in applications to solving the problem 1 of estimation and rationale the control measures for system operation on the base of monitored data about events and conditions, and the problem 2 of a robot actions optimization under limitations on admissible risks of \"failures\". The practical examples demonstrate summary from solving problem 1 for information systems operation (according to admissible probabilities of \"success\" and risks of \"unsuccess\"), the system analysis implementation to improve capabilities for an intelligent manufacturing (for a coal company), applicability of the proposed probabilistic methods and models to solving problem 2 in application to pilotless car route optimization in conditions of uncertainties","PeriodicalId":146774,"journal":{"name":"2019 Actual Problems of Systems and Software Engineering (APSSE)","volume":"55 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115409939","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Remote Noninvasive Detection of Carbohydrate Metabolism Disorders by First-Lead ECG Screening in CardioQVARK Project","authors":"A. Shmid, A. Mkrtumyan","doi":"10.1109/APSSE47353.2019.00025","DOIUrl":"https://doi.org/10.1109/APSSE47353.2019.00025","url":null,"abstract":"The main results of an experimental study on the approbation of the method of remote noninvasive detection by electrocardiogram on the first lead the carbohydrate metabolism disorders (CMD) using a portable electrocardiograph CardioQVARK and expert system ES diabetes mellitus (DM) are presented. The possibility of detecting cardio indication of (CMD) with sensitivity of 70% and specificity of more than 86% was confirmed. The possibility of remote non-invasive screening of the population with high sensitivity and specificity was confirmed by this method.","PeriodicalId":146774,"journal":{"name":"2019 Actual Problems of Systems and Software Engineering (APSSE)","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132264658","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
A. Kostogryzov, Vitaly Panov, L. Grigoriev, I. Zubarev, A. Nistratov, G. Nistratov
{"title":"Estimation of Stakeholders Satisfaction in Application to Socially Significant Systems","authors":"A. Kostogryzov, Vitaly Panov, L. Grigoriev, I. Zubarev, A. Nistratov, G. Nistratov","doi":"10.1109/APSSE47353.2019.00008","DOIUrl":"https://doi.org/10.1109/APSSE47353.2019.00008","url":null,"abstract":"For socially significant systems an achievement of expected quality of different service functions at admissible expenses is very important and needs to be explained. Here the methodological approachfor probabilistic estimating stakeholders satisfaction is proposed. For given time of prediction the results of approach application are: expected and real parts ofservice functions performing with admissible quality, expected expenses for satisfying interests of stakeholders, relative parts of stakeholders satisfaction connected with quality and costs. Stakeholders satisfactionis estimated in dependence on expected and real frequencies of performing differentservice functions, expected and realmean costs forfunctions performing, damages for the cases of inadmissible quality infunctions performing, mean time before essential changes of admissible quality, thefrequency of control and recovering, required quality of functions performing and also defined system lifetime, the costs of system development, installation, operation, maintenance and disposal. The variants of optimization problems in the life cycle of systems are proposed. An example illustrating the possibilities of the proposed approach is given in application to multifunctional social center","PeriodicalId":146774,"journal":{"name":"2019 Actual Problems of Systems and Software Engineering (APSSE)","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116553349","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
B. Shishov, L. Grigoriev, A. Kostogryzov, A. Asiryan
{"title":"Analysis of the System Engineering Problems in the Automated Dispatch Control Systems for Oil and Gas Production Technological Processes","authors":"B. Shishov, L. Grigoriev, A. Kostogryzov, A. Asiryan","doi":"10.1109/APSSE47353.2019.00009","DOIUrl":"https://doi.org/10.1109/APSSE47353.2019.00009","url":null,"abstract":"Automated dispatch control systems (ADCS) is the main direction of development of process control systems in the oil and gas industry. Being part of the man-machine control systems, the development of ADCS is largely determined by new knowledge in the field of information technology. Based on this, we present an analysis of current problems of system engineering for each life cycle stage along with an analysis of the relevance of the study and accounting of the human factor in the development of ADCS.","PeriodicalId":146774,"journal":{"name":"2019 Actual Problems of Systems and Software Engineering (APSSE)","volume":"28 6","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114036103","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Towards a Native Architecture of In-NVM DBMS","authors":"S. Kuznetsov","doi":"10.1109/APSSE47353.2019.00017","DOIUrl":"https://doi.org/10.1109/APSSE47353.2019.00017","url":null,"abstract":"Many experts in the field of data management believe that the emergence of non-volatile byte-addressable main memory (NVM) available for practical use will lead to the development of a new type of ultra-high-speed database management systems (DBMS) with single-level data storage (native in-NVM DBMS). However, the number of researchers who are actively engaged in research of architectures of native in-NVM DBMS has not increased in recent years. The most active researchers are PhD students that are not afraid of the risks, which, of course, exist in this new area. The second section of the article discusses the state of the art in NVM hardware. The analysis shows that NVM in the DIMM form factor has already become a reality, and that in the near future we can expect the appearance on the market NVM-DIMMs with the speed of conventional DRAM and endurance close to that of hard drives. The third section is devoted to the review of related works, among which the works of young researchers are the most advanced. In the fourth section, we state and justify that the work performed so far in the field of in-NVM DBMS, did not lead to the emergence of a native architecture. This is hampered by the set of limiting factors analyzed by us. In this regard, in the fifth section, we present a sketch of the native architecture of an in-NVM DBMS, the choice of which is influenced only by the goals of simplicity and efficiency. In conclusion, we summarizes the article and argues the need for additional research into many aspects of the native architecture of an in-NVM DBMS.","PeriodicalId":146774,"journal":{"name":"2019 Actual Problems of Systems and Software Engineering (APSSE)","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134260684","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Methodology of Functional Architecture Assembly of Complex Systems on Airliner Example","authors":"Yury I. Lobanovsky, Yu. V. Balashov, V. Batovrin","doi":"10.1109/APSSE47353.2019.00011","DOIUrl":"https://doi.org/10.1109/APSSE47353.2019.00011","url":null,"abstract":"A methodology for constructing a functional architecture of a passenger aircraft, including its systems, is presented. This methodology is based on the ARP 4754A Standard and is fully consistent with FAA approaches. The functional architecture of the aircraft is built «from top to bottom», so after formulating the function of the highest, zero level, there is a consistent transition to the consideration of the functions of the lower levels, into which this need is decomposed. This structure is brought to the functional level of the aircraft systems according to the ATA 100 List, and for several of these aircraft systems have also been built appropriate functional architectures","PeriodicalId":146774,"journal":{"name":"2019 Actual Problems of Systems and Software Engineering (APSSE)","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125296262","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}