JUCS - Journal of Universal Computer Science 10(10): 1383-1407, doi: 10.3217/jucs-010-10-1383
Platform Modeling and Model Transformations for Analysis
expand article infoTivadar Szemethy, Gabor Karsai
‡ Institute for Software-Integrated Systems, Vanderbilt University, United States of America
Open Access
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.
model-based development, model transformations, models of computation, graph transformations, software verification