Constructing reconfigurable software for machine control systems

Reconfigurable software is highly desired for automated machine tool control systems for low-cost products and short time to market. In this paper, we propose a software architecture based on a combination of object-oriented models and executable formal specifications. In this architecture, the machine control software is viewed as an integration of a set of reusable software components, each modeled with a set of event-based external interfaces for functional definitions, a control logic driver for execution of behavioral specifications, and a set of service protocols for platform adaptation. The behaviors of the entire software can be viewed as an integration of behaviors of components and their integration, and can be specified in a Control Plan specification language, which is based on Nested Finite State Machines, independently of the component implementations. Separation of structural specification from behavioral specification enables the controller software structure to be reco...

• Type: Journal
• Year: 2002
• Where: TROB
• Authors: Shige Wang, Kang G. Shin
• Keywords: Controller Software Structure, Software, Specification, TROB 2002