Analyzing the runtime of a real-time application is particularly difficult with interferences from concurrently running processes. Low-overhead tracing is usually the most reliable tool to understand and check the behavior of such applications. In previous work, the automatic detection of common real-time problems was proposed, using models and constraints over the behavior of the application and operating system. Such a model automates system verification, alleviating the need for a thorough and deep understanding of all the system internals, and reduces drastically the time needed to find root causes for problems. Nevertheless, coming up with a model is not trivial. In this paper, we present a way to automate building a model of the process with constraints, based on user-space and kernel execution traces. Recurrent event sequences are used to build an approximate model of the behavior, and typical timings are used for setting up tentative constraints. The resulting model can then be refined as needed through user intervention. Our algorithms and their scalability have been tested and the experimental results show that our approach allows to build a model to automatically detect common problems in applications, with a relatively modest analysis cost.

中文翻译：

---

使用执行跟踪为常见的多核和实时应用程序自动生成基于模型的约束

由于并发运行进程的干扰，分析实时应用程序的运行时间特别困难。低开销跟踪通常是了解和检查此类应用程序行为的最可靠工具。在以前的工作中，提出了对常见实时问题的自动检测，使用模型和对应用程序和操作系统行为的约束。这样的模型使系统验证自动化，减轻了对所有系统内部结构的彻底和深入了解的需要，并大大减少了查找问题根本原因所需的时间。然而，提出一个模型并非易事。在本文中，我们提出了一种基于用户空间和内核执行跟踪自动构建具有约束的进程模型的方法。循环事件序列用于构建行为的近似模型，典型时间用于设置暂定约束。然后可以通过用户干预根据需要改进生成的模型。我们的算法及其可扩展性已经过测试，实验结果表明，我们的方法允许构建一个模型来自动检测应用程序中的常见问题，分析成本相对适中。