@inproceedings{146,
  keywords = {distributed LET, modecs, real-time control systems, system architecture, time-triggered communication, timed computation model},
  author = {Guido Menkhaus and Michael Holzmann and Sebastian Fischmeister},
  title = {Time-triggered Communication for Distributed Control Applications in a Timed Computation Model},
  abstract = {<p>Distributed real-time control applications consist of sets of tasks that interact with the physical world through sensors and actuators and are executed on a dispersed set of locations that are interconnected by a communication subsystem. Timeliness and safety requirements of the application demand deterministic execution of tasks and predictive communication. Deterministic and predictable systems can be build, and if upper bounds for processing and communication latencies are known and event arrivals have deterministic distributions. In this paper we describe the timing definition language (TDL) system architecture implementing time-triggered computation and time-triggered communication. The TDL system implements the timed computation model and its architecture consists of two parts: TDL-Exe (for time and value deterministic execution of tasks) and TDL-Com (for predictive communication of values). The paper presents TDL-Exe and describes implementation details of TDL-Com.</p>
},
  year = {2004},
  journal = {23rd International Digital Avionics Systems Conference (DASC)},
  month = {October},
  publisher = {IEEE Press},
  address = {Salt Lake City, USA},
  isbn = {0-7803-8539-X},
  url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1390786},
  doi = {10.1109/DASC.2004.1390786},
}