Metric-based method of software requirements correctness improvement

The work highlights the most important principles of software reliability management (SRM). The SRM concept construes a basis for developing a method of requirements correctness improvement. The method assumes that complicated requirements contain more actual and potential design faults/defects. The method applies a newer metric to evaluate the requirements complexity and double sorting technique evaluating the priority and complexity of a particular requirement. The method enables to improve requirements correctness due to identification of a higher number of defects with restricted resources. Practical application of the proposed method in the course of demands review assured a sensible technical and economic effect

Благовіщення та образ Богородиці в церковній традиції і в поемі Тараса Шевченка “Марія”

This article is devoted to one of the most subtle works by T.Shevchenko, that is, to his poem “Mariya” (“Mary”). The author of the paper explores the mystical and social background of the work, concentrating on the interrelation between the evangelic fi gures and the characters in T.Shevchenko’s poem. She thus argues that the poet uses the analogy as a means of transition from the psychological to the spiritual notion of consciousness. This, in its turn, casts light upon the metaphysics of thinking, both of Shevchenko himself and of the main characters of his text.Статтю присвячено одному з найбільш проблематичних для наукового аналізу творів Т. Шевченка – поемі “Марія”. Мотивація твору в розумінні авторки статті розкривається у двох основних контекстах: містичному й соціальному. Аналізується адекватність постатей євангельського тексту та образів поеми Т. Шевченка. Поет використовує аналогію як засіб для показу переходу від свідомості психологічного до свідомості духовного. Виявляється метафізика поетичної думки самого Шевченка та метафізика мислення головних героїв твору

Старіння програмного забезпечення в контексті його надійності: огляд проблематики

This paper presents the review and analysis of literary sources devoted to the study of the software aging phenomenon. The aging process is characterized as performance deterioration and increase of failure rate that has a negative impact on the software reliability. The study has found that software errors and their accumulation during program execution were the cause of the aging software. The basic concepts and characteristics related to the phenomenon of aging, such as effects, factors and aging metrics, time to resource exhaustion, time to aging-related failure and workload are determined. One of the software aging characteristics determines that it can be removed or delayed by external intervention. The technique of prevention and delay of aging is called software rejuvenation. The paper considered a common set of factors that is characteristic of all systems and the phenomenon of aging in general. The factors can be classified into two following types: external, such as software errors and code metrics, and external, such as environment, human and functional. The important task is to identify specific factors for specific systems, in particular, mobile platforms. The study reviewed and compared the main methods and approaches to study and modeling of software aging process. Aging phenomenon is studied at the theoretical level using analytical models and at the empirical level using data analysis. The paper states that the hybrid approaches could be used in researches because they incorporate the benefits of approaches based on analytical models and on measurements. Aging characteristics indicate that mobile operating systems and applications exposed to aging and there is a need to study this phenomenon in order to ensure the reliability of modern software. Mobile systems are vulnerable to manifestations of aging effects, since they work for a long time without rebooting and have a limited amount of resources, such as memory. To sum up, it is necessary to continue research of the mobile software aging, in particular to identify the aging factors of mobile applications and explore the application of methods and models for mobile systems.Проведено огляд та аналіз літературних джерел, в яких досліджено явища старіння програмного забезпечення. Процес старіння охарактеризовано як погіршення продуктивності і збільшення кількості відмов, що має негативний вплив на показники надійності програмного забезпечення. Встановлено, що помилки програмного забезпечення та їх накопичення протягом виконання програми є причиною виникнення старіння програмного забезпечення. Визначено основні поняття та характеристики, що стосуються явища старіння, зокрема ефекти, чинники та метрики старіння, час до виснаження ресурсів, час до відмови старіння та робоче навантаження. Розглянуто класифікацію чинників старіння програмного забезпечення. Встановлено, що чинники можуть бути загальні для всіх систем і спеціальні для конкретних систем, зокрема мобільних. Здійснено порівняльний аналіз основних методів та підходів до моделювання процесу старіння програмного забезпечення. З'ясовано, що розроблення гібридних підходів та моделей, які включають переваги аналітичних моделей та моделей на основі вимірювань, є перспективним напрямом у вивченні проблеми старіння ПЗ. Показано, що мобільні операційні системи та додатки є особливо чутливими до ефектів старіння, оскільки вони працюють тривалий час без перезавантаження та часто мають обмежені ресурси, такі як пам'ять. Обґрунтовано актуальність урахування впливу цього явища для забезпечення надійності сучасних мобільних і вбудованих систем

Influence of Annealing on the Optical and Scintillation Properties of CaWO4_4 Single Crystals

