Contracts for schedulability analysis

DOI10.1007/978-3-319-22975-1_18MaRDI QIDQ2945603zbMATH OpenOpenAlexFDO

Authors Philipp Reinkemeier, Werner Damm, Ingo Stierand, Albert Benveniste

Publication date 14 September 2015

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://hal.inria.fr/hal-01182407/file/FORMATS_2015_camera_ready_14.pdf

Mathematics Subject Classification ID

Deterministic scheduling theory in operations research (90B35)

Recommendations

• Scheduling of embedded controllers under timing contracts
• Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects
• Assume-guarantee contracts for continuous-time systems
• Automata for analysing service contracts
• Probabilistic Contracts for Component-Based Design

Cites work

• Automata Based Interfaces for Control and Scheduling
• Multiple Viewpoint Contract-Based Specification and Design
• Virtual integration of real-time systems based on resource segregation abstraction

Cited in

(5)

• Optimal sequencing of contract algorithms
• A contracting model for flexible distributed scheduling
• Optimal scheduling of contract algorithms with soft deadlines
• Assume-guarantee contracts for continuous-time systems
• Synchronous interfaces and assume/guarantee contracts

This page was built for publication: Contracts for schedulability analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2945603)