Strictly periodic scheduling in IMA-based architectures

DOI10.1007/s11241-012-9148-yzbMath1243.68126MaRDI QIDQ438205

Olivier Brun, Ahmad Al Sheikh, Pierre-Emmanuel Hladik, Balakrishna J. Prabhu

Publication date: 30 July 2012

Published in: Real-Time Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11241-012-9148-y

zbMATH Keywords

scheduling; Avionic tasks; strict periodicity

Mathematics Subject Classification ID

90C11: Mixed integer programming

90C05: Linear programming

68M20: Performance evaluation, queueing, and scheduling in the context of computer systems

Uses Software

• CPLEX