Edward A. Lee
ABSTRACT
Complex systems demand diversity in the modeling mechanisms. This "roadmap" paper prescribes an approach to modeling based on concurrent communicating components actors), where a diversity of orchestration strategies govern the execution and interaction of the components.The prescribed approach has been extensively explored in the Ptolemy Project, but as yet is not widely deployed in engineering practice. The approach achieves interaction between diverse models using an abstract semantics, which is a deliberately incomplete semantics that cannot by itself define a useful modeling framework. It instead focuses on the interactions between diverse models, reducing the nature of those interactions to a minimum that achieves a well-defined composition. The actor semantics is an abstract semantics that can handle many heterogeneous models that are built today, and some that are not common today. The actor abstract semantics and many concrete semantics are implemented in Ptolemy II, an open-source software framework.
- 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. Google Scholar
Digital Library
- 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. Google ScholarDigital Library
- A. Benveniste and G. Berry. The synchronous approach to reactive and real-time systems. Proceedings of the IEEE, 79(9):1270--1282, 1991.Google ScholarCross Ref
- G. Berry. The effectiveness of synchronous languages for the development of safety-critical systems. White paper, Esterel Technologies, 2003. Available from: http://www.esterel-technologies.com.Google Scholar
- C. Bock. SysML and UML 2 support for activity modeling. Systems Engineering, 9(2):160--185, 2006. Google ScholarDigital Library
- G. Booch, I. Jacobson, and J. Rumbaugh. The Unified Modeling Language User Guide. Addison-Wesley, 1998. Google ScholarDigital Library
- C. Brooks, C. Cheng, T. H. Feng, E. A. Lee, and R. von Hanxleden. Model engineering using multimodeling. In International Workshop on Model Co-Evolution and Consistency Management (MCCM), Toulouse, France, 2008.Google Scholar
- 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. Available from: http://ptolemy.eecs.berkeley.edu/publications/papers/94/JEurSim/.Google Scholar
- J. R. Burch, R. Passerone, and A. L. Sangiovanni-Vincentelli. Overcoming heterophobia: Modeling concurrency in heterogeneous systems. In International Conference on Application of Concurrency to System Design, page 13, 2001. Google ScholarDigital Library
- L. P. Carloni, R. Passerone, A. Pinto, and A. Sangiovanni-Vincentelli. Languages and tools for hybrid systems design. Foundations and Trends in Electronic Design Automation, 1(1/2), 2006. doi:10.1561/1000000001. Google ScholarDigital Library
- 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. Available from: http://ptolemy.eecs.berkeley.edu/publications/papers/06/constructive/.Google ScholarCross Ref
- 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. Available from: http://www.ptolemy.eecs.berkeley.edu/publications/papers/03/TamingHeterogeneity/.Google ScholarCross Ref
- Encyclopedia Britannica. Ockham's razor. Encyclopedia Britannica Online, Retrieved June 24, 2010, 2010. Available from: http://www.britannica.com/EBchecked/topic/424706/Ockhams-razor.Google Scholar
- M. Feredj, F. Boulanger, and A. M. Mbobi. A model of domain-polymorph component for heterogeneous system design. The Journal of Systems and Software, 82:112--120, 2009. Google ScholarDigital Library
- P. Fritzson. Principles of Object-Oriented Modeling and Simulation with Modelica 2.1. Wiley, 2003. Google ScholarDigital Library
- A. Goderis, C. Brooks, I. Altintas, E. A. Lee, and C. Goble. Heterogeneous composition of models of computation. Future Generation Computer Systems, 25(5):552--560, 2009. doi:doi:10.1016/j.future.2008.06.014. Google ScholarDigital Library
- G. Goessler and A. Sangiovanni-Vincentelli. Compositional modeling in Metropolis. In Second International Workshop on Embedded Software (EMSOFT), Grenoble, France, 2002. Springer-Verlag. Google ScholarDigital Library
- C. Hardebolle and F. Boulanger. ModHel'X: A component-oriented approach to multi-formalism modeling. In MODELS 2007 Workshop on Multi-Paradigm Modeling, Nashville, Tennessee, USA, 2007. Elsevier Science B.V. Google ScholarDigital Library
- D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3):231--274, 1987. Google ScholarDigital Library
- D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring, and M. Trakhtenbrot. STATEMATE: A working environment for the development of complex reactive systems. IEEE Transactions on Software Engineering, 16(4):403--414, 1990. doi:10.1109/32.54292. Google ScholarDigital Library
- T. A. Henzinger, B. Horowitz, and C. M. Kirsch. Giotto: A time-triggered language for embedded programming. In EMSOFT 2001, volume LNCS 2211, pages 166--184, Tahoe City, CA, 2001. Springer-Verlag. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- C. Hewitt. Viewing control structures as patterns of passing messages. Journal of Artificial Intelligence, 8(3):323--363, 1977.Google ScholarDigital Library
- C. A. R. Hoare. Communicating sequential processes. Communications of the ACM, 21(8):666--677, 1978. Google ScholarDigital Library
- A. Jantsch. Modeling Embedded Systems and SoCs - Concurrency and Time in Models of Computation. Morgan Kaufmann, 2003. Google ScholarDigital Library
- J. C. Jensen, D. H. Chang, and E. A. Lee. A model-based design methodology for cyber-physical systems. In First IEEE Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems (CyPhy), Istanbul, Turkey, 2011. Available from: http://chess.eecs.berkeley.edu/pubs/837.html.Google ScholarCross Ref
- G. Kahn and D. B. MacQueen. Coroutines and networks of parallel processes. In B. Gilchrist, editor, Information Processing, pages 993--998. North-Holland Publishing Co., 1977.Google Scholar
- G. Karsai, A. Lang, and S. Neema. Design patterns for open tool integration. Software and Systems Modeling, 4(2):157--170, 2005. doi:10.1007/s10270-004-0073-y.Google ScholarDigital Library
- B. Kienhuis, E. Deprettere, P. van der Wolf, and K. Vissers. A methodology to design programmable embedded systems. In E. Deprettere, J. Teich, and S. Vassiliadis, editors, Systems, Architectures, Modeling, and Simulation (SAMOS), volume LNCS 2268. Springer-Verlag, 2001. Google ScholarDigital Library
- E. A. Lee and D. G. Messerschmitt. Synchronous data flow. Proceedings of the IEEE, 75(9):1235--1245, 1987. doi:10.1109/PROC.1987.13876.Google ScholarCross Ref
- E. A. Lee and T. M. Parks. Dataflow process networks. Proceedings of the IEEE, 83(5):773--801, 1995. doi:10.1109/5.381846.Google ScholarCross Ref
- E. A. Lee. Modeling concurrent real-time processes using discrete events. Annals of Software Engineering, 7:25--45, 1999. doi:10.1023/A:1018998524196. Google ScholarDigital Library
- E. A. Lee. Cyber physical systems: Design challenges. In International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), pages 363--369, Orlando, Florida, 2008. IEEE. doi:10.1109/ISORC.2008.25. Google ScholarDigital Library
- E. A. Lee. Finite state machines and modal models in Ptolemy II. Technical Report UCB/EECS-2009-151, EECS Department, University of California, Berkeley, November 1 2009. Available from: http://www.eecs.berkeley.edu/Pubs/TechRpts/2009/EECS-2009-151.html.Google ScholarCross Ref
- E. A. Lee. Cps foundations. In Design Automation Conference (DAC), pages 737--742, Anaheim, California, USA, 2010. ACM. doi:10.1145/1837274.1837462. Google ScholarDigital Library
- E. A. Lee and E. Matsikoudis. The semantics of dataflow with firing. In G. Huet, G. Plotkin, J.-J. Lévy, and Y. Bertot, editors, From Semantics to Computer Science: Essays in memory of Gilles Kahn. Cambridge University Press, 2009. Available from: http://ptolemy.eecs.berkeley.edu/publications/papers/08/DataflowWithFiring/.Google Scholar
- E. A. Lee and S. Neuendorffer. MoML - a modeling markup language in XML. Technical Report UCB/ERL M00/12, UC Berkeley, March 14 2000.Google Scholar
- 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.Google Scholar
- 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. Available from: http://ptolemy.eecs.berkeley.edu/publications/papers/98/framework/. Google ScholarDigital Library
- E. A. Lee and S. A. Seshia. Introduction to Embedded Systems - A Cyber-Physical Systems Approach. LeeSeshia.org, Berkeley, CA, 2011. Available from: http://LeeSeshia.org.Google Scholar
- E. A. Lee and S. Tripakis. Modal models in Ptolemy. In 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools (EOOLT), volume 47, pages 11--21, Oslo, Norway, 2010. Linköping University Electronic Press, Linköping University. Available from: http://chess.eecs.berkeley.edu/pubs/700.html.Google Scholar
- 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 25--53, Zurich, Switzerland, 2005. Springer-Verlag. doi:10.1007/978-3-540-31954-2_2.Google ScholarDigital Library
- E. A. Lee and H. Zheng. Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems. In EMSOFT, pages 114--123, Salzburg, Austria, 2007. ACM. doi:10.1145/1289927.1289949. Google ScholarDigital Library
- O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. In Real-Time: Theory and Practice, REX Workshop, pages 447--484. Springer-Verlag, 1992. Google ScholarDigital Library
- Z. Manna and A. Pnueli. Verifying hybrid systems. In Hybrid Systems, volume LNCS 736, pages 4--35, 1993. Google ScholarDigital Library
- F. Maraninchi and T. Bhouhadiba. 42: Programmable models of computation for a component-based approach to heterogeneous embedded systems. In 6th ACM International Conference on Generative Programming and Component Engineering (GPCE), pages 1--3, Salzburg, Austria, 2007. Google ScholarDigital Library
- P. J. Mosterman and H. Vangheluwe. Computer automated multi-paradigm modeling: An introduction. Simulation: Transactions of the Society for Modeling and Simulation International Journal of High Performance Computing Applications, 80(9):433--450, 2004.Google ScholarCross Ref
- Object Management Group (OMG). System modeling language specification v1.1. Technical report, OMG, 2008. Available from: http://www.sysmlforum.com.Google Scholar
- Object Management Group (OMG). A UML profile for MARTE, beta 2. OMG Adopted Specification ptc/08-06-09, OMG, August 2008. Available from: http://www.omg.org/omgmarte/.Google Scholar
- U. of Pennsylvania MoBIES team. Hsif semantics (version 3, synchronous edition). Technical Report Report, University of Pennsylvania, August 22, 2002.Google Scholar
- H. D. Patel and S. K. Shukla. SystemC Kernel Extensions for Heterogeneous System Modelling. Kluwer, 2004. Google ScholarDigital Library
- W. Pree and J. Templ. Modeling with the timing definition language (TDL). In Automotive Software Workshop San Diego (ASWSD) on Model-Driven Development of Reliable Automotive Services, LNCS, San Diego, CA, 2006. Springer.Google Scholar
- C. Ptolemaeus, editor. System Design, Modeling, and Simulation Using Ptolemy II. Ptolemy.org, Berkeley, CA, USA, 2011. Available from: http://ptolemy.org/books.Google Scholar
- 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. Google ScholarDigital Library
- F. R. Shapiro. The Yale Book of Quotations. Yale University Press, 2006.Google Scholar
- N. K. Smith. Immanuel Kant's Critique of Pure Reason. Macmillan and Co., 1929. Available from: http://www.hkbu.edu.hk/~ppp/cpr/toc.html.Google Scholar
Index Terms
- Heterogeneous actor modeling
Recommendations
A tag contract framework for modeling heterogeneous systems
Development of distributed systems can be supported effectively by a contract-based methodology as contracts can ensure interoperability of components and adherence to specifications. Such development can become very complex since distributed systems ...
Composing heterogeneous reactive systems
We present a compositional theory of heterogeneous reactive systems. The approach is based on the concept of tags marking the events of the signals of a system. Tags can be used for multiple purposes from indexing evolution in time (time stamping) to ...
Disciplined heterogeneous modeling
MODELS'10: Proceedings of the 13th international conference on Model driven engineering languages and systems: Part IIComplex systems demand diversity in the modeling mechanisms. One way to deal with a diversity of requirements is to create flexible modeling frameworks that can be adapted to cover the field of interest. The downside of this approach is a weakening of ...
Comments