Production scheduling in the context of Industry 4.0: review and trends
Notwithstanding its disruptive potential, which has been the object of considerable debate,
Industry4. 0 (I4. 0) operationalisation still needs significant study. Specifically, scheduling is …
Industry4. 0 (I4. 0) operationalisation still needs significant study. Specifically, scheduling is …
The state of framework development for implementing reasoning mechanisms in smart cyber-physical systems: A literature review
Abstract Smart CPSs (S-CPSs) have been evolving beyond what was identified by the
traditional definitions of CPSs. The objective of our research is to investigate the concepts …
traditional definitions of CPSs. The objective of our research is to investigate the concepts …
Analyzing safety of collaborative cyber-physical systems considering variability
Cyber-Physical System (CPS) is co-engineered interacting networks of physical and
computational components that operate on different spatial and temporal scales. The safety …
computational components that operate on different spatial and temporal scales. The safety …
Software engineering for smart cyber-physical systems--towards a research agenda: report on the First International Workshop on Software Engineering for Smart …
Cyber-Physical Systems (CPS) are large interconnected softwareintensive systems that
influence, by sensing and actuating, the physical world. Examples are traffic management …
influence, by sensing and actuating, the physical world. Examples are traffic management …
[HTML][HTML] Uncertainty-wise evolution of test ready models
Abstract Context Cyber-Physical Systems (CPSs), when deployed for operation, are
inherently prone to uncertainty. Considering their applications in critical domains (eg …
inherently prone to uncertainty. Considering their applications in critical domains (eg …
Goal-based configuration analysis for networks of collaborative cyber-physical systems
Networks of collaborative cyber-physical systems can achieve goals individual systems are
incapable of achieving on their own. However, which goals such a network can achieve …
incapable of achieving on their own. However, which goals such a network can achieve …
SPES XT context modeling framework
When developing embedded systems, the context is of vital importance as embedded
systems interact with the context through sensing and actuation. There is a multitude of …
systems interact with the context through sensing and actuation. There is a multitude of …
Uncertainty Theories for Real-Time Systems
Real-time systems are typically reactive embedded software-intensive systems that are part
of a larger technical system such as a vehicle or an airplane. Real-time systems perform …
of a larger technical system such as a vehicle or an airplane. Real-time systems perform …
Verifying Cyber-Physical System Behavior in the Context of Cyber-Physical System-Networks
J Brings - 2017 IEEE 25th International Requirements …, 2017 - ieeexplore.ieee.org
Cyber-physical systems are highly connected context sensitive systems that form networks.
Within these cyber-physical system-networks, behavior emerges from the interplay of the …
Within these cyber-physical system-networks, behavior emerges from the interplay of the …
Analyzing goal variability in cyber-physical system networks
Networks of collaborative cyber-physical systems can achieve goals individual systems are
incapable of achieving on their own. However, which goals such a network can achieve …
incapable of achieving on their own. However, which goals such a network can achieve …