Trudy Instituta sistemnogo programmirovaniia RAN最新文献

Blockchain and Satisfiability Modulo Theories for Tender Systems 招标系统的区块链和可满足模理论

Trudy Instituta sistemnogo programmirovaniia RAN Pub Date : 2023-01-01 DOI: 10.15514/ispras-2023-35(1)-8

René Dávila, Rocío Aldeco-Pérez, E. Bárcenas

引用次数: 0

REDoS Detection in “Domino” Regular Expressions by Ambiguity Analysis 通过歧义分析“Domino”正则表达式中的REDoS检测

Trudy Instituta sistemnogo programmirovaniia RAN Pub Date : 2023-01-01 DOI: 10.15514/ispras-2023-35(3)-8

Antonina Nikolaevna Nepeivoda, Yulia Andreevna Belikova, Kirill Konstantinovich Shevchenko, Mikhail Romanovich Teriukha, Danila Pavlovich Knyazihin, Aleksandr Dmitrievich Delman, Anna Sergeevna Terentyeva

引用次数: 0

Predicate Abstraction Refinement in Thread-Modular Analysis 线程模块化分析中的谓词抽象细化

Trudy Instituta sistemnogo programmirovaniia RAN Pub Date : 2023-01-01 DOI: 10.15514/ispras-2023-35(3)-14

Veronika Pavlovna Rudenchik, Pavel Sergeevich Andrianov

