2016 IEEE 14th International Conference on Industrial Informatics (INDIN) 2016
DOI: 10.1109/indin.2016.7819257
|View full text |Cite
|
Sign up to set email alerts
|

Requirement verification in simulation-based automation testing

Abstract: The emergence of the Industrial Internet results in an increasing number of complicated temporal interdependencies between automation systems and the processes to be controlled. There is a need for verification methods that scale better than formal verification methods and which are more exact than testing. Simulation-based runtime verification is proposed as such a method, and an application of Metric temporal logic is presented as a contribution. The practical scalability of the proposed approach is validate… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2017
2017
2020
2020

Publication Types

Select...
2
1

Relationship

0
3

Authors

Journals

citations
Cited by 3 publications
(1 citation statement)
references
References 14 publications
0
1
0
Order By: Relevance
“…As an alternative, it may be more appropriate to develop techniques based on whether a test is intended to be applied to the simulation code, provide indicators during runtime, facilitate input-output analysis, or conduct exhaustive, formal analysis. Runtime approaches may provide better short-term options for gaining acceptance by the M&S community by providing informal, real-time support for revealing potential errors as they occur [77,158], such as through the use of animations and other visual representations [24,62,72,156] as well as through audial feedback [94]. Emerging runtime approaches help to pinpoint the locations of errors through sound cues [159], spatial plots, and heat maps [128].…”
Section: Plos Onementioning
confidence: 99%
“…As an alternative, it may be more appropriate to develop techniques based on whether a test is intended to be applied to the simulation code, provide indicators during runtime, facilitate input-output analysis, or conduct exhaustive, formal analysis. Runtime approaches may provide better short-term options for gaining acceptance by the M&S community by providing informal, real-time support for revealing potential errors as they occur [77,158], such as through the use of animations and other visual representations [24,62,72,156] as well as through audial feedback [94]. Emerging runtime approaches help to pinpoint the locations of errors through sound cues [159], spatial plots, and heat maps [128].…”
Section: Plos Onementioning
confidence: 99%