Model-based testing of PLC software: test of plants' reliability by using fault injection on component level

Rösch, Susanne; Tikhonov, D.; Schütz, Daniel; Vogel‐Heuser, Birgit

doi:10.3182/20140824-6-za-1003.01238

Cited by 20 publications

(12 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Hametner et al (2010) also mention the timing diagram of the UML as a useful diagram for test case generation but no implementation is shown in their work. Rösch et al (2014) realize this test case generation, but focus especially on testing machine's reaction to faults by using fault injection. Krause et al (2008) introduce an approach to automatically generate test cases from UML state charts by first transforming them into a formal model (extended safe place/transition nets).…”

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

“…In [8], a UML-based development and test generation process for IEC 61499 is proposed which facilitates round-trip path and control flow coverage. An approach for testing error handling routines of IEC 61131 control code based on code analysis techniques and fault injection is proposed in [17]. Kumar et al [11] present another modelbased testing approach for industrial automation systems.…”

Section: Related Workmentioning

confidence: 99%

“…2) provide a well-established behavioral modeling formalism [19]. They are applicable as a basis for automated generation of implementation code as well as for model-based test case generation [17]. To serve as variable product line test model specifications, statecharts are equipped with feature annotations representing welldefined variation points in a so-called 150% test model including any possible model variant.…”

Section: Domain Analysismentioning

confidence: 99%

Applying Model-based Software Product Line Testing Approaches to the Automation Engineering Domain

Lochau

Bürdek

Lity

et al. 2014

At - Automatisierungstechnik

View full text Add to dashboard Cite

The software constitutes a major part of nowadays automation systems being responsible for conducting complex control tasks. Machines and plants are often unique in some industrial branches; hence, they become mechatronic products configured individually. The inherent software variability of those highly-configurable systems makes efficient, yet accurate quality assurance a challenging task. This article presents a comprehensive approach for applying model-based software product line testing techniques to the automation engineering domain. Existing approaches for variability modeling are adapted to domain specific modeling languages to allow for variability-aware test case generation and execution. The implementation of the approach is evaluated by means of a sample automation system product line.

show abstract

“…The test of the control software in respect to hardware faults is not focused on in the paper. [103] suggests a SWIFI approach, where test cases are generated from timing sequence diagrams for the field of production automation. In a preceding survey [103] evaluates timing sequence diagrams as a notation which is commonly used in the domain of production automation.…”

Section: Software-implemented Fault Injection (Swifi)mentioning

confidence: 99%

Review of Model-Based Testing Approaches in Production Automation and Adjacent Domains—Current Challenges and Research Gaps

Rösch

Ulewicz

Provost

et al. 2015

JSEA

Self Cite

View full text Add to dashboard Cite

As production automation systems have been and are becoming more and more complex, the task of quality assurance is increasingly challenging. Model-based testing is a research field addressing this challenge and many approaches have been suggested for different applications. The goal of this paper is to review these approaches regarding their suitability for the domain of production automation in order to identify current trends and research gaps. The different approaches are classified and clustered according to their main focus which is either testing and test case generation from some form of model automatons, test case generation from models used within the development process of production automation systems, test case generation from fault models or test case selection and regression testing.

show abstract

Model-based testing of PLC software: test of plants' reliability by using fault injection on component level

Cited by 20 publications

References 14 publications

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

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

Applying Model-based Software Product Line Testing Approaches to the Automation Engineering Domain

Review of Model-Based Testing Approaches in Production Automation and Adjacent Domains—Current Challenges and Research Gaps

Contact Info

Product

Resources

About