Saved in:
| Main Authors: | , , , , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2511.17882 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866914167282204672 |
|---|---|
| author | Cao, Ruide Qi, Zhuyun He, Qinyang Ling, Chenxi Wang, Yi Tang, Guoming |
| author_facet | Cao, Ruide Qi, Zhuyun He, Qinyang Ling, Chenxi Wang, Yi Tang, Guoming |
| contents | For distributed control systems, modern latency-critical applications are increasingly demanding real-time guarantees and robustness. Response-time analysis (RTA) is useful for this purpose, as it helps analyze and guarantee timing bounds. However, conventional RTA methods struggle with the state-space explosion problem, especially in non-preemptive systems with release jitter and execution time variations. In this paper, we introduce SAGkit, a Python toolkit that implements the schedule-abstraction graph (SAG) framework. SAGkit novelly enables exact and sustainable RTA of hybrid-triggered jobs by allowing job absence on the SAG basis. Our experiments demonstrate that SAGkit achieves exactness with acceptable runtime and memory overhead. This lightweight toolkit empowers researchers to analyze complex distributed control systems and is open-access for further development. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2511_17882 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | SAGkit: A Python SAG Toolkit for Response Time Analysis of Hybrid-Triggered Jobs Cao, Ruide Qi, Zhuyun He, Qinyang Ling, Chenxi Wang, Yi Tang, Guoming Distributed, Parallel, and Cluster Computing For distributed control systems, modern latency-critical applications are increasingly demanding real-time guarantees and robustness. Response-time analysis (RTA) is useful for this purpose, as it helps analyze and guarantee timing bounds. However, conventional RTA methods struggle with the state-space explosion problem, especially in non-preemptive systems with release jitter and execution time variations. In this paper, we introduce SAGkit, a Python toolkit that implements the schedule-abstraction graph (SAG) framework. SAGkit novelly enables exact and sustainable RTA of hybrid-triggered jobs by allowing job absence on the SAG basis. Our experiments demonstrate that SAGkit achieves exactness with acceptable runtime and memory overhead. This lightweight toolkit empowers researchers to analyze complex distributed control systems and is open-access for further development. |
| title | SAGkit: A Python SAG Toolkit for Response Time Analysis of Hybrid-Triggered Jobs |
| topic | Distributed, Parallel, and Cluster Computing |
| url | https://arxiv.org/abs/2511.17882 |