Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 10 / Issue 10

available in:   PDF (328 kB) PS (358 kB)
Similar Docs BibTeX   Write a comment
Links into Future
DOI:   10.3217/jucs-010-10-1383


Platform Modeling and Model Transformations for Analysis

Tivadar Szemethy (Institute for Software-Integrated Systems, Vanderbilt University, USA)

Gabor Karsai (Institute for Software-Integrated Systems, Vanderbilt University, USA)

Abstract: The model-based approach to the development of embedded systems relies on the use of explicit models in the design process. If these models faithfully represent the components of the system with respect to their properties as well as their interactions, then they can be used to predict the dynamic behavior of the system under construction. In this paper we argue for modeling the execution platform that facilitates the component interactions, and show how models of the application and the knowledge of the platform can be used to translate system configurations into another abstract formalism (timed automata, in our case) that allows system verification through model checking.

Keywords: graph transformations, model transformations, model-based development, models of computation, software verification

Categories: D.2.2