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 description of an IEC 61499 runtime environment with real-time constraints
Vienna University of Technology, Automation and Control Institute (ACIN).
Vienna University of Technology, Automation and Control Institute (ACIN).
Vienna University of Technology, Automation and Control Institute (ACIN).
2007 (English)In: INDIN 2007: 5th IEEE International Conference on Industrial Informatics, [July 23-27 2007, Vienna, Austria], Piscataway, NJ: IEEE Communications Society, 2007, p. 853-859Conference paper, Published paper (Refereed)
Abstract [en]

This paper investigates on the introduction of the runtime behavior and real-time constraints into the verification process of IEC 61499 based automation systems. In detail, the event propagation policies as well as the necessary execution time for all actions within the automation system need to be described for a complete model of the automation system. The basis of the formal description provides an analytic methodology for the event propagation policy of an IEC 61499 runtime implementation. By use of this methodology within the formal model of the runtime environment, the overall system behavior can be described also in the case of reactive systems properties

Place, publisher, year, edition, pages
Piscataway, NJ: IEEE Communications Society, 2007. p. 853-859
Series
I E E E International Conference on Industrial Informatics, ISSN 1935-4576
Identifiers
URN: urn:nbn:se:ltu:diva-28192DOI: 10.1109/INDIN.2007.4384885Local ID: 1e73a67c-d9fd-42f5-8ae5-35e8f88c049eOAI: oai:DiVA.org:ltu-28192DiVA, id: diva2:1001387
Conference
IEEE International Conference on Industrial Informatics : 23/07/2007 - 27/07/2007
Note
Upprättat; 2007; 20130508 (andbra)Available from: 2016-09-30 Created: 2016-09-30 Last updated: 2017-11-25Bibliographically 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

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

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