Safety-Aware Flexible Schedule Synthesis for Cyber-Physical Systems Using Weakly-Hard Constraints-Reference-Cited by-同舟云学术

Safety-Aware Flexible Schedule Synthesis for Cyber-Physical Systems Using Weakly-Hard Constraints

Published:2023-01-16 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 28th Asia and South Pacific Design Automation Conference
language:
Short-container-title:

Author:

Xu Shengjie¹,Ghosh Bineet¹,Hobbs Clara¹,Thiagarajan P. S.¹,Chakraborty Samarjit¹

Affiliation:

1. The University of North Carolina (UNC) at Chapel Hill

Funder

NSF (National Science Foundation)

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3566097.3567848

Reference30 articles.

1. P. Axer etal 2014. Building Timing Predictable Embedded Systems. ACM Trans. Embed. Comput. Syst. (2014). P. Axer et al. 2014. Building Timing Predictable Embedded Systems. ACM Trans. Embed. Comput. Syst. (2014).

2. Weakly hard real-time systems

3. W. Chang and S. Chakraborty. 2016. Resource-aware Automotive Control Systems Design: A Cyber-Physical Systems Approach. Found. Trends Electron. Des. Autom. 10 4 (2016). W. Chang and S. Chakraborty. 2016. Resource-aware Automotive Control Systems Design: A Cyber-Physical Systems Approach. Found. Trends Electron. Des. Autom. 10 4 (2016).

4. R. A. Gabel and R. A. Roberts. 1980. Signals and Linear Systems (second ed.). John Wiley & Sons. R. A. Gabel and R. A. Roberts. 1980. Signals and Linear Systems (second ed.). John Wiley & Sons.

5. B. Ghosh etal 2022. Statistical Hypothesis Testing of Controller Implementations Under Timing Uncertainties. In RTCSA. B. Ghosh et al. 2022. Statistical Hypothesis Testing of Controller Implementations Under Timing Uncertainties. In RTCSA.

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Quantitative Safety-Driven Co-Synthesis of Cyber-Physical System Implementations;2024 ACM/IEEE 15th International Conference on Cyber-Physical Systems (ICCPS);2024-05-13

2. Statistical verification of autonomous system controllers under timing uncertainties;Real-Time Systems;2024-01-29

3. SMT-based Control Safety Property Checking in Cyber-Physical Systems under Timing Uncertainties;2024 37th International Conference on VLSI Design and 2024 23rd International Conference on Embedded Systems (VLSID);2024-01-06

4. Certifiable and Efficient Autonomous Cyber-Physical Systems Design;2024 37th International Conference on VLSI Design and 2024 23rd International Conference on Embedded Systems (VLSID);2024-01-06

5. Safety-Aware Implementation of Control Tasks via Scheduling with Period Boosting and Compressing;2023 IEEE 29th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA);2023-08-30