Implementation and analysis of real-time communication protocol compositions

DOI10.1007/s11241-007-9026-1zbMath1127.68005OpenAlexW2065108906WikidataQ62701265 ScholiaQ62701265MaRDI QIDQ995821

J. Martínez

Publication date: 10 September 2007

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

Full work available at URL: https://doi.org/10.1007/s11241-007-9026-1

zbMATH Keywords

Real-timeSchedulability analysisPriority assignmentAllocationProtocol composition and execution framework

Mathematics Subject Classification ID

Network protocols (68M12)

Uses Software

• Kronos
• Uppaal

Cites Work

• Kronos: A verification tool for real-time systems
• Introduction to Reliable Distributed Programming
• Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
• Unnamed Item
• Unnamed Item

This page was built for publication: Implementation and analysis of real-time communication protocol compositions