{"title":"Predicate Abstraction Refinement in Thread-Modular Analysis","authors":"Veronika Pavlovna Rudenchik, Pavel Sergeevich Andrianov","doi":"10.15514/ispras-2023-35(3)-14","DOIUrl":"https://doi.org/10.15514/ispras-2023-35(3)-14","url":null,"abstract":"Thread-modular approach over predicate abstraction is an efficient technique for software verification of complicated real-world source code. One of the main problems in the technique is a predicate abstraction refinement in a multithreaded case. A default predicate refiner considers only a path related to one thread, and does not refine the thread-modular environment. For instance, if we have applied an effect from the second thread to the current one, then the path in the second thread to the applied effect is not refined. Our goal was to develop a more precise refinement procedure, reusing a default predicate refiner to refine both: a path in a current thread and a path to an effect in the environment. The idea is to construct a joined boolean formula from these two paths. Since some variables may be common, a key challenge is to correctly rename and equate variables in two parts of the formula to accurately represent the way threads interact. It is essential to get reliable predicates that can potentially prove spuriousness of the path. The proposed approach is implemented on top of CPAchecker framework. It is evaluated on standard SV-COMP benchmark set, and the results show some benefit. Evaluation on the real-world software does not demonstrate significant accuracy increase, as the described flaw of predicate refinement is not the only reason of false positive results. While the proposed approach can successfully prove some specific paths to be spurious, it is not enough to fully prove correctness of some programs. However, the approach has further potential for improvements.","PeriodicalId":33459,"journal":{"name":"Trudy Instituta sistemnogo programmirovaniia RAN","volume":"57 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135262544","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}

引用次数: 0

Framework for Machine Instruction Usage Analysis 机器指令使用分析框架

Trudy Instituta sistemnogo programmirovaniia RAN Pub Date : 2023-01-01 DOI: 10.15514/ispras-2023-35(3)-12

Danila Evgenevich Pechenev, Iakov Aleksandrovich Kirilenko, Olga Andreevna Afonina

引用次数: 0

Development and implementation of the digital steganography method based on the embedding of pseudoinformation 基于伪信息嵌入的数字隐写方法的开发与实现

Trudy Instituta sistemnogo programmirovaniia RAN Pub Date : 2023-01-01 DOI: 10.15514/ispras-2023-35(3)-4

Irina Gennadievna Gvozdeva, Artem Sergeyevich Gromov, Olga Mikhailovna Gvozdeva

引用次数: 0

Data farm: Information system for collecting, storing and processing unstructured data from heterogeneous sources 数据场:用于收集、存储和处理来自异构源的非结构化数据的信息系统

Trudy Instituta sistemnogo programmirovaniia RAN Pub Date : 2023-01-01 DOI: 10.15514/ispras-2023-35(2)-5

Sergey Pavlovich Levashkin, Konstantin Nikolaevich Ivanov, Sergey Vladimirovich Kushukov

{"title":"Data farm: Information system for collecting, storing and processing unstructured data from heterogeneous sources","authors":"Sergey Pavlovich Levashkin, Konstantin Nikolaevich Ivanov, Sergey Vladimirovich Kushukov","doi":"10.15514/ispras-2023-35(2)-5","DOIUrl":"https://doi.org/10.15514/ispras-2023-35(2)-5","url":null,"abstract":"The original information system «data farm» is presented. Today, the successful application of artificial intelligence algorithms, primarily deep learning based on artificial neural networks, almost completely depends on the availability of data. And the larger the amount of these data (big data), the better are the results of the algorithms execution. There are well-known examples of such algorithms from Facebook, Google, Microsoft, Yandex, etc. The data must contain both the training sample and the test one. Moreover, the data must be of good quality and have a certain structure, ideally, be labeled in order for the learning algorithms to work adequately. This is a serious problem requiring huge computational and human resources. This paper is dedicated to solve this problem. Today data farm is a rather complex information system built on a modular basis, similar to the well-known Lego constructor. Separate modules of the system are various modern algorithms, technologies and entire libraries of artificial intelligence, and all together they are designed to automate the process of obtaining and structuring high-quality big data in various subject domains. The system has been tested on data of COVID-19 in regions of Russia and countries around the world. In addition, a user-friendly interface for visualizing collected and processed on the farm data was developed. This makes it possible to conduct visual numerical experiments of computer simulation and compare them with real data, turning the farm into an intelligent decision support information system.","PeriodicalId":33459,"journal":{"name":"Trudy Instituta sistemnogo programmirovaniia RAN","volume":"77 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75895406","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}

引用次数: 0

An object-oriented approach to scenario support in optics CAD systems 光学CAD系统中场景支持的面向对象方法

Trudy Instituta sistemnogo programmirovaniia RAN Pub Date : 2023-01-01 DOI: 10.15514/ispras-2023-35(2)-12

M. Kopylov, Nikolai Borisovich Deryabin, E. Denisov

引用次数: 0

Microservice Deployment Microservice部署

Trudy Instituta sistemnogo programmirovaniia RAN Pub Date : 2023-01-01 DOI: 10.15514/ispras-2023-35(1)-4

V. M. Niño-Martínez, J. O. Ocharán-Hernández, X. Limón, J. C. Pérez-Arriaga

{"title":"Microservice Deployment","authors":"V. M. Niño-Martínez, J. O. Ocharán-Hernández, X. Limón, J. C. Pérez-Arriaga","doi":"10.15514/ispras-2023-35(1)-4","DOIUrl":"https://doi.org/10.15514/ispras-2023-35(1)-4","url":null,"abstract":"Modern software development requires agile methods to deploy and scale increasingly demanded distributed systems. Practitioners have adopted the microservices architecture to cope with the challenges posed by modern software demands. However, the adoption and deployment of this architecture also creates technical and organizational challenges, potentially slowing down the development and operation teams, which require more time and effort to implement a quality deployment process that allows them to constantly release new features to production. The adoption of a DevOps culture, along with its practices and tools, alleviates some of these new challenges. In this paper we propose a guide for the deployment of systems with a microservices architecture, considering the practices of a DevOps culture, providing practitioners with a base path to start implementing the necessary platform for this architecture. We conducted this work following the Design Science Research Methodology for Information Systems (DSRM). In this way, we identified the problem, and also defined the solution objectives through the execution of a Systematic Literature Mapping and a Gray Literature Review, having as a result the proposed guide. This work can be summarized as follows: (I) Identification of practices and technologies that support the deployment of microservices. (II) Identification of recommendations, challenges, and best practices for the deployment process. (III) Modeling of the microservices deployment process using SPEM. (IV) Integration of the knowledge in a guide to deploy microservices by adopting DevOps practices.","PeriodicalId":33459,"journal":{"name":"Trudy Instituta sistemnogo programmirovaniia RAN","volume":"29 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88349936","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}

引用次数: 0

Design of an adaptable dashboard for smart cities 智能城市的适应性仪表板设计

Trudy Instituta sistemnogo programmirovaniia RAN Pub Date : 2023-01-01 DOI: 10.15514/ispras-2023-35(1)-1

Victor Contreras-Figueroa, L. G. Montané-Jiménez, María Cepero-García, E. Benítez-Guerrero, Carmen Mezura-Godoy

引用次数: 0

Challenges in Conversational Agents to support Informal Caregivers of People with Dementia 对话代理支持痴呆症患者非正式照顾者的挑战

Trudy Instituta sistemnogo programmirovaniia RAN Pub Date : 2023-01-01 DOI: 10.15514/ispras-2023-35(1)-2

S. Jiménez, J. Favela, Ángeles Quezada, R. Ramachandran, R. Juárez-Ramírez

{"title":"Challenges in Conversational Agents to support Informal Caregivers of People with Dementia","authors":"S. Jiménez, J. Favela, Ángeles Quezada, R. Ramachandran, R. Juárez-Ramírez","doi":"10.15514/ispras-2023-35(1)-2","DOIUrl":"https://doi.org/10.15514/ispras-2023-35(1)-2","url":null,"abstract":"People who have dementia (PwD) experience deteriorating executive functions, in particular their working memory, and therefore find it hard to complete multistep tasks or activities of daily living. There is no doubt that during the pandemic, PwD and their caregivers were particularly vulnerable, often isolated which affected their mental and physical health. Their ability to live independently was hampered, fomenting depression in the PwD and burnout on informal caregivers. Information technology can support dementia care improving the quality of life of PwD and easing the burden on caregivers. There is an increasing demand to support informal caregivers and improve their well-being by making dementia challenges less severe. This study uses qualitative techniques to design a model with technological strategies based on semi-structured interviews applied to seven informal caregivers from two different countries. Based on these interviews we developed design insights for implementing solutions to help informal caregivers take care of their PwD at home using conversational agents. We hope that the findings presented in this study will help researchers, and developers design solutions that can support PwD and informal caregivers.","PeriodicalId":33459,"journal":{"name":"Trudy Instituta sistemnogo programmirovaniia RAN","volume":"14 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91023076","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}

引用次数: 0