Towards Model-driven Verification of Robot Control Code using Abstract Syntax Trees in Production Systems Engineering

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21730%2F19%3A00337288" target="_blank" >RIV/68407700:21730/19:00337288 - isvavai.cz</a>

Výsledek na webu

<a href="https://dl.acm.org/doi/10.5220/0007484104020409" target="_blank" >https://dl.acm.org/doi/10.5220/0007484104020409</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.5220/0007484104020409" target="_blank" >10.5220/0007484104020409</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Towards Model-driven Verification of Robot Control Code using Abstract Syntax Trees in Production Systems Engineering

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Towards Model-driven Verification of Robot Control Code using Abstract Syntax Trees in Production Systems Engineering

Popis výsledku anglicky

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.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

20204 - Robotics and automatic control

Projekt

<a href="/cs/project/TF04000054" target="_blank" >TF04000054: DAMiAS - Datově řízená správa zařízení v automobilovém průmyslu založená na sémantickém modelování</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2019

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

MODELSWARD 2019: Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development

ISBN

978-989-758-358-2

ISSN

—

e-ISSN

—

Počet stran výsledku

8

Strana od-do

402-409

Název nakladatele

The ACM Digital Library

Místo vydání

—

Místo konání akce

Praha

Datum konání akce

20. 2. 2019

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

000570981600040