A Predictable Servant-Based Execution Model for Safety-Critical Systems

摘要

Real-time systems are commonly found in safety-critical fields requiring the system to be predictable to reduce validation overheads. However, the contradiction between the need for high throughput and predictability in these systems has become sharpening from the view of concurrent applications. In this paper, we propose a Predictable Servant-based Execution Model (PSEM) to regulate both communication and computation of tasks to be predictable in an efficient way. In PSEM, by extending the Logical Execution Time (LET) model with the Servant concept, periodic responsiveness is improved without the erosion on the foundation of predictability. Evaluation results on the implementation of the runtime system demonstrate that PSEM achieves a speedup of 7.2X compared to existing runtime, and can provide time-aware applications with more precise timing service.