[Back]


Talks and Poster Presentations (with Proceedings-Entry):

K. Meixner, D. Winkler, P. Novak, S. Biffl:
"Towards Model-driven Verification of Robot Control Code using Abstract Syntax Trees in Production Systems Engineering";
Talk: 7th International Conference on Model-Driven Engineering and Software Development 2019 (Modelsward 2019), Prague, Czech Republik; 2019-02-20 - 2019-02-22; in: "Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development 2019", SciTePress, (2019), ISBN: 978-989-758-358-2; 404 - 411.



English abstract:
Context. In Production Systems, software components are often tightly connected to defined hardware device
types like robots. Different types of robots, even from the same vendor, often use vendor-specific programming
languages. Therefore, the exchange of devices or device types, e.g., during system evolution, is challenging
and needs new or adapted control software and repeated verification and validation process steps, even if the
software behavior remains unchanged. Models aim at supporting these verification and validation tasks during
system evolution. Objective. This position paper aims at providing a verification and validation process approach with models for supporting automation systems maintenance and evolution processes. For evaluation
purposes, we report on a feasibility study with a focus on two selected robot types in the context of Production Systems Engineering (PSE). Method. We use the Abstract Syntax Tree (AST) concept as a foundation for
generating models as the basis for human-based verification and validation. Based on two generated AST variants, related to old and new software control code, human experts can compare the behavior of the expected
system to verify and validate the code. Results. First results showed the feasibility of the AST concept to
support human-based verification and validation in the context of PSE maintenance projects on a structural
level. Conclusion. Although the human-based verification and validation process is feasible and promising on
a structural level, the complexity of AST for large-scale models needs to be addressed by tool support to overcome complexity levels of the production system and limitations of human-based verification and validation.

Keywords:
Production Systems Engineering, Industrial Robots, Verification and Validation, Engineering Models, Abstract Syntax Tree


"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.5220/0007484104040411


Created from the Publication Database of the Vienna University of Technology.