Extending Rely-Guarantee thinking to handle Real-Time Scheduling

Jones, Cliff and Burns, Alan orcid.org/0000-0001-5621-8816 (2023) Extending Rely-Guarantee thinking to handle Real-Time Scheduling. Formal Methods in System Design. ISSN 0925-9856

Abstract

Metadata

Item Type: Article
Authors/Creators:
Copyright, Publisher and Additional Information:

© The Author(s) 2023

Keywords: Real-Time,schedulability analysis
Dates:
  • Published: 30 November 2023
  • Accepted: 13 November 2023
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 29 Nov 2023 10:30
Last Modified: 06 Nov 2024 01:53
Published Version: https://doi.org/10.1007/s10703-023-00441-y
Status: Published
Refereed: Yes
Identification Number: 10.1007/s10703-023-00441-y
Open Archives Initiative ID (OAI ID):

Download

Filename: s10703-023-00441-y.pdf

Description: Extending rely-guarantee thinking to handle real-time scheduling

Licence: CC-BY 2.5

Export

Statistics