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 modeling and verification in the software engineering framework of IEC61499: A way to self-verifying systems
Department of Engineering Sciences, Martin Luther University Halle-Wittenberg.
2001 (English)In: Proceedings: October 15 - 18, 2001, Antibes - Juan les Pins, France, Piscataway, NJ: IEEE Communications Society, 2001, p. 113-118Conference paper, Published paper (Refereed)
Abstract [en]

This paper discusses the issues related to the correctness of agile manufacturing systems with distributed architectures. The corresponding development of software engineering methods targets the goal of easy-re-configurable software self-organized similar to that of the hardware. However, the existing methods of software validation (manual testing or computer-aided simulation) are too slow to keep up with a pace of reconfigurations. In this paper we present an approach and a software tools to incorporate the formal verification to the practice of control engineering. The software package "Verification Environment for Distributed Applications" (VEDA) has been developed for model-based simulation and verification united by a homogeneous graphical user interface. Net Condition Event Systems (NCES) are used for modeling. VEDA deals with distributed controllers as defined in IEC61499 and automatically generates the formal model of the controller given its source code.

Place, publisher, year, edition, pages
Piscataway, NJ: IEEE Communications Society, 2001. p. 113-118
Identifiers
URN: urn:nbn:se:ltu:diva-28269Local ID: 2035a482-82e0-4cc1-8cf4-4efdcbf325e4ISBN: 780372417 (print)OAI: oai:DiVA.org:ltu-28269DiVA, id: diva2:1001464
Conference
IEEE International Conference on Emerging Technologies and Factory Automation : 15/10/2001 - 18/10/2001
Note
Upprättat; 2001; 20130531 (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

isbn
urn-nbn

Altmetric score

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