Implementing Synchronous Models on Loosely Time Triggered Architectures

by Stavros Tripakis , Alberto Sangiovanni Vincentelli
Venue:IEEE Transactions on Computers
Citations:18 - 6 self

Documents Related by Co-Citation

63 From Simulink to SCADE/Lustre to TTA: a layered approach for distributed embedded applications – P Caspi, A Curic, A Maignan, C Sofronis, S Tripakis, P Niebert - 2003
483 Synchronous data flow – Edward A. Lee, et al. - 1987
200 The Time-Triggered Architecture – Hermann Kopetz, Günther Bauer - 2003
240 Network Calculus: A Theory of Deterministic Queueing Systems for the Internet – J-Y Le Boudec, P Thiran - 2001
21 Quantitative characterization of event streams in analysis of hard real-time applications – E Wandeler, A Maxiaguine, L Thiele - 2004
64 A General Framework for Analysing System Properties in Platform-Based Embedded System Designs – Samarjit Chakraborty, Simon Künzli, Lothar Thiele - 2003
786 The semantics of a simple language for parallel programming – G Kahn - 1974
9 Event count automata: A state-based model for stream processing systems – Samarjit Chakraborty, Linh T. X. Phan, P. S. Thiagarajan - 2005
28 Task Automata: Schedulability, Decidability and Undecidability – Elena Fersman, Pavel Krcal, Paul Pettersson, Wang Yi - 2008
16 Efficient computation of buffer capacities for multi-rate real-time systems with back-pressure – Maarten Wiggers, Marco Bekooij, Pierre Jansen, Gerard Smit - 2006
14 Characterizing workload correlations in multi processor hard real-time systems – E Wandeler, L Thiele - 2005
7 Complex task activation schemes in system level performance analysis – Wolfgang Haid, Lothar Thiele - 2007
2345 Time, clocks, and the ordering of events in a distributed system – Leslie Lamport - 1978
120 The synchronous languages 12 years later – Albert Benveniste, Paul Caspi, Stephen A. Edwards, Nicolas Halbwachs, Paul Le Guernic, Robert, De Simone - 2003
8 Loose Synchronization of Event-Triggered Networks for Distribution of Synchronous Programs – Jan Romberg, Andreas Bauer
91 Theory of latency-insensitive design – Luca P. Carloni, Kenneth L. McMillan , Alberto L. Sangiovanni-Vincentelli - 2001
38 Loosely Time-Triggered Architectures for . . . – Albert Benveniste
1534 Distributed Algorithms – N A Lynch - 1996
4 A compositional framework for end-to-end path delay calculation of automotive sytems under different path semantics,” Work. on Compositional Theory and Technology for RealTime Embedded Systems CRTS – N Feiertag, K Richter, J Nordlander, J Jonsson - 2008