Model-based design is a powerful design technique for cyber-physical systems, but too often
literature assumes knowledge of a methodology without reference to an explicit design …

Autonomous vehicles (AVs) must drive across a variety of challenging environments that
impose continuously-varying deadlines and runtime-accuracy tradeoffs on their software …

Industry 4.0 foresees benefits to companies and is supported by technologies such as Cyber-
Physical Systems (CPS), Internet of Things (IoT), Internet of Services (IoS), among others …

In this paper, a service-oriented multiagent system (SoMAS) for the control and analysis of
the cyber–physical system (CPS) in manufacturing automation utilizing a noncontact …

AUTOSAR Adaptive Platform (AP) is an emerging industry standard that tackles the
challenges of modern auto-motive software design, but does not provide adequate …

A system that needs to interact with the physical world in a timely manner is called a real-
time system. When such a system is composed of multiple subsystems, or nodes, each of …

Data-flow programming is the computational model of choice for a large class of application
domains, such as, real-time data processing, robotics platforms, and big-data analytics …

Improvements in mobile networking combined with the ubiquitous availability and adoption
of low-cost development boards have enabled the vision of mobile platforms of Cyber …

This paper proposes a formal model for industrial cyber-physical systems (CPS) with
distributed control based on IEC 61499 standard and supporting time-aware computations …

Accurate time can be a useful tool in Software Defined Networks (SDN), allowing to
coordinate network updates and topology changes, and to timestamp events and …