Tracing tools for «Baget» family RTOS

The paper deals with the problems of developing tracing software for hard real-time systems. Currently, almost every real-time operating system (RV OS) has event tracking software. The goal of this software is to search for «ordinary» software errors (which traditional debuggers cannot handle) and real-time errors. In this case, it is necessary to analyze not only the sequence of events, but also the «memory leak», the dynamics of the processor states and control flows (profiling), the states of semaphores, mutexes, and other synchronization tools, as well as the queue of control flows waiting to release the resources they need. The methodology for designing programs for viewing and analyzing event logs (traces) generated by RTOS-based software systems is regarded. Specifics of visualizing RTOS events and time diagrams of states of objects in the analyzed systems, represented by data sets containing a large number of records are discussed. A formal specification is proposed to the tracing data models, the methods for their visualization and for filter management of trace records and object states. The effectiveness of these models and methods is confirmed by the operating experience of the Tool for Viewing and Analyzing the Event Logs for RTOS for «Baget» family developed with the toolkit GTK+ for creating graphical user interfaces.