System Verification and Runtime Monitoring with Multiple Weakly-Hard Constraints
Abstract
References
Index Terms
- System Verification and Runtime Monitoring with Multiple Weakly-Hard Constraints
Recommendations
Efficient System Verification with Multiple Weakly-Hard Constraints for Runtime Monitoring
Runtime VerificationAbstractA weakly-hard fault model can be captured by an (m, k) constraint, where , meaning that there are at most m bad events (faults) among any k consecutive events. In this paper, we use a weakly-hard fault model to constrain the occurrences of faults ...
Formal verification of weakly-hard systems
HSCC '19: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and ControlWeakly-hard systems are real-time systems that can tolerate occasional deadline misses in a bounded manner. Compared with traditional systems with hard deadline constraints, they provide more scheduling flexibility, and thus expand the design space for ...
Runtime monitoring for safety of intelligent vehicles
DAC '18: Proceedings of the 55th Annual Design Automation ConferenceAdvanced driver-assistance systems (ADAS), autonomous driving, and connectivity have enabled a range of new features, but also made automotive design more complex than ever. Formal verification can be applied to establish functional correctness, but its ...
Comments
Information & Contributors
Information
Published In
Publisher
Association for Computing Machinery
New York, NY, United States
Journal Family
Publication History
Check for updates
Author Tags
Qualifiers
- Research-article
Funding Sources
- Asian Office of Aerospace Research and Development (AOARD)
- Office of Naval Research Global (ONRG)
- Taiwan Ministry of Education (MOE)
- Taiwan National Science and Technology Council (NSTC)
- US National Science Foundation (NSF)
- Office of Naval Research (ONR)
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 235Total Downloads
- Downloads (Last 12 months)130
- Downloads (Last 6 weeks)13
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in