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
A modeling approach for verification of IEC1499 function blocks using net condition/event systems
Institute for Automation Technology, Department of Electrical Engineering, Otto-von-Guericke University, Magdeburg.
1999 (English)In: 1999 7th IEEE International Conference on Emerging Technologies and Factory Automation proceedings, ETFA'99, October 18-21, 1999, UPC, Barcelona, Catalonia, Spain, Piscataway, NJ: IEEE Communications Society, 1999, Vol. 1, p. 261-270Conference paper, Published paper (Refereed)
Abstract [en]

This paper presents a preliminary report on verification of discrete control applications defined by a new international standard draft IEC 1499. As a first step to verification, the structures presented in the IEC1499 are modeled with Net Condition/Event Systems, for which there exist formal methods and tools of proofing various qualitative and quantitative properties. The paper illustrates the methodology of modeling and outlines further steps towards the full-scale verification of execution control of IEC1499 applications

Place, publisher, year, edition, pages
Piscataway, NJ: IEEE Communications Society, 1999. Vol. 1, p. 261-270
Identifiers
URN: urn:nbn:se:ltu:diva-37467DOI: 10.1109/ETFA.1999.815365Local ID: b82d0a76-872b-4ba8-848f-ef923b31f8a8ISBN: 780356705 (print)OAI: oai:DiVA.org:ltu-37467DiVA, id: diva2:1010965
Conference
IEEE International Conference on Emerging Technologies and Factory Automation : 18/10/1999 - 21/10/1999
Note
Upprättat; 1999; 20130626 (andbra)Available from: 2016-10-03 Created: 2016-10-03 Last updated: 2017-11-25Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full text

Search in DiVA

By author/editor
Vyatkin, Valeriy

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 19 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