Optimizing path real-time logic for unified real-time system

DOI10.1007/S00500-016-2178-YzbMath1425.68049OpenAlexW2375291968MaRDI QIDQ1701817

Xudong Zhu, Kin Fun Li, Hui-You Chang

Publication date: 27 February 2018

Published in: Soft Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00500-016-2178-y

zbMATH Keywords

optimizing path RTLtiming constraintunified real-time systemweakly hard real-time systems

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Specification and verification (program logics, model checking, etc.) (68Q60) Reliability, testing and fault tolerance of networks and computer systems (68M15) Temporal logic (03B44)

Cites Work

• Unnamed Item
• A Stackelberg game-theoretic approach to optimal real-time pricing for the smart grid
• Triple Speed: Energy-Aware Real-Time Task Synchronization in Homogeneous Multi-Core Systems
• A Weakly Hard Real-Time Schedule Algorithm Based on Cutting Down
• A dynamic priority assignment technique for streams with (m, k)-firm deadlines
• Weakly hard real-time systems
• A Graph-Theoretic Approach for Timing Analysis and its Implementation
• Efficient Verification and Optimization of Real-Time Logic-Specified Systems

This page was built for publication: Optimizing path real-time logic for unified real-time system