Contract-based design for robust networked control systems in industrial automation.

Area of Science:

• Industrial Automation
• Control Systems Engineering
• Real-time Systems

Background:

• Industrial distributed control systems (IDCS) face challenges in meeting real-time constraints.
• Existing models like IEC 61499 prioritize functionality over formal timing guarantees, risking performance degradation and safety issues.

Purpose of the Study:

• To formally enhance message definitions and develop a systematic methodology for mapping messages to physical communication channels.
• To enable precise timing verification and deterministic execution in IDCS.
• To mitigate non-determinism and communication delays in industrial automation.

Main Methods:

• Formal enhancement of logical message definitions.
• Systematic mapping of messages to physical channels based on communication protocols.
• Contract-based design for controlled message transmission and synchronization.
• Virtual integration testing for network communication timing verification.

Main Results:

• A formal message definition and a systematic mapping strategy were developed.
• Enhanced synchronization mechanisms and explicit scheduling enforcement were implemented.
• Virtual integration testing demonstrated scalable contract reuse and addressed timing constraints in closed-loop control.

Conclusions:

• The proposed modeling approach enables verification of distributed systems by integrating timing verification at design time.
• This reduces redesign efforts and improves the reliability of IDCS.
• Ensures compliance with strict timing constraints in industrial automation.