10 likes | 122 Vues
This paper by John Rushby from the Computer Science Laboratory at SRI International explores time-triggered implementations in systems design. It delves into the importance of timing in system reliability and performance, outlining methodologies and frameworks that can enhance the robustness of designs in critical applications. Through detailed analysis and case studies, Rushby elucidates how time-triggered systems can be effectively modeled and implemented, offering valuable insights for engineers and researchers in the field of computer science.
E N D
From models To time-triggered implementations Through designs John Rushby, Computer Science Laboratory, SRI International