Enabling Automated Timing Verification: A Unified Approach for Industrial Distributed Control Systems

Friederike Bruns; Sven Melhop; Bianca Wiesmayr; Alois Zoitl

doi:10.1109/ICIT58233.2024.10540790

Enabling Automated Timing Verification: A Unified Approach for Industrial Distributed Control Systems

Friederike Bruns
, Sven Melhop
, Bianca Wiesmayr
, Alois Zoitl

LIT Cyber-Physical Systems Lab

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Original language	English
Title of host publication	Proceedings of the IEEE International Conference on Industrial Technology (ICIT)
Pages	234-244
Number of pages	16
ISBN (Electronic)	9798350340266
DOIs	https://doi.org/10.1109/ICIT58233.2024.10540790
Publication status	Published - Mar 2024

Publication series

Name	Proceedings of the IEEE International Conference on Industrial Technology
ISSN (Print)	2641-0184
ISSN (Electronic)	2643-2978

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

SDG 9 Industry, Innovation, and Infrastructure

Fields of science

202017 Embedded systems
102 Computer Sciences
102022 Software development
102025 Distributed systems
102029 Practical computer science
202003 Automation
202041 Computer engineering

JKU Focus areas

Digital Transformation

Access to Document

10.1109/ICIT58233.2024.10540790

Cite this

Bruns, F., Melhop, S., Wiesmayr, B., & Zoitl, A. (2024). Enabling Automated Timing Verification: A Unified Approach for Industrial Distributed Control Systems. In Proceedings of the IEEE International Conference on Industrial Technology (ICIT) (pp. 234-244). (Proceedings of the IEEE International Conference on Industrial Technology). https://doi.org/10.1109/ICIT58233.2024.10540790

@inproceedings{3d42f1353dce44e085f15ddef50ead15,

title = "Enabling Automated Timing Verification: A Unified Approach for Industrial Distributed Control Systems",

author = "Friederike Bruns and Sven Melhop and Bianca Wiesmayr and Alois Zoitl",

year = "2024",

month = mar,

doi = "10.1109/ICIT58233.2024.10540790",

language = "English",

series = "Proceedings of the IEEE International Conference on Industrial Technology",

pages = "234--244",

booktitle = "Proceedings of the IEEE International Conference on Industrial Technology (ICIT)",

}

Bruns, F, Melhop, S, Wiesmayr, B & Zoitl, A 2024, Enabling Automated Timing Verification: A Unified Approach for Industrial Distributed Control Systems. in Proceedings of the IEEE International Conference on Industrial Technology (ICIT). Proceedings of the IEEE International Conference on Industrial Technology, pp. 234-244. https://doi.org/10.1109/ICIT58233.2024.10540790

Enabling Automated Timing Verification: A Unified Approach for Industrial Distributed Control Systems. / Bruns, Friederike; Melhop, Sven; Wiesmayr, Bianca et al.
Proceedings of the IEEE International Conference on Industrial Technology (ICIT). 2024. p. 234-244 (Proceedings of the IEEE International Conference on Industrial Technology).

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

TY - GEN

T1 - Enabling Automated Timing Verification: A Unified Approach for Industrial Distributed Control Systems

AU - Bruns, Friederike

AU - Melhop, Sven

AU - Wiesmayr, Bianca

AU - Zoitl, Alois

PY - 2024/3

Y1 - 2024/3

UR - https://ieeexplore.ieee.org/document/10540790

UR - https://www.scopus.com/pages/publications/85195787032

U2 - 10.1109/ICIT58233.2024.10540790

DO - 10.1109/ICIT58233.2024.10540790

M3 - Conference proceedings

T3 - Proceedings of the IEEE International Conference on Industrial Technology

SP - 234

EP - 244

BT - Proceedings of the IEEE International Conference on Industrial Technology (ICIT)

ER -

Enabling Automated Timing Verification: A Unified Approach for Industrial Distributed Control Systems

Publication series

UN SDGs

Fields of science

JKU Focus areas

Access to Document

Other files and links

Cite this