Reference keyword: timed computation model

Fischmeister, S. ., & Menkhaus, G. . (2004). Task Sequencing for Optimizing the Computation Cycle in a Timed Computation Model. Proceedings of the International Digital Avionics Systems Conference (DASC). Presented at the. Salt Lake City, UT, USA: IEEE Press. https://doi.org/10.1109/DASC.2004.1390783 (Original work published 2024)

Menkhaus, G. ., Holzmann, M. ., & Fischmeister, S. . (2004). Time-triggered Communication for Distributed Control Applications in a Timed Computation Model. 23rd International Digital Avionics Systems Conference (DASC). Presented at the. Salt Lake City, USA: IEEE Press. https://doi.org/10.1109/DASC.2004.1390786 (Original work published 2024)