Extensions of Grafcet to structure behavioural specifications

Guéguen, Hervé; Bouteille, N.

doi:10.1016/s0967-0661(01)00033-8

Cited by 8 publications

(2 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Since this date, several extensions have been proposed to enhance the modeling possibilities; they are included in the last version of the standard (IEC 60848 (2002)). A good scientific presentation of the main features of the previous and current versions of the Grafcet standard can be found respectively in David (1996) and Guéguen and Bouteille (2001). Last, the reader is warned that the specification language described in the IEC 60848 standard differs from the SFC (Sequential Function Chart) proposed by the IEC 61131-3 standard (IEC 61131-3 (2003)), even if both are often named SFC in English and if models in these two languages may look similar; the differences stand both in syntax and semantics.…”

Section: Grafcet Specification Languagementioning

confidence: 99%

Translating Grafcet specifications into Mealy machines for conformance test purposes

Provost¹,

Roussel²,

Faure³

2011

Control Engineering Practice

View full text Add to dashboard Cite

Conformance test is a black-box test technique aiming at checking whether an implementation conforms to its specification. Numerous results have been already obtained in this field for specifications expressed in a formal language. However, these results cannot be applied for conformance test of industrial logic controllers whose specifications are given in standardized specification languages. To contribute to solve this issue, this paper proposes a method to obtain, from a Grafcet specification, an equivalent Mealy machine, without semantics loss. This method permits to describe explicitly and formally all the states and transitions that are implicitly represented in a Grafcet model.

show abstract

Section: Grafcet Specification Languagementioning

confidence: 99%

Translating Grafcet specifications into Mealy machines for conformance test purposes

Provost¹,

Roussel²,

Faure³

2011

Control Engineering Practice

View full text Add to dashboard Cite

show abstract

“…Since this date, several extensions have been proposed to enhance the modeling possibilities; they are included in the last version of the standard [12]. A good scientific presentation of the main features of the previous and current versions of the Grafcet standard can be found respectively in [13] and [14]. Last, the reader is warned that the specification language described in the IEC 60848 standard differs from the SFC (Sequential Function Chart) proposed by the IEC 61131-3 standard [15], even if both are often named SFC in English and if models in these two languages may look similar; the differences stand both in syntax and semantics.…”

Section: Grafcet Specification Languagementioning

confidence: 99%

A formal semantics for Grafcet specifications

Provost

Roussel

Faure

2011

2011 IEEE International Conference on Automation Science and Engineering

View full text Add to dashboard Cite

Abstract-This paper shows how the behavior of a model described in the specification language proposed by the IEC 60848 standard can be represented, without semantics loss, in a formal manner, by a finite state machine (FSM) with logic inputs and outputs. This contribution is illustrated on a nontrivial example; this case study points out that the duration of the construction of the equivalent FSM complies with the requirements of designers of automation systems.

show abstract

Formal representation of GRAFCET to automatically generate control code

Schumacher

Fay

2014

Control Engineering Practice

View full text Add to dashboard Cite

Extensions of Grafcet to structure behavioural specifications

Cited by 8 publications

References 10 publications

Translating Grafcet specifications into Mealy machines for conformance test purposes

Translating Grafcet specifications into Mealy machines for conformance test purposes

A formal semantics for Grafcet specifications

Formal representation of GRAFCET to automatically generate control code

Contact Info

Product

Resources

About