We investigate the influence of oxygen annealing on the room temperature optical and scintillation properties of CaWO$_4$ single crystals that are being produced for direct Dark Matter search experiments. The applied annealing procedure reduces the absorption coefficient at the peak position of the scintillation spectrum ($\sim430$ nm) by a factor of $\sim6$ and leads to an even larger reduction of the scattering coefficient. Furthermore, the annealing has no significant influence on the \emph{intrinsic} light yield. An additional absorption occurring at $\sim400$ nm suggests the formation of O$^-$ hole centers. Light-yield measurements at room temperature where one crystal surface was mechanically roughened showed an increase of the \emph{measured} light yield by $\sim40$ and an improvement of the energy resolution at 59.5 keV by $\sim12$ for the annealed crystal. We ascribe this result to the reduction of the absorption coefficient while the surface roughening is needed to compensate for the also observed reduction of the scattering coefficient after annealing

Real-Time Monitoring of Road Networks for Pavement Damage Detection Based on Preprocessing and Neural Networks

Data Availability Statement: Datasets are available by link https://www.kaggle.com/datasets/dataclusterlabs/potholes-or-cracks-on-road-image-dataset, accessed on 10 October 2022. Mysak M., Yakovyna V., Shakhovska N. (2023). Pothiles and cracks on road video and image detection system (Version 1.1.1) [Computer software]. Software Heritage, https://github.com/MysakMaksym/pothole-detection.git, accessed on 14 June 2024.This paper presents a novel multi-initialization model for recognizing road surface damage, e.g. potholes and cracks, on video using convolutional neural networks (CNNs) in real-time for fast damage recognition. The model is trained by the latest Road Damage Detection dataset, which includes four types of road damage. In addition, the CNN model is updated using pseudo-labeled images from semi-learned methods to improve the performance of the pavement damage detection technique. This study describes the use of the YOLO architecture and optimizes it according to the selected parameters, demonstrating high efficiency and accuracy. The results obtained can enhance the safety and efficiency of road pavement and, hence, its traffic quality and contribute to decision-making for the maintenance and restoration of road infrastructure.National Research Foundation of Ukraine, project #2021.01/0103; British Academy Fellowship RaR\100727 Horizon Europe project ZEBAI: Innovative methodologies for the design of Zero-Emission and cost-effective Buildings enhanced by Artificial Intelligence (Grant Agreement ID: 101138678)

Програмний модуль розв'язування систем диференціальних рівнянь Колмогорова-Чепмена для автоматизації надійнісного проектування

The extremely important component of the quality of complex technical systems is their reliability, that is, the specific feature of the system to perform specified functions, while maintaining the value of operational characteristics within the specified limits, conforming to the conditions of use and the specified modes of maintenance, storage and transportation. The current state of development of the methods for analysing the reliability of technical systems is characterized by a combination of analytical research methods of reliability with the computing capabilities of modern computer facilities. Technical systems are characterized by a large number of elements (modules) and, consequently, large dimensions of space of the states that can reach tens and hundreds of thousands of states, which make it virtually impossible to analyze them without the use of computation power of computer facilities. Therefore, the relevant problem is the automation of complex technical systems modeling which, when the appropriate level of model formalization is provided, enables model development and reliability analysis using modern computers. This publication describes the software module for the automated solution of the systems of Chapman–Kolmogorov differential equations, which are an integral part of the software complex for automation of reliable design of complex technical systems. The developed module allows solving systems of Chapman–Kolmogorov differential equations without the involvement of specialized software products (Matlab, Mathcad), for the analysis of structural schemes of reliability and automated determination of reliability indexes of complex technical systems. The presented module, by integrating into a software automation complex of reliable design, enables more rapid processing of large volumes of input data and visualizing the obtained results of calculations.Надзвичайно важливою компонентою якості складних технічних систем є їхня надійність, тобто властивість системи виконувати задані функції, зберігаючи в часі значення експлуатаційних показників у заданих межах, що відповідають умовам використання та заданим режимам технічного обслуговування, збереження і транспортування. Сучасний стан розвитку методів аналізу надійності технічних систем характеризується поєднанням аналітичних методів дослідження надійності з обчислювальними можливостями сучасних комп'ютерних засобів. Тому актуальною проблемою є автоматизація моделювання складних технічних систем яка, за умови відповідного рівня формалізації моделей, уможливлює їх побудову та проведення аналізу надійності з використанням сучасних комп'ютерних засобів. В роботі описано програмний модуль автоматизованого розв'язання систем диференціальних рівнянь Колмогорова-Чепмена, який є складовою програмного комплексу автоматизації надійнісного проектування складних технічних систем. Розроблений модуль дає змогу розв'язувати системи диференціальних рівнянь Колмогорова-Чепмена без залучення спеціалізованих програмних продуктів (Matlab, Mathcad) для аналізу структурних схем надійності та автоматизованого визначення надійнісних показників складних технічних систем. Представлений модуль, за рахунок інтеграції в програмний комплекс автоматизації надійнісного проектування, дає змогу швидше опрацьовувати вхідні дані великих об'ємів та візуалізувати отримані результати обчислень

Передмова

Передмова до матеріалів семінарів.Preface to workshop proceedings

Передмова

It is a brief description of the Volume II of the proceedings of ICTERI 2021.Дається короткий опис тому ІІ збірника матеріалів конференції ICTERI 2021