Analysis of scheduling behaviour using generic timed automata
From MaRDI portal
Recommendations
- Schedulability analysis of fixed-priority systems using timed automata
- Scheduling with timed automata
- scientific article; zbMATH DE number 2147037
- Decomposition of timed automata for solving scheduling problems
- scientific article; zbMATH DE number 1497853
- Tools and Algorithms for the Construction and Analysis of Systems
- Analyzing Timed Systems Using Tree Automata
- Analyzing timed systems using tree automata
- Automatic synthesis of a subclass of schedulers in timed systems.
- scientific article; zbMATH DE number 2058666
Cited in
(16)- On the dynamic semantics and the timing behavior of Ravenscar kernels
- Schedulability analysis of fixed-priority systems using timed automata
- An analysis method for variable execution time tasks based on histograms
- Automated analysis of real-time scheduling using graph games
- Code instrumentations supporting real-time dynamic scheduling
- Delivering Real-Time Behaviour
- scientific article; zbMATH DE number 4005596 (Why is no real title available?)
- State-based scheduling with tree schedules: analysis and evaluation
- scientific article; zbMATH DE number 1949600 (Why is no real title available?)
- scientific article; zbMATH DE number 2017346 (Why is no real title available?)
- scientific article; zbMATH DE number 1497768 (Why is no real title available?)
- scientific article; zbMATH DE number 1760151 (Why is no real title available?)
- Parametric approach to the specification and analysis of real-time scheduling based on ACSR-VP
- Reachability for updatable timed automata made faster and more effective
- A comparison of schedulability analysis methods using state and digraph models for the schedulability analysis of synchronous FSMs
- Verifying distributed real-time properties of embedded systems via graph transformations and model checking
This page was built for publication: Analysis of scheduling behaviour using generic timed automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2703749)
