loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Kristof Meixner 1 ; Dietmar Winkler 1 ; Petr Novák 2 and Stefan Biffl 3

Affiliations: 1 Christian Doppler Laboratory for Security and Quality Improvement in the Production System Lifecycle, TU Wien, Vienna and Austria ; 2 Czech Institute of Informatics, Robotics, and Cybernetics, Czech Technical University in Prague and Czech Republic ; 3 Information & Software Engineering Group, Institute of Information Systems Engineering, TU Wien, Vienna and Austria

Keyword(s): Production Systems Engineering, Industrial Robots, Verification and Validation, Engineering Models, Abstract Syntax Tree.

Related Ontology Subjects/Areas/Topics: Agile Model-Driven Development ; Applications and Software Development ; Methodologies, Processes and Platforms ; Model-Based Testing and Validation ; Model-Driven Software Development ; Software Engineering

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 b asis 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. (More)

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 54.208.238.160

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Meixner, K.; Winkler, D.; Novák, P. and Biffl, S. (2019). Towards Model-driven Verification of Robot Control Code using Abstract Syntax Trees in Production Systems Engineering. In Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development - MODELSWARD; ISBN 978-989-758-358-2; ISSN 2184-4348, SciTePress, pages 404-411. DOI: 10.5220/0007484104040411

@conference{modelsward19,
author={Kristof Meixner. and Dietmar Winkler. and Petr Novák. and Stefan Biffl.},
title={Towards Model-driven Verification of Robot Control Code using Abstract Syntax Trees in Production Systems Engineering},
booktitle={Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development - MODELSWARD},
year={2019},
pages={404-411},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0007484104040411},
isbn={978-989-758-358-2},
issn={2184-4348},
}

TY - CONF

JO - Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development - MODELSWARD
TI - Towards Model-driven Verification of Robot Control Code using Abstract Syntax Trees in Production Systems Engineering
SN - 978-989-758-358-2
IS - 2184-4348
AU - Meixner, K.
AU - Winkler, D.
AU - Novák, P.
AU - Biffl, S.
PY - 2019
SP - 404
EP - 411
DO - 10.5220/0007484104040411
PB - SciTePress