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
Towards formal verification of IEC61499: Modelling of data and algorithms in NCES
Department of Electrical and Computer System Engineering, University of Auckland, University of Auckland, Department of Electrical and Computer Engineering.
University of Auckland, Department of Electrical and Computer Engineering.ORCID iD: 0000-0002-9315-9920
Number of Authors: 22007 (English)In: INDIN 2007: 5th IEEE International Conference on Industrial Informatics, [July 23-27 2007, Vienna, Austria], Piscataway, NJ: IEEE Communications Society, 2007, p. 879-884Conference paper, Published paper (Refereed)
Abstract [en]

This paper aims to demonstrate the modelling details of IEC61499 basic function blocks by means of Net Condition Event Systems (NCES). In particular, the paper discusses modelling of basic data types, Boolean algebra and arithmetic operations of unsigned integer, and of simple algorithms in basic function block. The behaviour of the modelled IEC61499 systems can be verified by using model checking tools such as iMATCh and SESA.

Place, publisher, year, edition, pages
Piscataway, NJ: IEEE Communications Society, 2007. p. 879-884
Series
I E E E International Conference on Industrial Informatics, ISSN 1935-4576
National Category
Computer Sciences
Research subject
Dependable Communication and Computation Systems
Identifiers
URN: urn:nbn:se:ltu:diva-37190DOI: 10.1109/INDIN.2007.4384889Local ID: b2327748-d62b-4d28-929c-3465edbdae3eOAI: oai:DiVA.org:ltu-37190DiVA, id: diva2:1010688
Conference
IEEE International Conference on Industrial Informatics : 23/07/2007 - 27/07/2007
Available from: 2016-10-03 Created: 2016-10-03 Last updated: 2018-01-14Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full text

Authority records BETA

Vyatkin, Valeriy

Search in DiVA

By author/editor
Vyatkin, Valeriy
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
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