Taming heterogeneity - the Ptolemy approach
By J. Eker, Jörn W. Janneck, Edward A. Lee, Jie Liu, Xiaojun Liu, J. Ludvig, S. Neuendorffer, Sonia R. Sachs, Yuhong Xiong. Proceedings of the IEEE, 2003
1,207 citations recorded by the source corpus.
Subfields: Hardware and Architecture, Software
View Paper: https://www.semanticscholar.org/paper/844940d8b0f7dd691060195c398de1e444ea8528
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
In Hardware and Architecture
- Rajeev Alur
- Alberto L. Sangiovanni-Vincentelli
- Werner Damm
- Roberto Passerone
- Matthias Gries
- Edward A. Lee
- Thomas A. Henzinger
- Dejan Nickovic
In Software
- Edward A. Lee
- Matthias Gries
- Rajeev Alur
- Alberto L. Sangiovanni-Vincentelli
- Sameer Suresh Shende
- Kim Guldstrand Larsen
- Werner Damm
- Thomas A. Henzinger
Citations in the corpus
- Contracts for System Design (2018, methodology): “, in the Autosar2 standard in the automotive sector, and the ARINC3 standard in the avionic domain), model-based development (supported by important frameworks and tools such as SysML4 [208] and/or AADL [211] for architecture modeling, and Modelica [133] and MatlabSimulink [168] for system modeling)”
- CPS foundations (2010, methodology): “[5] describe a simulator for PTIDES built on Ptolemy II [9], and give some preliminary measurements of implementation properties on a small network of prototype platforms using a pre-commercial implementation of IEEE 1588 from Agilent.”
- Scientific workflow management and the Kepler system (2006, methodology): “Other scientific workflow tools include Pegasus [DBG+03], Chimera, and job scheduling tools such as Condor/G [ DTL04 ] and Nimrod/G [AGK00].”
- Formal verification of hybrid systems (2011, methodology): “Taming heterogeneity the Ptolemy approach.”
- Internet of Medical Things: A Review of Recent Contributions Dealing With Cyber-Physical Systems in Medicine (2018, neutral): “Because of the strong relationship between the digital and physical world in the IoMT, one must rely on hybrid models that accurately represent both these worlds in order to achieve an efficient design process [39].”
- Modeling Heterogeneous Real-time Components in BIP (2006, background): “The BIP framework shares features with existing ones for heterogeneous components, such as [5, 8, 6, 4].”
- Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems (2012, background): “Heterogeneous composition of models with different semantics was originally addressed in Ptolemy [16] and Metropolis [2], [11], [3] albeit with different approaches.”
- Methods for evaluating and covering the design space during early design development (2004, methodology): “The Ptolemy framework [13] allows the designer to combine various models of computation hierarchically in order to model and evaluate concurrent components.”
- Terascale direct numerical simulations of turbulent combustion using S3D (2008, methodology): “Kepler is based on Ptolemy II [47], a modeling tool for heterogeneous, concurrent systems.”
- The problem with threads (2006, methodology): “In the early part of the year 2000, my group began developing the kernel of Ptolemy II [20], a modeling environment supporting concurrent models of computation.”
- The Embedded Systems Design Challenge (2006, background): “Much recent attention has focused on so-called ‘metamodels,’ which are semantic frameworks for expressing different models and their interoperation [2, 9, 3].”
- MediaPipe: A Framework for Building Perception Pipelines (2019, background): “[1] and Dataflow [5] handle big chunks of data in a batching fashion rather than in a streaming fashion, which makes them unsuitable for the audio/video processing domain. The research project Ptolemy [7] studies concurrent systems, but it heavily focuses on modeling and simulation for the purpose of”