DEVELOPMENT OF MANUFACTURING EXECUTION SYSTEMS USING FORMAL APPROACHES

Manufacturing Execution Systems are complex reactive real time systems, which exhibit various behavioural aspects such as communications between components, state transformation inside components, and real-time constraints on the communications and state changes. Their development on the base of traditional development processes, including manual coding and follow-up testing and simulation may lead to costly errors, lower quality, delayed delivery and high overall development costs. In order to overcome these shortcomings and to improve the reliability of the designed control systems, the application of formal approaches is proposed in this paper. The paper analyses the currently state of the art in the development of MES and the methods for formal specification and verification of real time software systems. Some approaches for integrated application of different kind of semiformal and formal methods are presented and discussed.

• Batchkova

• Технические науки. Промышленность
• Физико-математические науки
• Социальные (общественные) науки
• Естественные науки