Refinement of Timing Constraints for Concurrent Tasks with Scheduling

DOI10.1007/978-3-319-91271-4_15MaRDI QIDQ5881451zbMATH OpenOpenAlexFDO

Authors

Publication date 10 March 2023

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

Full work available at URL https://doi.org/10.1007/978-3-319-91271-4_15

zbMATH Keywords

concurrencyEvent-Brefinementschedulingtiming

Mathematics Subject Classification ID

Distributed systems (68M14) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Derivation of concurrent programs by stepwise scheduling of Event-B models
• Composing real-time concurrent objects refinement, compatibility and schedulability
• Action refinement and equivalence notions for timed event structures
• Foundations for using linear temporal logic in Event-B refinement
• scientific article; zbMATH DE number 1751888

Cites work

• A theory of timed automata
• Automatic Abstraction Refinement for Timed Automata
• Bounded fairness
• Finitary fairness in action systems
• scientific article; zbMATH DE number 5173925 (Why is no real title available?)
• Modeling in Event B. System and software engineering.
• Uppaal in a nutshell

Cited in

(6)

• On the Scalability of Constraint Solving for Static/Off-Line Real-Time Scheduling
• scientific article; zbMATH DE number 9346 (Why is no real title available?)
• Interval-Based Timing Constraints Their Satisfactions and Applications
• Experimental and Efficient Algorithms
• Optimizing concurrency under Scheduling by Edge Reversal
• Derivation of concurrent programs by stepwise scheduling of Event-B models

Describes a project that uses

Uses Software

• Uppaal
• Rodin

This page was built for publication: Refinement of Timing Constraints for Concurrent Tasks with Scheduling

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