Points-to analysis of IEC 61131-3 programs: Implementation and application

Angerer, Florian; Prähofer, Herbert; Ramler, Rudolf; Grillenberger, Friedrich

doi:10.1109/etfa.2013.6648062

Cited by 15 publications

(7 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Lint for C (Johnson, 1988) and FindBugs for Java (Ayewah et al, 2008). However, static code analysis for IEC 61131-3 is not yet supported sufficiently (Angerer et al, 2013). Up to now, only tools supporting parts or specific languages of IEC 61131-3 are provided, e.g.…”

Section: State Of the Artmentioning

confidence: 98%

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

Vogel‐Heuser

Fay

Schaefer

et al. 2015

Journal of Systems and Software

253

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: 98%

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

Vogel‐Heuser

Fay

Schaefer

et al. 2015

Journal of Systems and Software

253

View full text Add to dashboard Cite

show abstract

“…Test Data Machine (2) (1) Figure 7: System setup for capturing test data snapshots (static approach).…”

Section: Plc Variable Editormentioning

confidence: 99%

“…Thus testing levels have to be adjusted accordingly: "an engineering solution passes through many levels of testing before its commissioning; these include: (1) module testing (MT), (2) [7] Modeling and simulation approaches can support these test levels.…”

Section: Testing Of Industrial Automation Systemsmentioning

confidence: 99%

“…In this approach the HMI is replaced by the (1) variable editor that directly interacts with the PLC. As part of this interaction, the variable editor allows selecting a set of variables and taking a snapshot of their values, which is then written to a (2) test data file. The snapshot contains the values of all captured variables at one specific point in time, which is the moment when the capturing was performed.…”

Section: Receipt #3: Capture and Replaymentioning

confidence: 99%

“…Due to the constantly increasing share of software development in automation projects, the software parts of modern automation systems have grown to complex, large-scale applications [4]. In industrial projects, we encountered software systems at a size larger than half a million lines of IEC 61131-3 structured text [2]. Consequently, also the ratio of software development in the costs of machinery has doubled over the last decade, reaching a level of 40% [33].…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Automated testing of industrial automation software: practical receipts and lessons learned

Ramler

Putschogl

Winkler

2014

Proceedings of the 1st International Workshop on Modern Software Engineering Methods for Industrial Automation

Self Cite

View full text Add to dashboard Cite

The share of software in industrial automation systems is steadily increasing. Thus, software quality issues become a critical concern for many automation projects, which require effective software quality assurance measures. In this paper we describe an architecture for automated testing of software applications part of industrial automation systems. We focus on testing programmable logic controller (PLC) software for machineries, which can be achieved by using test automation frameworks derived from software development. The paper provides a collection of practical receipts describing how different approaches from software engineering best-practices can be applied in the context of industrial automation systems. A combination of these receipts has been used for automating software tests in an industrial automation project. In this project, more than 200 tests have been developed to assure the quality of critical PLC components. The tests are an integral part of the project's automated build and continuous integration system. Every software change triggers an automated build and test process to ensure that no defects or unintended side effects have been introduced. The feedback from the project confirmed the applicability and usefulness of the outlined testing approach in context of industry automation. The paper concludes with providing recommendations and sharing additional lessons we have learned from automated testing of PLC software.

show abstract

Benefits and Drawbacks of Representing and Analyzing Source Code and Software Engineering Artifacts with Graph Databases

Ramler

Buchgeher

Klammer

et al. 2018

Lecture Notes in Business Information Processing

View full text Add to dashboard Cite

Points-to analysis of IEC 61131-3 programs: Implementation and application

Cited by 15 publications

References 12 publications

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

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

Automated testing of industrial automation software: practical receipts and lessons learned

Benefits and Drawbacks of Representing and Analyzing Source Code and Software Engineering Artifacts with Graph Databases

Contact Info

Product

Resources

About