A GRAFCET-compiler methodology for C-programmed microcontrollers

被引：2

作者：

Bayo-Puxan, Oriol ^{[1
]}

Rafecas-Sabate, Josep ^{[1
]}

Gomis-Bellmunt, Oriol ^{[1
]}

Bergas-Jane, Joan ^{[1
]}

机构：

[1] Univ Politecn Cataluna, CITCEA, Dept Elect Engn, ETS Engn Ind Barcelona, E-08028 Barcelona, Spain

来源：

ASSEMBLY AUTOMATION | 2008年 / 28卷 / 01期

关键词：

controllers; programming languages;

D O I：

10.1108/01445150810849019

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

Purpose - This paper seeks to describe why PLC's development tools can be used in the programming of C-programmed microcontrollers, and an exhaustive methodology to compile Graphe Fonctionnel de Commande Etapes-Transitions (GRAFCET) specifications into C-code. Design/methodology/approach - This paper introduces an exhaustive methodology to translate a given GRAFCET into an equivalent C-code, valid for embedded systems' microcontrollers. Findings - The main contribution of the paper is the presented methodology, which reduces specification and programming times, while enhancing flexibility, maintenance and reusability. Originality/value - Although this theme is not new, this paper presents a novel approach, filling the final gap: implementation into industrial systems.

引用

页码：55 / 60

页数：6

共 18 条

[1]

Adams P, 2000, PROF ENG, V13, P19

[2]

ARAGONES OB, 1998, AUTOMATITZACIIO IND

[3]

AZEVEDO JL, 1999, EMERGING TECHNOL OCT, P1275

[4] Towards automatic verification of embedded control software [J].

Bauer, N ;

Huuck, R .

SECOND ASIA-PACIFIC CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, 2001, :375-383

[5]

BOUCHER TO, 1994, COMPUTER INTEGRA OCT, P163

[6]

CARREMENETRIER V, 1999, SYSTEMS MAN CYBE OCT, P796

[7] From formal specifications to ready-to-use software components: The Concurrent Object Oriented Petri Net approach [J].

Chachkov, S ;

Buchs, D .

SECOND INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEMS DESIGN, PROCEEDINGS, 2001, :99-110

[8]

DAVID R, 1995, IEEE T CONTROL S SEP, P253

[9]

Frey G., 2000, P 4 INT C AUTOMATION, P189

[10]

GUPTA G, 2000, HIGH ASSURANCE SYSTE, P140

← 1 2 →