Odarushchenko, O. M.Odarushchenko, O. B.Одарущенко, Олег МиколайовичОдарущенко, Олена Борисівна2026-08-032026-08-032025Odarushchenko O., Striuk O., Shamanskiy V., Hroza P., Odarushchenko E. Automating requirements traceability in project documentation using TraceTrend tool: model, design and application/ Radioelectronic and Computer Systems, 2025, No. 4 (116), pp. 236–244. DOI: https://doi.org/10.32620/reks.2025.4.16.1814-4225UDC 004.42:004.415.2:004.052.42https://dspace.pdau.edu.ua/handle/123456789/22183The object of the study is a formalized model of requirements traceability in project documentation for hardware-software systems. The subject matter of the research encompasses the application of mathematical modeling and tool-based approaches to automate the traceability process, focusing on the design and functionality of the TraceTrend software tool. The primary goal of the study is to improve the quality and integrity of requirements management by implementing traceability mechanisms that ensure logical consistency, hierarchical correctness, and complete test coverage across all project documentation stages. The research tasks include: identifying challenges related to manual requirements tracing in safety-critical domains; constructing a formal mathemat-ical model based on set theory, binary relations, and directed graphs; defining binary matrices for requirement inheritance and test coverage; developing automated analysis techniques for traceability conditions; integrating the model into the TraceTrend tool; and demonstrating its applicability through a real-world case study. The study employed the following methods: mathematical modeling of binary relations, model-based testing, static analysis of documentation structures, and the use of Boolean matrix operations for verifying coverage and con-sistency. As a result of the research, a formal model of requirements traceability was created and implemented in the TraceTrend tool.entraceability analysismathematical modelingformal verificationTraceTrend tooltest coveragedocumentation consistencysafety standardsautomated analysissystem engineeringArticle