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

DOI10.1007/S00500-016-2178-YMaRDI QIDQ1701817zbMATH OpenOpenAlexFDO

Authors 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) Reliability, testing and fault tolerance of networks and computer systems (68M15) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Recommendations

• Efficient Verification and Optimization of Real-Time Logic-Specified Systems
• Real-time system design based on logic OR constrained optimization
• Optimal composition of real-time systems
• Optimization of the structure of a real-time multiprocessor system
• Reliability and performance optimization of pipelined real-time systems
• Real-time verification techniques for untimed systems
• Multilayer Bus Optimization for Real-Time Embedded Systems
• scientific article; zbMATH DE number 1693545
• scientific article; zbMATH DE number 1832228

Cites work

• A Graph-Theoretic Approach for Timing Analysis and its Implementation
• A Stackelberg game-theoretic approach to optimal real-time pricing for the smart grid
• A dynamic priority assignment technique for streams with (m, k)-firm deadlines
• A weakly hard real-time schedule algorithm based on cutting down
• Constraint specification of weakly hard real-time systems
• Efficient Verification and Optimization of Real-Time Logic-Specified Systems
• Triple Speed: Energy-Aware Real-Time Task Synchronization in Homogeneous Multi-Core Systems
• Weakly hard real-time systems

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

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