swMATH ID: 7459
Software Authors: Johan Eker, Jörn W. Janneck, Edward A. Lee, Jie Liu, Xiaojun Liu, Jozsef Ludvig, Stephen Neuendorffer, Sonia Sachs, Yuhong Xiong
Description: 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.
Homepage: http://ptolemy.eecs.berkeley.edu/
Related Software: Metropolis; Simulink; StateFlow; Esterel; SIGNAL; Reo; Uppaal; Modelica; MOMENT2; Maude; VEST; Kronos; Matlab; JavaFAN; Polychrony; SpaceEx; MathSAT; Zelus; LUSTRE; D-Finder
Cited in: 64 Publications
Further Publications: http://ptolemy.eecs.berkeley.edu/publications/index.htm
all top 5

Cited by 159 Authors

6 Bliudze, Simon
6 Lee, Edward Ashford
4 Sifakis, Joseph
4 Talpin, Jean-Pierre
4 Tripakis, Stavros
3 Baranov, Eduard
3 Benveniste, Albert
3 Gokhale, Aniruddha
3 Le Guernic, Paul
3 Legay, Axel
3 Sangiovanni-Vincentelli, Alberto L.
3 Schmidt, Douglas C.
3 Wang, Shuling
3 Zhan, Naijun
2 Alur, Rajeev
2 Balasubramanian, Jaiganesh
2 Balasubramanian, Krishnakumar
2 Bhattacharyya, Shuvra S.
2 Caillaud, Benoît
2 Delahaye, Benoît
2 Fiadeiro, José Luiz
2 Frehse, Goran
2 Gupta, Rajesh Kumar
2 Ha, Soonhoi
2 Lopes, Antónia
2 Meseguer Guaita, José
2 Minopoli, Stefano
2 Olveczky, Peter Csaba
2 Passerone, Roberto
2 Pouzet, Marc
2 Xiong, Yuhong
1 Abdelwahed, Sherif
1 Ábrahám, Erika
1 Ameur-Boulifa, R.
1 Attie, Paul C.
1 Aversa, Rocco
1 Badouel, Eric
1 Bae, Kyungmin
1 Belanović, Pavle
1 Bensalem, Saddek
1 Bernardeschi, Cinzia
1 Besnard, Loïc
1 Bondavalli, Andrea
1 Bourke, Timothy
1 Boyd, Stephen Poythress
1 Bozga, Marius
1 Burleson, Wayne P.
1 Caspi, Paul
1 Catthoor, Francky V. M.
1 Chandrashekharapuram, Arun
1 Chen, Mingshuai
1 Coe, P. S.
1 Coffland, J. E.
1 Cohen, Albert
1 Csertán, Gyorgy
1 Cuatto, Tullio
1 Damm, Werner
1 de Simone, Robert
1 Deng, Gan
1 Deprettere, Ed F. A.
1 Doucet, Frederic
1 Edwards, George
1 Espiau, Bernard
1 Eyisi, Emeka
1 Farjudian, Amin
1 Feng, Thomas Huining
1 Gautier, Thierry
1 Goddard, Steve
1 Gregoretti, Francesco
1 Grosu, Radu
1 Gu, Ming
1 Henrio, Ludovic
1 Hertzberger, Louis Otto
1 Howell, F. W.
1 Ibbett, R. N.
1 Jaber, Mohamad Y.
1 Jantsch, Axel
1 Jeffay, Kevin
1 Jin, Xiangyu
1 Jourdant, M.
1 Jung, Jaewoong
1 Jurecska, Attila
1 Kapellos, K.
1 Karsai, Gabor
1 Knerr, Barry F.
1 Konečný, Michal
1 Koutsoukos, Xenofon D.
1 Krishna, Arvind S.
1 Kulankhina, O.
1 Lavagno, Luciano
1 Lee, Insup
1 Lepri, Daniela
1 Lieverse, Paul
1 Lin, Xi
1 Lublinerman, Roberto
1 Madelaine, Eric
1 Madl, Gabor
1 Majzik, Istvan
1 Mandel, Louis
1 Mann, Vijay
...and 59 more Authors

Citations by Year