Ptolemy

A modular formal semantics for Ptolemy. Ptolemy is an open-source and extensible modelling and simulation framework. It offers heterogeneous modeling capabilities by allowing different models of computation, both untimed and timed, to be composed hierarchically in an arbitrary fashion. This paper proposes a formal semantics for Ptolemy that is modular in the sense that atomic actors and their compositions are treated in a unified way. In particular, all actors conform to an executable interface that contains four functions: fire (produce outputs given current state and inputs); postfire (update state instantaneously); deadline (how much time the actor is willing to let elapse); and time-update (update the state with the passage of time). Composite actors are obtained using composition operators that in Ptolemy are called directors. Different directors realise different models of computation. In this paper, we formally define the directors for the following models of computation: synchronous- reactive, discrete event, continuous time, process networks and modal models.


References in zbMATH (referenced in 72 articles )

Showing results 1 to 20 of 72.
Sorted by year (citations)

1 2 3 4 next

  1. Fiadeiro, José; Lopes, Antónia; Delahaye, Beno^ıt; Legay, Axel: Dynamic networks of heterogeneous timed machines (2018)
  2. Ameur-Boulifa, R.; Henrio, L.; Kulankhina, O.; Madelaine, E.; Savu, A.: Behavioural semantics for asynchronous components (2017)
  3. Benveniste, Albert; Bourke, Timothy; Caillaud, Benoit; Pagano, Bruno; Pouzet, Marc: A type-based analysis of causality loops in hybrid systems modelers (2017)
  4. Chen, Mingshuai; Ravn, Anders P.; Wang, Shuling; Yang, Mengfei; Zhan, Naijun: A two-way path between formal and informal design of embedded systems (2017)
  5. Attie, Paul; Baranov, Eduard; Bliudze, Simon; Jaber, Mohamad; Sifakis, Joseph: A general framework for architecture composability (2016)
  6. Minopoli, Stefano; Frehse, Goran: From simulation models to hybrid automata using urgency and relaxation (2016)
  7. Sifakis, Joseph; Bensalem, Saddek; Bliudze, Simon; Bozga, Marius: A theory agenda for component-based design (2015)
  8. Lozoya, Camilo; Martí, Pau; Velasco, Manel; Fuertes, Josep M.; Martin, Enrix X.: Resource and performance trade-offs in real-time embedded control systems (2014) ioport
  9. Minopoli, Stefano; Frehse, Goran: Non-convex invariants and urgency conditions on linear hybrid automata (2014)
  10. Eyisi, Emeka; Zhang, Zhenkai; Koutsoukos, Xenofon; Porter, Joseph; Karsai, Gabor; Sztipanovits, Janos: Model-based control design and integration of cyberphysical systems: an adaptive cruise control case study (2013)
  11. Lin, Xi; Zhang, Hehua; Gu, Ming: OntCheck: an ontology-driven static correctness checking tool for component-based models (2013)
  12. Meseguer, José; Roşu, Grigore: The rewriting logic semantics project: a progress report (2013)
  13. Millo, Jean-Vivien; de Simone, Robert: Explicit routing schemes for implementation of cellular automata on processor arrays (2013)
  14. Tripakis, Stavros; Stergiou, Christos; Shaver, Chris; Lee, Edward A.: A modular formal semantics for Ptolemy (2013)
  15. Zhan, Naijun; Wang, Shuling; Zhao, Hengjun: Formal modelling, analysis and verification of hybrid systems (2013)
  16. Bae, Kyungmin; Ölveczky, Peter Csaba; Feng, Thomas Huining; Lee, Edward A.; Tripakis, Stavros: Verifying hierarchical Ptolemy II discrete-event models using real-time maude (2012)
  17. Cong, Jason; Gururaj, Karthik; Zhang, Peng; Zou, Yi: Task-level data model for hardware synthesis based on concurrent collections (2012) ioport
  18. Kindler, Ekkart: Modelling local and global behaviour: Petri nets and event coordination (2012) ioport
  19. Lepri, Daniela; Ábrahám, Erika; Ölveczky, Peter Csaba: Timed CTL model checking in Real-Time Maude (2012)
  20. Meseguer, José: Twenty years of rewriting logic (2012)

1 2 3 4 next


Further publications can be found at: http://ptolemy.eecs.berkeley.edu/publications/index.htm