Interface Behavior Modeling for Automatic Verification of Industrial Automation Systems' Functional Conformance

Legat, Christoph; Mund, Jakob; Campetelli, Alarico; Hackenberg, Georg; Folmer, Jens; Schütz, Daniel; Broy, Manfred; Vogel‐Heuser, Birgit

doi:10.1515/auto-2014-1126

Cited by 23 publications

(10 citation statements)

References 37 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Therefore, its applicability to real industrial PLC software is limited. Recently, Legat et al (2014) and applied model checking to also consider the interplay between PLC programs and electrical as well as mechanical aspects in order to verify conformance to requirements resp. a technical process by using extensive behavioral abstractions.…”

Section: State Of the Artmentioning

confidence: 99%

Evolution of software in automated production systems: Challenges and research directions

Vogel‐Heuser

Fay

Schaefer

et al. 2015

Journal of Systems and Software

Self Cite

243

View full text Add to dashboard Cite

a b s t r a c tCoping with evolution in automated production systems implies a cross-disciplinary challenge along the system's life-cycle for variant-rich systems of high complexity. The authors from computer science and automation provide an interdisciplinary survey on challenges and state of the art in evolution of automated production systems. Selected challenges are illustrated on the case of a simple pick and place unit. In the first part of the paper, we discuss the development process of automated production systems as well as the different type of evolutions during the system's life-cycle on the case of a pick and place unit. In the second part, we survey the challenges associated with evolution in the different development phases and a couple of cross-cutting areas and review existing approaches addressing the challenges. We close with summarizing future research directions to address the challenges of evolution in automated production systems.

show abstract

Section: State Of the Artmentioning

confidence: 99%

Evolution of software in automated production systems: Challenges and research directions

Vogel‐Heuser

Fay

Schaefer

et al. 2015

Journal of Systems and Software

Self Cite

243

View full text Add to dashboard Cite

show abstract

“…The approach of linking the AML-model with the PMIF-model is similar to the presented work. However, Berardinelli et al Another approach presented by Legat et al is based on interface behavior modeling of design artifacts from various disciplines [12]. The approach supports automatic verification of the functional conformance of the artifacts.…”

Section: Related Workmentioning

confidence: 99%

Behavior modeling of automation components using cross-domain interdependencies

Brandenbourger

Vathoopan

Zoitl

2016

2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA)

View full text Add to dashboard Cite

Within the multi-disciplinary engineering process of a cyber-physical production system, the information about the plant is increasing steadily. Different departments work on separate domain-specific models and tools allowing a specialized view of the same system. However, data exchange and linking the heterogeneous information across domains is a critical issue. This paper investigates behavior modeling of automation components out of interdependencies coming from different disciplines such as mechanics, electrics, and software engineering. By this, the interlinking of the domain-specific models, as an enabling step towards early cross-domain validation and facilitated system evolution, allows a common understanding of the correct functionality of the system. The concept will be explained through the example of a pneumatic stopper and evaluated in AutomationML, an emerging standard in automation, to store and exchange artifacts between domain-specific engineering tools.

show abstract

“…They Interlink internal conditions and signals with volumes and operations for this purpose. Legat et al [10] describe an interface behavior modeling, where static interfaces are connected with a hybrid semantic behavior model considering requirements, system and process viewpoints. They apply the concept for verifying the functional conformance of a model at different stages of development.…”

Section: Background a Model Based Engineering Of Mechatronic Commentioning

confidence: 99%

A human in the loop corrective maintenance methodology using cross domain engineering data of mechatronic systems

Vathoopan

Brandenbourger

Zoitl

2016

2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA)

View full text Add to dashboard Cite

Technology trends and market changes force modern manufacturing companies to employ complex, standalone mechatronic components for automating their production. The complexity of mechatronic components induces adverse effects on their corrective maintenance. Handling downtime of these components requires knowledge of system composition, effect of external and internal disturbances on the component etc. Recognizing the human efficiency in industrial maintenance, this paper introduces a human centered corrective maintenance methodology for mechatronic components leveraging the cross disciplinary engineering data of these components. A 3D simulation model of the components' cyber-physical principles derivable from its engineering data is proposed for supporting the human doing maintenance action. A software intensive system architecture and application methods substantiating the concept are advocated.

show abstract

Interface Behavior Modeling for Automatic Verification of Industrial Automation Systems' Functional Conformance

Cited by 23 publications

References 37 publications

Evolution of software in automated production systems: Challenges and research directions

Evolution of software in automated production systems: Challenges and research directions

Behavior modeling of automation components using cross-domain interdependencies

A human in the loop corrective maintenance methodology using cross domain engineering data of mechatronic systems

Contact Info

Product

Resources

About