Talks and Poster Presentations (with Proceedings-Entry):
R. Mordinyi, T Moser, S. Biffl:
"Model-based Validation of Integrated Automation Systems Engineering Environments";
Talk: 7th Vienna International Conference on Mathematical Modelling (MATHMOD'12),
- 2012-02-17; in: "Proceedings of 7th Vienna International Conference on Mathematical Modelling (MATHMOD'12) - Modelling and Model Transformation in Automation Technologies",
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.
Test Generation, Software Tools, Knowledge Engineering, System Integration, Validation, Data Models
Created from the Publication Database of the Vienna University of Technology.