Model-based design of time-triggered real-time embedded systems for digital manufacturing

Abstract

This work presents a novel Model-Based Design (MBD) approach and associated tool-chain for the IEC 61131-3 specific Programmable Logical Controllers (PLC) [2]. Our toolchain automatically synthesizes software for manufacturing Time-Triggered Real-time Embedded (TTRE) systems. A Software-In-the-Loop Simulation (SILS) framework integrated into our tool-chain helps to reduce the design iterations. Using a manufacturing robot-arm use-case, we validate our tool-chain and demonstrate a 39× improvement in the Qualityof-Control (QoC) when compared to the state-of-the-art approach [1]. Our auto-generated scheduler meets all the hard real-time constraints (zero deadline misses) for a given TTRE system when compared to the scheduler (e.g., 145 deadline misses for a CPU utilization of 95%) presented in [13].

Implementation of the resonant vibratory feeders control algorithm on Simatic S7-1200 from MATLAB Simulink enviroment

“…koderu je [1], dok je isti delimično obrađivan u [2] i [3]. Simulink PLC koder generiše hardverski nezavisan IEC 61131-3 strukturni tekst iz Simulink modela, Stateflow grafika i MATLAB Coder funkcija.…”