Looking for motivated students (undergrads and grads) interested in working on embedded software and systems research. Mail Sebastian Fischmeister for further information.
Title | Network-Code Machine: Programmable Real-Time Communication Schedules |
Publication Type | Conference Paper |
Year of Publication | 2006 |
Authors | Fischmeister, S., O. Sokolsky, and I. Lee |
Conference Name | Proc. of the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) |
Pagination | 311–324 |
Date Published | April |
Conference Location | San Jose, USA |
ISBN Number | 0769525164 |
Keywords | NCM, real-time, state-based scheduling |
Abstract | Distributed hard real-time systems require guaranteed communication. One common approach is to restrict network access by enforcing a time-division multiple access (TDMA) schedule.The typical data representation of offline-generated TDMA schedules is table-like structures. This representation, however, does not permit applications with dynamic communication demands, because the table-like structure prevents on-the-fly changes during execution. A common approach for applications with dynamic communication behavior is dynamic TDMA schedules. However, such schedules are hard to verify, because they are usually implemented in a programming language, which does not support verification. Network code is a behavioral model for specifying real-time communication schedules. It allows modeling arbitrary time-triggered communication schedules with on-the-fly choices, and it is also apt for formal verification. In this work, we present network code and show how we can use a model checker to verify safety properties such as collision-free communication, schedulability, and guaranteed message reception. We also discuss its implementation in RTLinux and provide performance measurements. |
URL | http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=1613346 |
DOI | 10.1109/RTAS.2006.31 |
Refereed Designation | Refereed |