A modeling approach for verification of IEC1499 function blocks using net condition/event systems

Vyatkin, Valeriy; Hanisch, Hans-Michael

doi:10.1109/etfa.1999.815365

Cited by 48 publications

(20 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…It is clear that State Diagrams, Function Charts and IEC 61131-3 modeling approaches present several drawbacks to model and validate efficiently collaborative automation systems. IEC 61499 allows analyzing models of control systems and proves their properties, but it requires the use of external languages, such as Prolog and Net Condition/Event Systems [18]. In fact, only Petri nets allow simulating the behavior model and consequently formally verifying the system specifications, using its own formalism.…”

Section: B Migration From the Virtual To The Real Worldmentioning

confidence: 99%

Smooth migration from the Virtual design to the real manufacturing control

Leitão

Mendes

Colombo

2009

2009 7th IEEE International Conference on Industrial Informatics

View full text Add to dashboard Cite

The Virtual manufacturing concept is based on the use of computational resources during the design of products and manufacturing systems, reducing the ramp-up time to market and the costs for the system's design, operation and reconfiguration. Combined with emergent paradigms for manufacturing control, such as multi-agent systems and service-orientation principles, and using a formal language to describe the system behavior, e.g. Petri nets, a truly and complete virtual production environment is achieved. This paper discusses this powerful approach to the virtual design and production environment driven by formal models, allowing users to design and deploy collaborative and re-configurable automation applications in a faster and cost-effective fashion. A special attention is devoted to the process of migration from the virtual environment to the real world, aiming to reduce the transition time and increasing the efficiency of the process.

show abstract

Section: B Migration From the Virtual To The Real Worldmentioning

confidence: 99%

Smooth migration from the Virtual design to the real manufacturing control

Leitão

Mendes

Colombo

2009

2009 7th IEEE International Conference on Industrial Informatics

View full text Add to dashboard Cite

show abstract

“…Within the last few years IAS have advanced significantly with regard to the clear identification and definition of components and enabling reuse being one of the main aims [22][23][24][25][26][27]. Function blocks serve as the basic building blocks in IAS and define inputs and outputs for events and data.…”

Section: Ias and Componentsmentioning

confidence: 99%

Simulating evolution in model-based product line engineering

Heider

Froschauer

Grünbacher

et al. 2010

Information and Software Technology

View full text Add to dashboard Cite

“…A possible solution to meet this objective is to apply formal verification techniques ( [2]) on the specification of the control logic ( [4], [13]) or the PLC code that implements this logic ( [1], [5], [6], [9], [12]). These techniques are based on an exhaustive analysis of a state space which represents the specification or the PLC code according to the verification objective.…”

Section: Introductionmentioning

confidence: 99%