Requirement Verification in Simulation Based Automation Testing

Eero Siivola; Seppo Sierla; Hannu Niemistö; Tommi Karhela; Valeriy Vyatkin

doi:10.1109/INDIN.2016.7819257

Requirement Verification in Simulation Based Automation Testing

Eero Siivola, Seppo Sierla, Hannu Niemistö, Tommi Karhela, Valeriy Vyatkin

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu

2 Sitaatiot (Scopus)

Abstrakti

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 validated against a production process designed by an industrial partner, resulting in the discovery of requirement violations.

Alkuperäiskieli	Englanti
Otsikko	Proceedings of the 2016 IEEE 14th International Conference on Industrial Informatics, INDIN 2016
Kustantaja	IEEE
Sivut	740-743
Sivumäärä	4
ISBN (elektroninen)	978-1-5090-2870-2
DOI - pysyväislinkit	https://doi.org/10.1109/INDIN.2016.7819257
Tila	Julkaistu - 2016
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisussa
Tapahtuma	IEEE International Conference on Industrial Informatics - Poitiers, Ranska Kesto: 19 heinäk. 2016 → 21 heinäk. 2016 Konferenssinumero: 14 https://ieee-indin2016.sciencesconf.org/

Julkaisusarja

Nimi	IEEE International Conference on Industrial Informatics
Kustantaja	IEEE
ISSN (painettu)	1935-4576
ISSN (elektroninen)	2378-363X

Conference

Conference	IEEE International Conference on Industrial Informatics
Lyhennettä	INDIN
Maa/Alue	Ranska
Kaupunki	Poitiers
Ajanjakso	19/07/2016 → 21/07/2016
www-osoite	https://ieee-indin2016.sciencesconf.org/

Pääsy asiakirjaan

10.1109/INDIN.2016.7819257

Muut tiedostot ja linkit

ArXiv link for the conference paper

Siteeraa tätä

Siivola, E., Sierla, S., Niemistö, H., Karhela, T., & Vyatkin, V. (2016). Requirement Verification in Simulation Based Automation Testing. teoksessa Proceedings of the 2016 IEEE 14th International Conference on Industrial Informatics, INDIN 2016 (Sivut 740-743). (IEEE International Conference on Industrial Informatics). IEEE. https://doi.org/10.1109/INDIN.2016.7819257

@inproceedings{5a3f8ae7fa53423c93aa3e9e8b961213,

title = "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 validated against a production process designed by an industrial partner, resulting in the discovery of requirement violations.",

keywords = "MTL, requirement verification, temporal logic",

author = "Eero Siivola and Seppo Sierla and Hannu Niemist{\"o} and Tommi Karhela and Valeriy Vyatkin",

year = "2016",

doi = "10.1109/INDIN.2016.7819257",

language = "English",

series = "IEEE International Conference on Industrial Informatics",

publisher = "IEEE",

pages = "740--743",

booktitle = "Proceedings of the 2016 IEEE 14th International Conference on Industrial Informatics, INDIN 2016",

address = "United States",

note = "IEEE International Conference on Industrial Informatics, INDIN ; Conference date: 19-07-2016 Through 21-07-2016",

url = "https://ieee-indin2016.sciencesconf.org/",

}

Siivola, E, Sierla, S, Niemistö, H, Karhela, T & Vyatkin, V 2016, Requirement Verification in Simulation Based Automation Testing. julkaisussa Proceedings of the 2016 IEEE 14th International Conference on Industrial Informatics, INDIN 2016. IEEE International Conference on Industrial Informatics, IEEE, Sivut 740-743, IEEE International Conference on Industrial Informatics, Poitiers, Ranska, 19/07/2016. https://doi.org/10.1109/INDIN.2016.7819257

Requirement Verification in Simulation Based Automation Testing. / Siivola, Eero; Sierla, Seppo; Niemistö, Hannu et al.
Proceedings of the 2016 IEEE 14th International Conference on Industrial Informatics, INDIN 2016. IEEE, 2016. s. 740-743 (IEEE International Conference on Industrial Informatics).

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu

TY - GEN

T1 - Requirement Verification in Simulation Based Automation Testing

AU - Siivola, Eero

AU - Sierla, Seppo

AU - Niemistö, Hannu

AU - Karhela, Tommi

AU - Vyatkin, Valeriy

N1 - Conference code: 14

PY - 2016

Y1 - 2016

N2 - 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 validated against a production process designed by an industrial partner, resulting in the discovery of requirement violations.

AB - 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 validated against a production process designed by an industrial partner, resulting in the discovery of requirement violations.

KW - MTL

KW - requirement verification

KW - temporal logic

UR - http://arxiv.org/abs/1602.02504

U2 - 10.1109/INDIN.2016.7819257

DO - 10.1109/INDIN.2016.7819257

M3 - Conference article in proceedings

T3 - IEEE International Conference on Industrial Informatics

SP - 740

EP - 743

BT - Proceedings of the 2016 IEEE 14th International Conference on Industrial Informatics, INDIN 2016

PB - IEEE

T2 - IEEE International Conference on Industrial Informatics

Y2 - 19 July 2016 through 21 July 2016

ER -

Requirement Verification in Simulation Based Automation Testing

Abstrakti

Julkaisusarja

Conference

Pääsy asiakirjaan

Muut tiedostot ja linkit

Sormenjälki

Siteeraa tätä