@ARTICLE\{IMM2004-04619,
    author       = "P. Pop and P. Eles and Z. Peng",
    title        = "Schedulability-Driven Communication Synthesis for Time-Triggered Embedded Systems",
    year         = "2004",
    pages        = "297--325",
    journal      = "Real-Time Systems Journal",
    volume       = "",
    editor       = "",
    number       = "24",
    publisher    = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/4619-full.html",
    abstract     = "We present an approach to static priority preemptive process scheduling for the synthesis of hard real-time distributed embedded systems where communication plays an important role. The communication model is based on a time-triggered protocol. We have developed an analysis for the communication delays with four different message scheduling policies over a time-triggered communication channel. Optimization strategies for the synthesis of communication are developed, and the four approaches to message scheduling are compared using extensive experiments."
}