Title | ||
---|---|---|
Work-in-Progress: Modeling of real-time communication for industrial distributed automation systems |
Abstract | ||
---|---|---|
Real-time communication of distributed automation systems come with many challenges as there is no common time basis. Often a periodic execution of applications is considered which leads to time phenomena like drifts or jitter. Thus, this type of communication requires observance and enforcement of real-time properties to guarantee reliability of distributed systems. New industrial technologies like Time-Sensitive Networking (TSN) and the IEC 61499 standard provide support to conquer upcoming challenges. Therefore, we are using these jointly with contract-based design to propose a design methodology for verification of real-time communication in IEC 61499 systems. We implemented a simulation-based verification environment and performed postmortem trace-based verification against timing specifications. The evaluation confirms the possibility of integrating our proposed representation for non-local communication into IEC 61499 for analyzing time behavior of applications. |
Year | DOI | Venue |
---|---|---|
2020 | 10.1109/WFCS47810.2020.9114413 | 2020 16th IEEE International Conference on Factory Communication Systems (WFCS) |
Keywords | DocType | ISBN |
Distributed automation systems,Real-time communication,IEC 61499 systems | Conference | 978-1-7281-5298-1 |
Citations | PageRank | References |
1 | 0.41 | 0 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Friederike Bruns | 1 | 1 | 0.75 |
Wolfgang Nebel | 2 | 484 | 76.22 |
Jörg Walter | 3 | 1 | 0.75 |
Kim Grüttner | 4 | 1 | 0.75 |