Analysis and comparison of frameworks supporting formal system development based on models of computation

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

Analysis and comparison of frameworks supporting formal system development based on models of computation

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

Material

ARTIGO

Idioma

Inglês

Resumo

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...

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

Ver mais

Ver menos

Direito de acesso

Fechado

Assuntos

Simulação

Parte de evento

Autoria

Horita, Augusto Yoshio, 1987-

Bonna, Ricardo de Souza, 1990-

16th International conference on information technology-new generations (ITNG 2019)

Sites

DOI: https://doi.org/10.1007/978-3-030-14070-0_23

Texto completo: https://link.springer.com/chapter/10.1007/978-3-030-14070-0_23

Analysis and comparison of frameworks supporting formal system development based on models of computation

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

Analysis and comparison of frameworks supporting formal system development based on models of computation

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

Fontes

Advances in intelligent systems and computing Vol. 800 (May., 2019), p. 161-167