2010
EMSS 2010 Proceeding
Behavioral verification of bom based composed models
Authors: Imran Mahmood, Rassul Ayani, Vladimir Vlassov, Farshad Moradi
Abstract
A verified composition of predefined reusable simulation components such as BOM (Base Object Model) plays a significant role in saving time and cost in the development of various simulations. BOM represents a reusable component framework and posses the ability to rapidly compose simulations but lacks semantic and behavioral expressiveness required to match components for a suitable composition. Moreover external techniques are required to evaluate behavioral verification of BOM based components. In this paper we discuss behavioral verification and propose an approach to verify the dynamic behavior of a set of composed BOM components against given specifications. We further define a Model Tester that provides means to verify behavior of a composed model during its execution. We motivate our verification approach by suggesting solutions for some of the categories of system properties. We also provide a case study to clarify our approach.
I3M Scientific Sponsors
I3M Industrial Sponsors
I3M Media Sponsors
