R. Mordinyi,T Moser
, S. Biffl:
"Model-based Validation of Integrated Automation Systems Engineering Environments
Vortrag: 7th Vienna International Conference on Mathematical Modelling (MATHMOD'12), Vienna; 15.02.2012 - 17.02.2012; in:"Proceedings of 7th Vienna International Conference on Mathematical Modelling (MATHMOD'12) - Modelling and Model Transformation in Automation Technologies
[ Publication Database
Automation Systems Engineering Projects typically involve the cooperation of a set of differ-ent engineering disciplines and therefore heavily rely on systems integration approaches. However, the configuration of the underlying technical integration platform is a complex and error-prone task requiring high manual effort checking whether the integration of an engineering tool is compatible with all running engineering processes and affecting engineering tools. Therefore, the outcome of the integration is only known at the end of the integration process. In this paper we describe a model-based concept which facil-itates the derivation of test cases for introducing test methods at an early stage of the integration process by using ontologies. Based on an industrial scenario we discuss that the approach helps verify compati-bility of the integration solution as knowledge regarding the overall system is captured.