Analysis and Comparison of Frameworks Supporting Formal System Development based on Models of Computation

Augusto Y. Horita,Ricardo Bonna,Denis S. Loubach

16TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY-NEW GENERATIONS (ITNG 2019)（2019）

引用 1|浏览1

暂无评分

摘要

In this paper, we compare two formal model-based frameworks supporting both system modeling and simulation which are based on models of computation: Ptolemy II and ForSyDe. The paper shows the main benefits and drawbacks of each compared framework, and also brings two different systems modeled using the synchronous reactive and synchronous dataflow models of computation.

查看译文

关键词

Modeling, Simulation, Formal models of computation, Synchronous reactive, Synchronous dataflow

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要