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
Closed-loop modeling in future automation system engineering and validation
Institute of Information Sciences, Martin Luther University of Halle-Wittenberg.
Department of Electrical and Computer Engineering, University of Auckland.
Department of Electrical and Computer Engineering, University of Auckland.
2009 (English)In: IEEE transactions on systems, man and cybernetics. Part C, Applications and reviews, ISSN 1094-6977, E-ISSN 1558-2442, Vol. 39, no 1, p. 17-28Article in journal (Refereed) Published
Abstract [en]

This paper presents a new framework for design and validation of industrial automation systems based on systematic application of formal methods. The engineering methodology proposed in this paper is based on the component design of automated manufacturing systems from intelligent mechatronic components. Foundations of such components'information infrastructure are the new IEC 61499 architecture and the automation object concept. It is illustrated in this paper how these architectures, in conjunction with other advanced technologies, such as Unified Modeling Language, Simulink, and net condition/event systems, form a framework that enables pick-and-place design, simulation, formal verification, and deployment with the support of a suite of software tools. The key feature of the framework is the inherent support of formal validation techniques achieved on account of automated transformation among different system models. The paper appeals to developers of automation systems and automation software tools via showing the pathway to improve the system development practices by combining several design and validation methodologies and technologies.

Place, publisher, year, edition, pages
2009. Vol. 39, no 1, p. 17-28
Identifiers
URN: urn:nbn:se:ltu:diva-4101DOI: 10.1109/TSMCC.2008.2005785Local ID: 1f907077-abac-4b20-be51-06fe5cf1510aOAI: oai:DiVA.org:ltu-4101DiVA, id: diva2:976964
Note
Upprättat; 2009; 20130426 (andbra)Available from: 2016-09-29 Created: 2016-09-29 Last updated: 2017-11-24Bibliographically 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
In the same journal
IEEE transactions on systems, man and cybernetics. Part C, Applications and reviews

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

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