A formal representation of discrete event models in Ptolemy II

Authors:
Rae Young Lee;Won-Tae Kim;In-Geol Chun;Woochul Kang;Seung-Min Park
Affiliations:
Electronics and Telecommunications Research Institute, Daejeon, Republic of Korea;Electronics and Telecommunications Research Institute, Daejeon, Republic of Korea;Electronics and Telecommunications Research Institute, Daejeon, Republic of Korea;Electronics and Telecommunications Research Institute, Daejeon, Republic of Korea;Electronics and Telecommunications Research Institute, Daejeon, Republic of Korea
Venue:
ICACT'10 Proceedings of the 12th international conference on Advanced communication technology
Year:
2010

Citing 3
Cited 0

Object-oriented simulation with hierarchical, modular models: intelligent agents and endomorphic systems

Object-oriented simulation with hierarchical, modular models: intelligent agents and endomorphic systems
Theory of Modeling and Simulation

Theory of Modeling and Simulation
Generating embedded software from hierarchical hybrid models

Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Within the embedded software design process, formal methods including formal specifications and formal verifications can be used to check designs, with the goal of ensuring the requirements of embedded software, such as reliability and concurrency. This paper presents a means to formally describe the discrete event models of Ptolemy II that is a modeling and simulation environment for embedded software. The proposed formal specification distinguishes between model structure and behavior and can construct complex models through hierarchical compositions of sub-model. The specification may be used as a basis for formal verifications of the models.