References & Citations
Computer Science > Software Engineering
Title: A Rely-Guarantee Specification of Mixed-Criticality Scheduling
(Submitted on 2 Dec 2020 (v1), last revised 21 Aug 2021 (this version, v2))
Abstract: The application considered is mixed-criticality scheduling. The core formal approaches used are Rely-Guarantee conditions and the Timeband framework; these are applied to give a layered description of job scheduling which includes resilience to jobs overrunning their expected execution time. A novel formal modelling idea is proposed to handle the relationship between actual time and its approximation in hardware clocks.
Submission history
From: Cliff Jones [view email][v1] Wed, 2 Dec 2020 19:55:17 GMT (32kb)
[v2] Sat, 21 Aug 2021 13:25:28 GMT (33kb)
Link back to: arXiv, form interface, contact.