Operation-Oriented Specification for Integrated Control Logic Development
Paper i proceeding, 2009

In order to develop a manufacturing automation system, it is necessary to understand the manufacturing operations and their relationship, the sequence of operations, which is the basis for control logic design. The operations have preconditions that define when they are allowed to start executing, which also defines the sequence relations among them. Requirements and demands throughout the development will add and change these conditions, which also changes the sequence of operations. This paper studies how an operation-oriented development approach better can handle the operations and manufacturing sequences from early product design to detailed control engineering. An operation is defined by an extended finite automaton, with an initial, executes and finished location. The start event is enabled by a precondition, the stop event is enabled by a postcondition and the reset event is enabled by a reset condition. This representation together with a resource and product description enables the possibility to integrate control logic in the complete development process.

Control logic design

PLC

operations

Författare

Kristofer Bengtsson

Chalmers, Signaler och system, System- och reglerteknik

Bengt Lennartson

Chalmers, Signaler och system, System- och reglerteknik

Chengyin Yuan

Petter Falkman

Chalmers, Signaler och system, System- och reglerteknik

Stephan Biller

2009 IEEE Conference on Automation Science and Engineering, CASE 2009, Bangalore, India

183-90
978-1-4244-4578-3 (ISBN)

Ämneskategorier

Systemvetenskap

ISBN

978-1-4244-4578-3

Mer information

Skapat

2017-10-07