An object-oriented modeling of real-time robotic assembly system

摘要

The paper briefly illustrates an object-oriented-formal modeling of a real-time robotic assembly system. The approach provides a means to structure the system model into independent, modular, and reusable components, thereby making it to be beneficial for system design and maintenance. The underlying formal basis of the approach facilitates validation and formal verification of system requirements.