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
Designing Efficient Reconfigurable Control Systems Using IEC61499 and Symbolic Model Checking
School of Electrical and Information Engineering, Jinan University, Zhuhai 519070, China;Saarland University, 66123 Saarbrücken, Germany;Tunisia Polytechnic School, Tunis 1080, Tunisia;LISI Lab, INSAT, University of Carthage, Tunis 1080, Tunisia.
LISI Lab, INSAT, University of Carthage, Tunis 1080, Tunisia;Higher Institute of Documentation, Manouba University, Manouba 2010, Tunisia.
School of Electrical and Information Engineering, Jinan University, Zhuhai 519070, China;National Institute of Applied Sciences and Technology, University of Carthage, Tunis 1080, Tunisia.
Chair of Automation and Energy Systems, Saarland University, 66123 Saarbrücken, Germany.
Show others and affiliations
2019 (English)In: IEEE Transactions on Automation Science and Engineering, ISSN 1545-5955, E-ISSN 1558-3783, Vol. 16, no 3, p. 1110-1124Article in journal (Refereed) Published
Abstract [en]

IEC 61499 provides a standardized approach for the development of distributed control systems. The standard introduces a component architecture, based on function blocks that are event-triggered components processing data and signals. However, it gives only limited support for the design of reconfigurable architectures. In particular, handling of several reconfiguration scenarios is quite heavy on this level since a scenario changes the execution model of the system due to requirements. To this end, a new IEC 61499-based model named reconfigurable function blocks (RFBs) is proposed. An RFB processes the reconfiguration events and switches directly to the suitable configuration using a hierarchical state machine model. The latter represents the reconfiguration model which reacts on changes in the environment in order to find an adequate reconfiguration scenario to be executed. Each scenario presents a particular sequence of algorithms, encapsulated in another execution control chart slave which represents the control model of an RFB. This hierarchy simplifies the design and separates the reconfiguration logic from control models. To verify its correctness and alleviate its state space explosion problem in model checking, this paper translates an RFB system automatically into a generalized model of reconfigurable timed net condition/event systems (GR-TNCES), a Petri net class that preserves the semantics of an RFB system. In this paper, along with verification of deterministic properties, we also propose to quantify and analyze some probabilistic properties. As a case study, we consider a smart-grid system, interpreting permanent faults in it as reconfiguration events, and we characterize them with the expected occurrence probability and the corresponding repair time. A tool chain ZiZo is developed to support the proposed approach.

Place, publisher, year, edition, pages
IEEE, 2019. Vol. 16, no 3, p. 1110-1124
Keywords [en]
Control system, IEC61499, model checking, Petri net, reconfiguration
National Category
Computer Sciences
Research subject
Dependable Communication and Computation Systems
Identifiers
URN: urn:nbn:se:ltu:diva-71597DOI: 10.1109/TASE.2018.2868897ISI: 000473649700009Scopus ID: 2-s2.0-85056577041OAI: oai:DiVA.org:ltu-71597DiVA, id: diva2:1263448
Note

Validerad;2019;Nivå 2;2019-08-16 (johcin)

Available from: 2018-11-15 Created: 2018-11-15 Last updated: 2019-08-16Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Vyatkin, Valeriy

Search in DiVA

By author/editor
Vyatkin, Valeriy
By organisation
Computer Science
In the same journal
IEEE Transactions on Automation Science and Engineering
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

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