Analytical Temporal Specification Issues for Industrial Control Systems

Control system architectures are expanding significantly in terms of functionality, complexity and scalability. Real-time programming methodologies have evolved in the last decade with increasing complexity of control system and scalability of equipment in the industrial automation domain. The paper proffers an analytical survey of tools and methodologies that can enhance the control action simulation and software design. The paper includes a diagnostic view for application of Real Time-Languages like Giotto and RT-Java for time critical tasks within the control system. Secondly, the paper uses the statistical approach to model the network induced delays to manifest their impact on control system operation. The aim of the paper is to analyze, model and validate the timing aspects within a control loop and physical plant operation.