Loose synchronization of event-triggered networks for distribution of synchronous programs

EMSOFT 2004 - Fourth ACM International Conference on Embedded Software

Volumn , Issue , 2004, Pages 193-202

  Romberg, Jan ^a   Bauer, Andreas ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

AutoFocus; Code Distribution; Embedded Software; Scheduling; Synchronous Languages

Indexed keywords

COMPUTER HARDWARE; REAL TIME SYSTEMS; SYNCHRONIZATION;

AUTOFOCUS; CODE DISTRIBUTION; EMBEDDED SOFTWARE;

EMBEDDED SYSTEMS;

EID: 27644457520     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1017753.1017786     Document Type: Conference Paper

References (10)

1. A. Bauer and J. Romberg. Model-based deployment: From a high-level view to low-level code. In Proceedings of the 1st International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES), Hamilton, Canada, June 2004.
2. A. Benveniste, P. Caspi, S. Edwards, N. Halbwachs, P. L. Guernic, and R. D. Simone. The synchronous languages twelve years later. Proceedings of the IEEE, 2003.
3. A. Benveniste, P. Caspi, P. L. Guernic, H. Marchand, J.-P. Talpin, and S. Tripakis. A protocol for loosely time-triggered architectures. In Proceedings of EMSOFT 2002. Springer-Verlag, 2002.
4. M. Broy and K. Stølen. Specification and Development of Interactive Systems. Springer, 2001.
5. P. Caspi, A. Girault, and D. Pilaud. Automatic distribution of reactive systems for asynchronous networks of processors. IEEE Transactions on Software Engineering, 25(3):416-427, May/June 1999.
6. T. Führer, B. Müller, F. Hartwich, and R. Hügel. Time triggered CAN (TTCAN). In SAE 2001, Detroit. SAE number 2001-01-0073.
7. F. Huber, B. Schätz, and G. Einert. Consistent Graphical Specification of Distributed Systems. In J. Fitzgerald, C. Jones, and P. Lucas, editors, Industrial Applications and Strengthened Foundations of Formal Methods (FME'97), LNCS 1313, pages 122-141. Springer Verlag, 1997.
8. H. Kopetz. Real-Time Systems: Design Principles for Distributed Embedded Applications. Kluwer, Boston, 1997.
9. K. Tindell and A. Burns. Guaranteeing message latencies on controller area network (CAN). In Proceedings 1st International CAN Conference, September 1994.
10. J. Welch and N. Lynch. A new fault-tolerant algorithm for clock synchronization. Information and Computation, 77(1):1-36, 1988.