Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems

EMSOFT'07: Proceedings of the Seventh ACM and IEEE International Conference on Embedded Software

Volumn , Issue , 2007, Pages 114-123

  Lee, Edward A ^a   Zheng, Haiyang ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Composition; Discrete events; Hybrid systems; Model based design; Operational semantics; Simulation; Synchronous languages

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; MATHEMATICAL MODELS; SEMANTICS; SYSTEMS ANALYSIS;

DISCRETE EVENTS; SYNCHRONOUS LANGUAGES;

EMBEDDED SYSTEMS;

EID: 38849147599     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1289927.1289949     Document Type: Conference Paper

References (49)

1. G. A. Agha, I. A. Mason, S. F. Smith, and C. L. Talcott. A foundation for actor computation. Journal of Functional Programming, 7(1):1-72, 1997.
2. R. Alur, T. Dang, J. Esposito, Y. Hur, F. Ivancic, V. Kumar, I. Lee, P. Mishra, G. J. Pappas, and O. Sokolsky. Hierarchical modeling and analysis of embedded systems. Proceedings of the IEEE, 91(1):11-28, 2003.
3. A. Basu, M. Bozga, and J. Sifakis. Modeling heterogeneous real-time components in bip. In International Conference on Software Engineering and Formal Methods (SEFM), pages 3-12, Pune, 2006.
4. A. Benveniste and G. Berry. The synchronous approach to reactive and real-time systems. Proceedings of the IEEE, 79(9):1270-1282, 1991.
5. A. Benveniste, L. Carloni, P. Caspi, and A. Sangiovanni-Vincentelli. Heterogeneous reactive systems modeling and correct-by-construction deployment. In EMSOFT. Springer, 2003.
6. G. Berry. The Constructive Semantics of Pure Esterel. Book Draft, 1996.
7. G. Berry. The effectiveness of synchronous languages for the development of safety-critical systems. White paper, Esterel Technologies, 2003.
8. G. Berry and G. Gonthier. The esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming, 19(2):87-152, 1992.
9. R. Boute. Integrating formal methods by unifying abstractions. In E. Boiten, J. Derrick, and G. Smith, editors, Fourth International Conference on Integrated Formal Methods (IFM), volume LNCS 2999, page 441460, Canterbury, Kent, England, 2004. Springer-Verlag.
10. C. Brooks, A. Cataldo, C. Hylands, E. A. Lee, J. Liu, X. Liu, S. Neuendorffer, and H. Zheng. Hyvisual: A hybrid system visual modeler. Technical Report UCB/ERL M03/30, University of California, Berkeley, July 17 2003.
11. J. T. Buck, S. Ha, E. A. Lee, and D. G. Messerschmitt. Ptolemy: A framework for simulating and prototyping heterogeneous systems. Int. Journal of Computer Simulation, special issue on "Simulation Software Development", 4:155-182, 1994.
12. L. P. Carloni, M. D. DiBenedetto, A. Pinto, and A. Sangiovanni- Vincentelli. Modeling techniques, programming languages, and design toolsets for hybrid systems. Technical Report IST-2001-38314 WPHS, Columbus Project, June 2004.
13. C. G. Cassandras. Discrete Event Systems, Modeling and Performance Analysis. Irwin, 1993.
14. A. Cataldo, E. A. Lee, X. Liu, E. Matsikoudis, and H. Zheng. A constructive fixed-point theorem and the feedback semantics of timed systems. In Workshop on Discrete Event Systems (WODES), Ann Arbor, Michigan, 2006.
15. A. Deshpande, A. Gollu, and P. Varaiya. The shift programming language for dynamic networks of hybrid automata. IEEE Trans. on Automatic Control, 43(4), 1998.
16. R. Djenidi, C. Lavarenne, R. Nikoukhah, Y. Sorel, and S. Steer. From hybrid simulation to real-time implementation. In 11th European Simulation Symposium and Exhibition (ESS99), page 7478, 1999.
17. S. A. Edwards and E. A. Lee. The semantics and execution of a synchronous block-diagram language. Science of Computer Programming, 48(1), 2003.
18. 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.
19. G. S. Fishman. Discrete-Event Simulation: Modeling, Programming, and Analysis. Springer-Verlag, 2001.
20. P. Fritzson. Principles of Object-Oriented Modeling and Simulation with Modelica 2.1. Wiley, 2003.
21. A. Girault, B. Lee, and E. A. Lee. Hierarchical finite state machines with multiple concurrency models. IEEE Transactions On Computer-aided Design Of Integrated Circuits And Systems, 18(6):742-760, 1999.
22. G. Goessler and A. Sangiovanni-Vincentelli. Compositional modeling in metropolis. In Second International Workshop on Embedded Software (EMSOFT), Grenoble, France, 2002. Springer-Verlag.
23. G. Goessler and J. Sifakis. Composition for component-based modeling. Science of Computer Programming, 55, 2005.
24. P. L. Guernic, T. Gauthier, M. L. Borgne, and C. L. Maire. Programming real-time applications with signal. Proceedings of the IEEE, 79(9), 1991.
25. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous data flow programming language LUSTRE. Proceedings of the IEEE, 79(9):1305-1319, 1991.
26. F. Herrera and E. Villar. A framework for embedded system specification under different models of computation in systemc. In Design Automation Conference (DAC), San Francisco, 2006. ACM.
27. C. Hewitt. Viewing control structures as patterns of passing messages. Journal of Artifical Intelligence, 8(3):323363, 1977.
28. A. Jantsch. Modeling Embedded Systems and SoCs - Concurrency and Time in Models of Computation. Morgan Kaufmann, 2003.
29. E. A. Lee. Modeling concurrent real-time processes using discrete events. Annals of Software Engineering, 7:25-45, 1999.
30. E. A. Lee. Embedded software. In M. Zelkowitz, editor, Advances in Computers, volume 56. Academic Press, 2002.
31. E. A. Lee and D. G. Messerschmitt. Synchronous data flow. Proceedings of the IEEE, 1987.
32. E. A. Lee and S. Neuendorffer. Moml - a modeling markup language in xml. Technical Report UCB/ERL M00/12, UC Berkeley, March 14 2000.
33. E. A. Lee, S. Neuendorffer, and M. J. Wirthlin. Actor-oriented design of embedded hardware and software systems. Journal of Circuits, Systems, and Computers, 12(3):231-260, 2003.
34. E. A. Lee and A. Sangiovanni-Vincentelli. A framework for comparing models of computation. IEEE Transactions on Computer-Aided Design of Circuits and Systems, 17(12):1217-1229, 1998.
35. E. A. Lee and H. Zheng. Operational semantics of hybrid systems. In M. Morari and L. Thiele, editors, Hybrid Systems: Computation and Control (HSCC), volume LNCS 3414, pages pp. 25-53, Zurich, Switzerland, 2005. Springer-Verlag.
36. E. A. Lee, H. Zheng, and Y. Zhou. Causality interfaces and compositional causality analysis. In Foundations of Interface Technologies (FIT), Satellite to CONCUR, San Francisco, CA, 2005.
37. J. Liu. Responsible frameworks for heterogeneous modeling and design of embedded systems. Ph.D. Thesis Technical Memorandum UCB/ERL M01/41, December 20 2001.
38. X. Liu and E. A. Lee. CPO semantics of timed interactive actor networks. Technical Report EECS-2006-67, UC Berkeley, May 18 2006.
39. X. Liu, E. Matsikoudis, and E. A. Lee. Modeling timed concurrent systems. In CONCUR 2006 - Concurrency Theory, volume LNCS 4137, Bonn, Germany, 2006. Springer.
40. Z. Manna and A. Pnueli. Verifying hybrid systems. Hybrid Systems, pages 4-35, 1992.
41. D. A. Mathaikutty, H. D. Patel, and S. K. Shukla. A functional programming framework of heterogeneous model of computation for system design. In Forum on Design and Specification Languages (FDL), Lille, France, 2004.
42. P. Mosterman. An overview of hybrid simulation phenomena and their support by simulation packages. In F. Varager and J. H. v. Schuppen, editors, Hybrid Systems: Computation and Control (HSCC), volume LNCS 1569, page 165177. Springer-Verlag, 1999.
43. W. H. Press, S. Teukolsky, W. T. Vetterling, and B. P. Flannery. Numerical Recipes in C: the Art of Scientific Computing. Cambridge University Press, 1992.
44. I. Sander and A. Jantsch. System modeling and transformational design refinement in forsyde. IEEE Transactions on Computer-Aided Design of Circuits and Systems, 23(1):17-32, 2004.
45. S. Swan. An introduction to system level modeling in systemc 2.0. Technical report, Open SystemC Initiative, May 2001 2001.
46. M. M. Tiller. Introduction to Physical Modeling with Modelica. Kluwer Academic Publishers, 2001.
47. F. D. Torrisi, A. Bemporad, G. Bertini, P. Hertach, D. Jost, and D. Mignone. Hysdel 2.0.5 - user manual. Technical report, ETH, 2002.
48. P. Whitaker. The simulation of synchronous reactive systems in Ptolemy II. Master's Report Memorandum UCB/ERL M01/20, Electronics Research Laboratory, University of California, May 2001.
49. B. P. Zeigler, H. Praehofer, and T. G. Kim. Theory of Modeling and Simulation. Academic Press, 2nd edition, 2000.