Computer Science – Systems and Control
Scientific paper
2011-11-15
Computer Science
Systems and Control
IEEE International Symposium on Industrial Electronics (ISIE'97)
Scientific paper
This paper proposes a framework for automatic development of control systems from a high level specification based in Grafcet formalism. Grafcet, or Sequential Function Charts (SFC), is a special class of Petri Nets and is becoming the standard representation for sequential control systems. The proposed framework accepts a graphical (through ISaGRAPH) or textual behavioural specification of the control system to be implemented. It follows the usual procedure in software specification: the first step is to formally validate the initial specification. Then the initial specification is translated through automated processes into an implementation. At the moment there are two possible output languages: C and Palasm [1]. The target processor for the C code language are microcontroller based systems that require extended time constrains and access to external peripherals. The goal of including PLD's is the possibility of automatically design mixed hardware and software systems.
Ferreira Carla
Monteiro José
Monteiro S.
No associations
LandOfFree
Automatic Generation of C-code or PLD Circuits under SFC Graphical Environment does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Automatic Generation of C-code or PLD Circuits under SFC Graphical Environment, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Automatic Generation of C-code or PLD Circuits under SFC Graphical Environment will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-710126