Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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
Formal Modeling of Testing Software for Cyber-Physical Automation Systems
Computer Technologies Laboratory, ITMO University, St.-Petersburg.
Department of Electrical and Computer System Engineering, University of Auckland, University of Auckland, Department of Electrical and Computer Engineering.
Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.ORCID iD: 0000-0002-9315-9920
Number of Authors: 3
2015 (English)In: IEEE TrustCom-BigDataSE-ISPA 2015: Helsinki, 20-22 Aug. 2015, Piscataway, NJ: IEEE Communications Society, 2015, p. 301-306, article id 7345664Conference paper, Published paper (Refereed)
Abstract [en]

The paper presents a framework which uses formal models for testing control software for industrial automation systems. The formalism called Net Condition/Event Systems (NCES) is applied to model the program under test, along with the system under control (plant) and the testing environment. The benefits of using the framework include the opportunities to test systems with time delays without the need to wait, to test parameterized sets of systems with a single execution of a test suite, and to check test suites for correctness. The use of the framework is illustrated on a simple system consisting of a lab-scale plant and a control application for it

Place, publisher, year, edition, pages
Piscataway, NJ: IEEE Communications Society, 2015. p. 301-306, article id 7345664
National Category
Computer Sciences
Research subject
Dependable Communication and Computation Systems
Identifiers
URN: urn:nbn:se:ltu:diva-30766DOI: 10.1109/Trustcom.2015.648ISI: 000380431400043Scopus ID: 84969219508Local ID: 4b25139c-ac08-4282-90e4-4be3d3c0fae8ISBN: 9781467379519 (print)OAI: oai:DiVA.org:ltu-30766DiVA, id: diva2:1003995
Conference
IEEE TrustCom-BigDataSE-ISPA : 20/08/2015 - 22/08/2015
Note

Validerad; 2016; Nivå 1; 2016-10-11 (andbra)

Available from: 2016-09-30 Created: 2016-09-30 Last updated: 2018-01-14Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Search in DiVA

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

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

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

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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