2023 № 1 Системний аналіз, управління та інформаційні технології
Постійне посилання колекціїhttps://repository.kpi.kharkov.ua/handle/KhPI-Press/67240
Переглянути
2 результатів
Результати пошуку
Документ Specification formalization of state charts for complex system management(Національний технічний університет "Харківський політехнічний інститут", 2023) Nikitin, Dmytro MykhailovychThis article presents a formalization approach for the requirements of object-oriented programs with state machines, using a spacecraft control system as a case study. It proposes a state pattern implementation, where each state is represented as a class with clearly defined responsibilities, and the transitions between states are controlled by the state objects themselves. Additionally, the application of model checking, theorem proving, and code generation techniques are discussed. The effectiveness of the proposed approach in ensuring compliance with the specified requirements is demonstrated, while also identifying potential drawbacks and limitations of the approach. The implementation is validated using a range of formal verification techniques, including model checking and theorem proving. The article also discusses how the approach can be extended and applied to other complex systems. Overall, the valuable insights into the formalization of requirements for object-oriented programs with state machines are provided, offering a practical and effective approach for verifying the correctness and completeness of such implementations. The results of this work have important implications for the development of safety-critical systems and can potentially improve the quality and reliability of software systems in various domains. By using mathematical models and rigorous formal methods, it is possible to detect and eliminate errors early in the development process, leading to higher confidence in the correctness of the final product. Future research in this area could explore the use of more advanced techniques, such as modeldriven development and automatic code synthesis, to further streamline the software development process. Additionally, the development of more efficient and user-friendly tools could make these techniques more accessible to a wider range of developers and organizations. Altogether, the combination of formal methods and software engineering has the potential to revolutionize the way software systems are designed, developed, and verified, leading to safer and more reliable software for critical applications.Документ Using OBD-2 technology for vehicle diagnostic and using it in the information system(Національний технічний університет "Харківський політехнічний інститут", 2023) Rybitskyi, Oleksandr Maksymovych; Golian, Vira Volodymyrivna; Golian, Nataliia Viktorivna; Dudar, Zoia Volodymyrivna; Kalynychenko, Olga Viktorivna; Nikitin, Dmytro MykhailovychThis article considers the research of OBD-2 technology for interaction with on-board vehicle systems, the creation of a unified system that can work with different makes and models of cars. The history of OBD-2 technology, its development, existing standards and their implementation in modern cars is described. Basic diagnostic functions are described, with which you can get information about the car, as well as perform its settings and send various commands to it. In addition, the hardware part of the scanner, its technical features, nuances of interaction with it and the purpose of each of its pins are considered. Also reviewed couple models of scanners that can be used to develop this system. Conclusions are drawn on the practicability of their use, taking into account their capabilities. Existing software analogues, their main functions, advantages and disadvantages are considered. The general concept of interaction with the car via OBD-2, the interaction algorithm and step-by -step analysis of the interaction between the scanner and the car are also considered. The software part of the interaction between the car and the scanner, special codes used to send requests and responses, their further analysis and interpretation in a human-friendly form are considered. The possibilities for the unification of these codes for different car manufacturers and the common code base to create a universal system that will be suitable for different cars from different car manufacturers are highlighted. A model of the software system is proposed, which can embody a large set of useful functions for any motorist and will be compatible with a large number of modern cars equipped with universal diagnostic tools, while using an affordable scanner model without the use of expensive professional equipment.