Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Testing Automation Systems by Means of Model Checking
Department of Electrical Engineering and Automation, Aalto University.
Luleå tekniska universitet, Institutionen för system- och rymdteknik, Datavetenskap. Department of Electrical Engineering and Automation, Aalto University.ORCID-id: 0000-0002-9315-9920
2018 (Engelska)Ingår i: IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Piscataway, Nj: Institute of Electrical and Electronics Engineers (IEEE), 2018, Vol. F134116Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

ndustrial automation systems are commonly obliged to comply with correctness requirements and safety standards. Testing and simulation are traditionally used to ensure this compliance. For mission-critical applications, formal verification and model checking in particular are also used, but such techniques are computationally intensive and difficult to apply in practice. This paper searches for synergies between testing and model checking by generalizing an earlier proposed formal test modeling framework. It presents a technique of testing automation systems with the use of model checking, which now supports multiple model checking environments and a more generic test case representation. The proposed technique is applied on a case study involving a simple safety-critical system with timing requirements. Experiments show that the technique is fast despite the use of formal methods and at the same time has several benefits compared to usual testing.

Ort, förlag, år, upplaga, sidor
Piscataway, Nj: Institute of Electrical and Electronics Engineers (IEEE), 2018. Vol. F134116
Serie
IEEE International Conference on Emerging Technologies and Factory Automation-ETFA, ISSN 1946-0740
Nationell ämneskategori
Datavetenskap (datalogi)
Forskningsämne
Kommunikations- och beräkningssystem
Identifikatorer
URN: urn:nbn:se:ltu:diva-68184DOI: 10.1109/ETFA.2017.8247579ISI: 000427812000014Scopus ID: 2-s2.0-85044437573ISBN: 978-1-5090-6505-9 (digital)OAI: oai:DiVA.org:ltu-68184DiVA, id: diva2:1195369
Konferens
22nd IEEE International Conference on Emerging Technologies And Factory Automation (ETFA), Limassol, Cyprus, 12-15 September 2017
Tillgänglig från: 2018-04-05 Skapad: 2018-04-05 Senast uppdaterad: 2018-04-06Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Sök vidare i DiVA

Av författaren/redaktören
Vyatkin, Valeriy
Av organisationen
Datavetenskap
Datavetenskap (datalogi)

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 19 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf