Distributed real-time software for cyber-physical systems

Proceedings of the IEEE

Volumn 100, Issue 1, 2012, Pages 45-59

  Eidson, John C ^a   Lee, Edward A ^a   Matic, Slobodan ^a   Seshia, Sanjit A ^a   Zou, Jia ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Analysis and verification; cyber physical systems; distributed systems and networking; embedded software; modeling; real time systems

Indexed keywords

COMPUTER PROGRAMMING; CYBER PHYSICAL SYSTEM; DISTRIBUTED COMPUTER SYSTEMS; EMBEDDED SOFTWARE; EMBEDDED SYSTEMS; INTERACTIVE COMPUTER SYSTEMS; MODELS; SEMANTICS; VERIFICATION;

ANALYSIS AND VERIFICATIONS; COORDINATION LANGUAGE; DISTRIBUTED EMBEDDED SYSTEM; DISTRIBUTED REAL-TIME EMBEDDED SYSTEMS; DISTRIBUTED SYSTEMS; NETWORK TIME-SYNCHRONIZATION; PROGRAMMING ABSTRACTIONS; REAL-TIME EMBEDDED SOFTWARE;

REAL TIME SYSTEMS;

EID: 84155164677     PISSN: 00189219     EISSN: None     Source Type: Journal    
DOI: 10.1109/JPROC.2011.2161237     Document Type: Article

References (33)

