Real-time simulation in manufacturing systems: Challenges and research directions

G Lugaresi, A Matta - 2018 Winter Simulation Conference …, 2018 - ieeexplore.ieee.org
In the last years, the increase of data availability together with enhanced resource flexibility
shed light on the possibility to develop planning and control methods with real-time inputs …

TABOR: A graphical model-based approach for anomaly detection in industrial control systems

Q Lin, S Adepu, S Verwer, A Mathur - Proceedings of the 2018 on asia …, 2018 - dl.acm.org
Industrial Control Systems (ICS) such as water and power are critical to any society. Process
anomaly detection mechanisms have been proposed to protect such systems to minimize …

A survey of security and privacy issues in the Internet of Things from the layered context

S Deep, X Zheng, A Jolfaei, D Yu… - Transactions on …, 2022 - Wiley Online Library
Summary Internet of Things (IoT) is a novel paradigm, which not only facilitates a large
number of devices to be ubiquitously connected over the Internet but also provides a …

Digital twin for verification and validation of industrial automation systems–a survey

A Löcklin, M Müller, T Jung, N Jazdi… - 2020 25th IEEE …, 2020 - ieeexplore.ieee.org
Digital Twins will change how systems and products are engineered and operated.
Individual virtual representations of assets help to develop, maintain and change single …

Simulation for robotics test automation: Developer perspectives

A Afzal, DS Katz, C Le Goues… - 2021 14th IEEE …, 2021 - ieeexplore.ieee.org
Robotics simulation plays an important role in the design, development, and verification and
validation of robotics systems. Simulation represents a potentially cheaper, safer, and more …

A novel model usability evaluation framework (MUsE) for explainable artificial intelligence

J Dieber, S Kirrane - Information Fusion, 2022 - Elsevier
When it comes to complex machine learning models, commonly referred to as black boxes,
understanding the underlying decision making process is crucial for domains such as …

A systematic map** of semi-formal and formal methods in requirements engineering of industrial cyber-physical systems

F Zahid, A Tanveer, MMY Kuo, R Sinha - Journal of Intelligent …, 2022 - Springer
The requirements engineering of Industrial Cyber-Physical Systems is extremely
challenging due to large system sizes, component heterogeneity, involvement of multi …

Requirements for testing and validating the industrial internet of things

L Antao, R Pinto, J Reis… - 2018 IEEE International …, 2018 - ieeexplore.ieee.org
The latest advances in industry have been accomplished within the 4th Industrial
Revolution, mostly noted as Industrie 4.0. This industrial revolution is boosted by the …

Formale Methoden für rekonfigurierbare cyber-physische Systeme in der Produktion

M Grochowski, H Simon, D Bohlender… - at …, 2020 - degruyter.com
Durch zunehmende Agilität im Entwicklungsprozess, kürzere Lebenszyklen und sich
ändernde Kunden-und Gesetzgeberanforderungen müssen Produktionssysteme …

Design and verification of Cyber-Physical Systems using TrueTime, evolutionary optimization and UPPAAL

S Balasubramaniyan, S Srinivasan… - Microprocessors and …, 2016 - Elsevier
Abstract Timing imperfections in Cyber-Physical Systems (CPS) components affect their
performance and reliability. This investigation presents a methodology to design and verify …