Requirement Verification in Simulation Based Automation Testing

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

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

1 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äiskieliEnglanti
OtsikkoProceedings of the 2016 IEEE 14th International Conference on Industrial Informatics, INDIN 2016
KustantajaIEEE
Sivut740-743
Sivumäärä4
ISBN (elektroninen)978-1-5090-2870-2
DOI - pysyväislinkit
TilaJulkaistu - 2016
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
TapahtumaIEEE International Conference on Industrial Informatics - Poitiers, Ranska
Kesto: 19 heinäk. 201621 heinäk. 2016
Konferenssinumero: 14
https://ieee-indin2016.sciencesconf.org/

Julkaisusarja

NimiIEEE International Conference on Industrial Informatics
KustantajaIEEE
ISSN (painettu)1935-4576
ISSN (elektroninen)2378-363X

Conference

ConferenceIEEE International Conference on Industrial Informatics
LyhennettäINDIN
Maa/AlueRanska
KaupunkiPoitiers
Ajanjakso19/07/201621/07/2016
www-osoite

Sormenjälki

Sukella tutkimusaiheisiin 'Requirement Verification in Simulation Based Automation Testing'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

Siteeraa tätä