Does portability of IEC 61499 mean that once programmed control software runs everywhere?

Gerber, Christian; Hanisch, Hans-Michael

doi:10.3182/20100701-2-pt-4011.00006

Cited by 5 publications

(2 citation statements)

References 26 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Fig modelling that The tool chain is used fo verification of Programmable L aid of simulation. It encompa based on active research in the distributed embedded control described in [3,[21][22][23][24][25][26][27]. Howev the tool chain is outside of the discuss here only one of it generator/configurator.…”

Section: Using Controlled Non-determinismmentioning

confidence: 99%

Closed-loop formal verification framework with non-determinism, configurable by meta-modelling

Patil

Bhadra

Vyatkin

2011

IECON 2011 - 37th Annual Conference of the IEEE Industrial Electronics Society

View full text Add to dashboard Cite

Abstract-Formal verification of embedded control systems using closed-loop plant-controller models is getting increasingly popular. In this paper we propose a new method reducing complexity of model-checking on account of infusing nondeterminism into certain parts of the plant model during formal verification process guided by a software tool. Net Condition/Event Systems (NCES) formalism is used for modular design of closed-loop models which are verified by ViVe and SESA model-checkers. Its performance is compared to modelling with finite state verified with SMV and UPPAAL and is proven to be superior.

show abstract

Section: Using Controlled Non-determinismmentioning

confidence: 99%

Closed-loop formal verification framework with non-determinism, configurable by meta-modelling

Patil

Bhadra

Vyatkin

2011

IECON 2011 - 37th Annual Conference of the IEEE Industrial Electronics Society

View full text Add to dashboard Cite

show abstract

“…Gerber and Hanisch [18] show that the execution environment can change the execution behavior and added it to their verification models. However, Sünder and Vyatkin [19] show that a full mathematical model of the whole execution environment and the control hardware leads to highly complex models, i.e.…”

Section: Introductionmentioning

confidence: 99%

A unit-test framework for event-driven control components modeled in IEC 61499

Hametner

Hegny

Zoitl

2014

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)

View full text Add to dashboard Cite

To cope with the need for flexibility of industrial applications, and other customer related requirements, functional control behavior is shifted from hardware to software. This leads to higher software complexity. Therefore, testing of industrial software is a key technique to ensure overall system quality. Based on an analysis of testing approaches in software engineering and requirements in industrial automation system design with IEC 61499 function blocks a new unit testing process is proposed. The implementation of a platform independent test framework for IEC 61499 function blocks shows the applicability of the proposed testing process with representative examples. The presented solution is the first test framework based on the test first development approach to increase the software quality for industrial automation systems.

show abstract

Improving verification and reliability of distributed control systems design according to IEC 61499

Lapp

Gerber

Hanisch

2010

2010 IEEE 15th Conference on Emerging Technologies &Amp; Factory Automation (ETFA 2010)

View full text Add to dashboard Cite

Does portability of IEC 61499 mean that once programmed control software runs everywhere?

Cited by 5 publications

References 26 publications

Closed-loop formal verification framework with non-determinism, configurable by meta-modelling

Closed-loop formal verification framework with non-determinism, configurable by meta-modelling

A unit-test framework for event-driven control components modeled in IEC 61499

Improving verification and reliability of distributed control systems design according to IEC 61499

Contact Info

Product

Resources

About