1. G. Berry, "The effectiveness of synchronous languages for the development of safety-critical systems," Esterel Technologies, White Paper, 2003.
2. S. Bliudze and J. Sifakis, "The algebra of connectors: Structuring interaction in BIP," in Proc. EMSOFT, 2007, pp. 11-20. (Pubitemid 351203879)
3. C. G. Cassandras, Discrete Event Systems, Modeling and Performance Analysis. New York: Irwin, 1993.
4. K. M. Chandy and J. Misra, "Distributed simulation: A case study in design and verification of distributed programs," IEEE Trans. Softw. Eng., vol. SE-5, no. 5, pp. 440-452, 1979.
5. P. Derler, E. A. Lee, and S.Matic, "Simulation and implementation of the PTIDES programming model," in Proc. IEEE Int. Symp. Distrib. Simul. Real Time Appl., Vancouver, BC, Canada, 2008, pp. 330-333.
6. J. C. Eidson, Measurement, Control, and Communication Using IEEE 1588. London, U.K.: Springer-Verlag, 2006, pp. 194-200.
7. J. Eker, J. W. Janneck, E. A. Lee, J. Liu, X. Liu, J. Ludvig, S. Neuendorffer, S. Sachs, and Y. Xiong, "Taming heterogeneityVThe Ptolemy approach," Proc. IEEE, vol. 91, no. 2, pp. 127-144, Feb. 2003.
8. D. Harel, "Statecharts: A visual formalism for complex systems," Sci. Comput. Programm., vol. 8, pp. 231-274, 1987. (Pubitemid 17617706)
9. 1588: IEEE Standard for a Precision Clock Synchronization Protocol for Networked Measurement and Control Systems, IEEE Instrumentation and Measurement Society, Standard Specification, Jul. 24, 2008.
10. M. Jersak, "Timing model and methodology for AUTOSAR," Elektronik Automotive, pp. 8-10, Oct. 2007.
11. G. Karsai, J. Sztipanovits, A. Ledecziand, and T. Bapty, "Model-integrated development of embedded software," Proc. IEEE, vol. 91, no. 1, pp. 145-164, Jan. 2003.
12. H. Kopetz and G. Bauer, "The time-triggered architecture," Proc. IEEE, vol. 91, no. 1, pp. 112-126, Jan. 2003.
13. E. A. Lee, "Modeling concurrent real-time processes using discrete events," Ann. Softw. Eng., vol. 7, pp. 25-45, 1999.
14. E. A. Lee, S. Neuendorffer, and M. J. Wirthlin, "Actor-oriented design of embedded hardware and software systems," J. Circuits Syst. Comput., vol. 12, no. 3, pp. 231-260, 2003.
15. E. A. Lee and A. Sangiovanni-Vincentelli, "A framework for comparing models of computation," IEEE Trans. Comput.-Aided Design Circuits Syst., vol. 17, no. 12, pp. 1217-1229, Dec. 1998. (Pubitemid 128744893)
16. E. A. Lee and S. Tripakis, "Modal models in Ptolemy," in Proc. 3rd Int. Workshop Equation-Based Object-Oriented Model. Lang. Tools, Oslo, Norway, 2010, vol. 47, pp. 11-21. [Online]. Available: http://chess.eecs. berkeley.edu/pubs/700.html.
17. E. A. Lee and H. Zheng, "Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems," in Proc. EMSOFT, Salzburg, Austria, 2007, pp. 114-123. (Pubitemid 351203890)
18. P. Levis, S. Madden, D. Gay, J. Polastre, R. Szewczyk, A. Woo, E. Brewer, and C. David, "The emergence of networking abstractions and techniques in tinyos," in Proc. 1st USENIX/ACM Symp. Netw. Syst. Design Implement., 2004, pp. 1-14.
19. X. Liu and E. A. Lee, "CPO semantics of timed interactive actor networks," Theor. Comput. Sci., vol. 409, no. 1, pp. 110-125, 2008.
20. R. Makowitz and C. Temple, "FlexRay-a communication network for automotive control systems," in Proc. IEEE Int. Workshop Factory Commun. Syst., 2006, pp. 207-212. (Pubitemid 351470977)
21. R. Olfati-Saber, J. A. Fax, and R. M. Murray, "Consensus and cooperation in networked multi-agent systems," Proc. IEEE, vol. 95, no. 1, pp. 215-233, Jan. 2007.
22. G. Papadopoulos and F. Arbab, "Coordination models and languages," in Advances in ComputersVThe Engineering of Large Systems, vol. 46, M. Zelkowitz, Ed. New York: Academic, 1998, pp. 329-400.
23. R. Wilhelm, J. Engblom, A. Ermedahl, N. Holsti, S. Thesing, D. Whalley, G. Bernat, C. Ferdinand, R. Heckman, T. Mitra, F. Mueller, I. Puaut, P. Puschner, J. Staschulat, and P. Stenstrom, "The determination of worst-case execution times-Overview of the methods and survey of tools," ACM Trans. Embedded Comput. Syst., vol. 7, no. 3, pp. 1-53, 2008.
24. S. A. Seshia and A. Rakhlin, "Game-theoretic timing analysis," in Proc. IEEE/ACM Int. Conf. Comput.-Aided Design, 2008, pp. 575-582.
25. S. A. Seshia and A. Rakhlin, "Quantitative analysis of systems using game-theoretic learning," ACM Trans. Embedded Comput. Syst., 2011.
26. S. A. Seshia and J. Kotker, "GameTime: A toolkit for timing analysis of software," Proc. Tools Algorithms Constr. Anal. Syst., pp. 388-392, Mar. 2011.
27. K. Tindell, H. Hansson, and A. J. Wellings, "Analysing real-time communications: Controller area network (CAN)," in Proc. 15th IEEE Real-Time Syst. Symp., 1994, pp. 259-265.
28. B. P. Zeigler, H. Praehofer, and T. G. Kim, Theory of Modeling and Simulation, 2nd ed., New York: Academic, 2000.
29. Y. Zhao, E. A. Lee, and J. Liu, "A programming model for time-synchronized distributed real-time systems," in Proc. Real-Time Embedded Technol. Appl. Symp., Bellevue, WA, 2007, pp. 259-268. (Pubitemid 47296896)
30. Y. Zhou and E. A. Lee, "Causality interfaces for actor networks," ACM Trans. Embedded Comput. Syst., vol. 7, no. 3, pp. 1-35, 2008.
31. J. Zou, J. Auerbach, D. Bacon, and E. A. Lee, "PTIDES on flexible task graph: Real-time embedded system building from theory to practice," in Proc. Conf. Lang. Compilers Tools Embedded Syst., Dublin, Ireland, 2009, pp. 31-40.
32. J. Zou, S. Matic, E. A. Lee, T. H. Feng, and P. Derler, "Execution strategies for PTIDES, a programming model for distributed embedded systems," in Proc. Real-Time Embedded Technol. Appl. Symp., San Francisco, CA, 2009, pp. 77-86.
33. J. Zou, "From PTIDES to Ptidyos, designing distributed real-time embedded systems," Univ. California Berkeley, Berkeley, Tech. Rep. UCB/EECS-2011-53, May 13, 2011. [Online]. Available: http://www.eecs.berkeley. edu/Pubs/TechRpts/2011/EECS-2011-53.html