Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Requirement verification in simulation-based automation testing
VTT Technical Research Centre of Finland .
Department of Electrical Engineering and Automation, Aalto University.
VTT Technical Research Centre of Finland .
VTT Technical Research Centre of Finland .
Show others and affiliations
Number of Authors: 5
2017 (English)In: IEEE International Conference on Industrial Informatics (INDIN), Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), 2017, 740-743 p., 7819257Conference paper, Published paper (Refereed)
Abstract [en]

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

Place, publisher, year, edition, pages
Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), 2017. 740-743 p., 7819257
Series
IEEE International Conference on Industrial Informatics INDIN, ISSN 1935-4576
National Category
Computer Science
Research subject
Dependable Communication and Computation Systems
Identifiers
URN: urn:nbn:se:ltu:diva-62187DOI: 10.1109/INDIN.2016.7819257ISI: 000393551200113Scopus ID: 2-s2.0-85012929809ISBN: 9781509028702 (electronic)OAI: oai:DiVA.org:ltu-62187DiVA: diva2:1077368
Conference
14th IEEE International Conference on Industrial Informatics, INDIN 2016, Poitiers, France, 19-21 July 2016
Available from: 2017-02-27 Created: 2017-02-27 Last updated: 2017-11-24Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Authority records BETA

Vyatkin, Valeriy

Search in DiVA

By author/editor
Vyatkin, Valeriy
By organisation
Computer Science
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 201 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf