Execution strategies for PTIDES, a programming model for distributed embedded systems

Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS

Volumn , Issue , 2009, Pages 77-86

  Zou, Jia ^a   Matic, Slobodan ^a   Lee, Edward A ^a   Feng, Thomas Huining ^a   Derler, Patricia ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b UNIVERSITY OF SALZBURG   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

DISCRETE EVENTS; DISTRIBUTED EMBEDDED SYSTEM; DISTRIBUTED POLICIES; DISTRIBUTED REAL TIME SYSTEM; DISTRIBUTED SYSTEMS; EXECUTABLE SPECIFICATIONS; EXECUTION STRATEGIES; FAULT ISOLATION; NETWORK TIME-SYNCHRONIZATION; PROGRAM EXECUTION; PROGRAMMING MODELS; REAL TIME CONSTRAINTS; SENSORS AND ACTUATORS; TIME STAMPS; TIMING CONSTRAINTS;

ACTUATORS; EMBEDDED SYSTEMS; FACTORY AUTOMATION; MODEL CHECKING; SENSORS; TIMING CIRCUITS;

REAL TIME SYSTEMS;

EID: 67650224482     PISSN: 15453421     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTAS.2009.39     Document Type: Conference Paper

References (19)

1. F. Baccelli, G. Cohen, G. J. Olsder, and J.-P. Quadrat. Synchronization and Linearity: An Algebra for Discrete Event Systems. Wiley, 1992.
2. A. Basu, M. Bozga, and J. Sifakis. Modeling heterogeneous real-time components in BIP. In SEFM, pages 3-12, Pune, 2006.
3. A. Benveniste and G. Berry. The synchronous approach to reactive and real-time systems. Proceedings of the IEEE, 79(9):1270-1282, 1991.
4. K. M. Chandy and J. Misra. Distributed simulation: A case study in design and verification of distributed programs. IEEE Transaction on Software Engineering, 5(5), 1979.
5. J. Eker, J. W. Janneck, E. A. Lee, J. Liu, X. Liu, J. Ludvig, S. Neuendorffer, S. Sachs, and Y. Xiong. Taming heterogeneity - the Ptolemy approach. Proceedings of the IEEE, 91(2):127-144, 2003.
6. T. H. Feng and E. A. Lee. Real-time distributed discrete-event execution with fault tolerance. In Proceedings of RTAS, April 2008.
7. R. M. Fujimoto. Parallel discrete event simulation. Commun. ACM, 33(10):30-53, 1990.
8. IEEE. 1588: IEEE standard for a precision clock synchronization protocol for networked measurement and control systems, 2002.
9. A. Jantsch and I. Sander. Models of computation and languages for embedded system design. IEEE Proceedings on Computers and Digital Techniques, 152(2):114-129, 2005.
10. D. Jefferson. Virtual time. ACM Trans. Programming Languages and Systems, 7(3):404-425, 1985.
11. G. Karsai, J. Sztipanovits, A. Ledeczi, and T. Bapty. Model-integrated development of embedded software. Proceedings of the IEEE, 91(1):145-164, 2003.
12. E. A. Lee. Discrete event models: Getting the semantics right. In Proceedings of WSC. Winter Simulation Conference, 2006.
13. E. A. Lee. The problem with threads. Computer, 39(5):33-42, 2006.
14. E. A. Lee and H. Zheng. Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems. In EMSOFT, Salzburg, Austria, 2007. ACM.
15. B. D. Lubachevsky. Bounded lag distributed discrete event simulation. In Proceedings of the SCS Multiconference on Distributed Simulation, volume 19, San Diego, CA, 1988.
16. R. Münzenberger, M. Drfel, R. Hofmann, and F. Slomka. A general time model for the specification and design of embedded real-time systems. Microelectronics Journal, 34:989-1000, 2003.
17. K. Strehl, L. Thiele, M. Gries, D. Ziegenbein, R. Ernst, and J. Teich. Funstatean internal design representation for codesign. IEEE Trans. on VLSI Systems, 9(4):524-544, 2001.
18. Y. Zhao, J. Liu, and E. A. Lee. A programming model for timesynchronized distributed real-time systems. In Proceedings of RTAS, pages 259-268, Bellevue, WA, USA, Apr 2007.
19. Y. Zhou and E. A. Lee. Causality interfaces for actor networks. ACM Transactions on Embedded Computing Systems (TECS), 2008.