Related references
Note: Only part of the references are listed.Smart I/O Modules for Mitigating Cyber-Physical Attacks on Industrial Control Systems
Hammond Pearce et al.
IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (2020)
Reactors: A Deterministic Model for Composable Reactive Systems
Marten Lohstroh et al.
CYBER PHYSICAL SYSTEMS: MODEL-BASED DESIGN, CYPHY 2019 (2020)
In-Place Traceability for Automated Production Systems: A Survey of PLC and SysML Tools
Wentao Wang et al.
IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (2019)
Invited: Actors Revisited for Time-Critical Systems
Marten Lohstroh et al.
PROCEEDINGS OF THE 2019 56TH ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC) (2019)
Model-Based Testing of PLC Programs With Appropriate Conformance Relations
Anais Guignard et al.
IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (2018)
A Component Architecture for the Internet of Things
Christopher Brooks et al.
PROCEEDINGS OF THE IEEE (2018)
The Future of Industrial Communication
Martin Wollschlaeger et al.
IEEE INDUSTRIAL ELECTRONICS MAGAZINE (2017)
Static Code Analysis of IEC 61131-3 Programs: Comprehensive Tool Support and Experiences from Large-Scale Industrial Application
Herbert Praehofer et al.
IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (2017)
Authentication and Authorization for the Internet of Things
Hokeun Kim et al.
IT PROFESSIONAL (2017)
Abstract PRET Machines Invited TCRTS award paper
Edward A. Lee et al.
2017 IEEE REAL-TIME SYSTEMS SYMPOSIUM (RTSS) (2017)
QoS-Aware Scheduling of Services-Oriented Internet of Things
Ling Li et al.
IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (2014)
Internet of Things in Industries: A Survey
Li Da Xu et al.
IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (2014)
Spanner
James C. Corbett et al.
ACM TRANSACTIONS ON COMPUTER SYSTEMS (2013)
Software Engineering in Industrial Automation: State-of-the-Art Review
Valeriy Vyatkin
IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (2013)
Model-Based Validation of Industrial Control Systems
E. Estevez et al.
IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (2012)
Distributed Real-Time Software for Cyber-Physical Systems
John C. Eidson et al.
PROCEEDINGS OF THE IEEE (2012)
IEC 61499 as Enabler of Distributed and Intelligent Automation: State-of-the-Art Review
Valeriy Vyatkin
IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (2011)
IEC 61499 Architecture for Distributed Automation: The Glass Half Full'' View
Alois Zoitl et al.
IEEE INDUSTRIAL ELECTRONICS MAGAZINE (2009)
The worst-case execution-time problem - Overview of methods and survey of tools
Reinhard Wilhelm et al.
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS (2008)