Modeling language interpretation for validation

Abstract

This paper describes an approach to deploy the interpretation of a modeling language in order to get support for the verification of system models and to produce the necessary software to simulate the system behavior. The language to define system models, the XNetMod language, has been specified to the purpose of modeling systems with a network structure, that is made of interrelated components. It is an XML-based language. For verification purposes an algebra has been developed. The approach combines formal methods with model-based development. The simulation software components are generated from the system model definition. The simulation of the system can provide information related to issues such as simulation-based supervision, control and decision-making mechanisms, yielding a useful support to validation activities.