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
Architecture for automation system development based on IEC61499 standard
Martin Luther University of Halle-Wittenberg, Department of Engineering Sciences.
Martin Luther University of Halle-Wittenberg, Department of Engineering Sciences.
2005 (English)In: 2005 3rd IEEE International Conference on Industrial Informatics: 10 - 12 August 2005, Perth, Australia, Piscataway, NJ: IEEE Communications Society, 2005, p. 13-18Conference paper, Published paper (Refereed)
Abstract [en]

This paper introduces an idea of a validatable architecture for software intensive industrial automation systems. The validation means will be provided through the formal modeling of automation systems, including both modeling of uncontrolled behavior of the equipment and modeling of the control system. This will be achieved through the facilitated reuse and integration of basic models to the models of complex systems. The validation will be empowered by advanced formal verification techniques combined with more usual testing by simulation. The discussed architecture bases on the latest developments in automation such as IEC61499 standard, on the latest trends in model-based software engineering, e.g. UML, and on modular modeling concepts of Condition/Event Systems

Place, publisher, year, edition, pages
Piscataway, NJ: IEEE Communications Society, 2005. p. 13-18
Identifiers
URN: urn:nbn:se:ltu:diva-28219DOI: 10.1109/INDIN.2005.1560345Local ID: 1f1cc87b-12ab-4a0c-b7f6-e5c2b3bb748eISBN: 780390946 (print)OAI: oai:DiVA.org:ltu-28219DiVA, id: diva2:1001414
Conference
IEEE International Conference on Industrial Informatics : 10/08/2005 - 12/08/2005
Note
Upprättat; 2005; 20130525 (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

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: 25 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