Taming heterogeneity - the Ptolemy approach

Eker, Johan; Janneck, Jörn W.; Lee, Edward A.; Liu, Jie; Liu, Xiaojun; Ludvig, J.; Neuendorffer, Stephen; Sachs, Sonia R.; Xiong, Yan

doi:10.1109/jproc.2002.805829

Cited by 806 publications

(483 citation statements)

References 35 publications

Supporting

Mentioning

482

Contrasting

Unclassified

Order By: Relevance

“…Several approaches have been developed by research institutions and industry to cope with the exponential growth in systems complexity. Of particular interest to the development of embedded controllers and systems are layered design and component-based design (used, e.g., in the Autosar 2 standard in the automotive sector, and the ARINC 3 standard in the avionic domain), model-based development (supported by important frameworks and tools such as SysML 4 [208] and/or AADL [211] for architecture modeling, and Modelica [133] and MatlabSimulink [168] for system modeling), virtual integration (Ptolemy [124] and Metropolis [100,68]), and platform-based design [100,114,221]. There are two basic principles followed by these methods: abstraction/refinement and composition/decomposition.…”

Section: Positive Impact Of Contract-based Designmentioning

confidence: 99%

Contracts for System Design

Benveniste¹,

Caillaud²,

Ničković³

et al. 2018

FNT in Electronic Design Automation

152

View full text Add to dashboard Cite

Section: Positive Impact Of Contract-based Designmentioning

confidence: 99%

Contracts for System Design

Benveniste¹,

Caillaud²,

Ničković³

et al. 2018

FNT in Electronic Design Automation

152

View full text Add to dashboard Cite

“…It has been widely studied in the Ptolemy project [12], MoBIES project [9], SML-Sys modeling frameworks [17], ForSyDe modeling frameworks [19], etc. In these projects, certain common formalisms or agent-based methods are proposed to model or express heterogeneous components, which generally rely on different models of computation.…”

Section: Related Workmentioning

confidence: 99%

System-level co-simulation of integrated avionics using polychrony

Glouche

et al. 2011

Proceedings of the 2011 ACM Symposium on Applied Computing

View full text Add to dashboard Cite

The design of embedded systems from multiple views and heterogeneous models is ubiquitous in avionics as, in particular, different high-level modeling standards are adopted for specifying the structure, hardware and software components of a system. The system-level simulation of such composite models is necessary but difficult task, allowing to validate global design choices as early as possible in the system design flow. This paper presents an approach to the issue of composing, integrating and simulating heterogeneous models in a system co-design flow. First, the functional behavior of an application is modeled with synchronous data-flow and statechart diagrams using Simulink/Gene-Auto. The system architecture is modeled in the AADL standard. These highlevel, synchronous and asynchronous, models are then translated into a common model, based on a polychronous model of computation, allowing for a Globally Asynchronous Locally Synchronous (GALS) interpretation of the composed models. This translation is implemented as an automatic model transformation within Polychrony, a toolkit for embedded systems design. Simulation, including profiling and value change dump demonstration, has been carried out based on the common model within Polychrony. An avionic case study, consisting of a simplified doors and slides control system, is presented to illustrate our approach.

show abstract

“…An early systematic approach to such mixed models was realized in Ptolemy Classic [4]. Ptolemy II is a successor to Ptolemy Classic [5]. Influenced by the Ptolemy approach, SystemC is capable of realizing multiple MoCs [31,32].…”

Section: Related Workmentioning

confidence: 99%

“…The technique I describe is that developed in the Ptolemy Project, and largely previously presented in [4,5,6]. The key idea is to use a common abstract syntax for a diverse set of actor-oriented models, and to hierarchically compose those models using an abstract semantics.…”

Section: Introductionmentioning

confidence: 99%

Disciplined Heterogeneous Modeling

Lee¹

2010

Model Driven Engineering Languages and Systems

View full text Add to dashboard Cite

Abstract. Complex 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 the semantics of the modeling frameworks that compromises interoperability, understandability, and analyzability of the models. An alternative approach is to embrace heterogeneity and to provide mechanisms for a diversity of models to interact. This paper reviews an approach that achieves such 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. An example of such an abstract semantics is the actor semantics, which can handle many heterogeneous models that are built today, and some that are not common today. The actor abstract semantics and many concrete semantics have been implemented in Ptolemy II, an open-source software framework distributed under a BSD-style license.

show abstract

Taming heterogeneity - the Ptolemy approach

Cited by 806 publications

References 35 publications

Contracts for System Design

Contracts for System Design

System-level co-simulation of integrated avionics using polychrony

Disciplined Heterogeneous Modeling

Contact Info

Product

Resources

About