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
Reuse of components in formal modeling and verification of distributed control systems
Martin Luther University of Halle-Wittenberg, Department of Engineering Sciences.
2005 (English)In: ETFA 2005 :: 10th IEEE International Conference on Emerging Technologies and Factory Automation; September 19 - 22, 2005, Catania, Italy / [ed] Lucia Lo Bello ; Thilo Sauter, Piscataway, NJ: IEEE Communications Society, 2005, p. 129-134Conference paper, Published paper (Refereed)
Abstract [en]

This paper describes formal modeling and verification of automation systems from the system engineering point of view. Reuse of model components is the key issue in order to bring the scientific modeling methodology into engineering practice. The reuse is achieved by the combination of modular modeling of automation systems with object-oriented description of models in UML style. This allows to benefit from advantages of both worlds: efficiently manage highly hierarchical complex models with UML tools and end up with efficiently executable models with distributed states that are compatible also with IEC61499 function block specifications. The approach is supported by the tool framework that is described in the contribution

Place, publisher, year, edition, pages
Piscataway, NJ: IEEE Communications Society, 2005. p. 129-134
Identifiers
URN: urn:nbn:se:ltu:diva-31026Local ID: 510a0b2e-1fd2-43b6-b5be-ecac96a00ab2OAI: oai:DiVA.org:ltu-31026DiVA, id: diva2:1004255
Conference
IEEE International Conference on Emerging Technologies and Factory Automation : 19/09/2005 - 22/09/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

Authority records BETA

Vyatkin, Valeriy

Search in DiVA

By author/editor
Vyatkin, Valeriy

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

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