85,950 research outputs found
Adaptive Process Management in Cyber-Physical Domains
The increasing application of process-oriented approaches in new challenging cyber-physical domains beyond business computing (e.g., personalized healthcare, emergency management, factories of the future, home automation, etc.) has led to reconsider the level of flexibility and support required to manage complex processes in such domains. A cyber-physical domain is characterized by the presence of a cyber-physical system coordinating heterogeneous ICT components (PCs, smartphones, sensors, actuators) and involving real world entities (humans, machines, agents, robots, etc.) that perform complex tasks in the “physical” real world to achieve a common goal. The physical world, however, is not entirely predictable, and processes enacted in cyber-physical domains must be robust to unexpected conditions and adaptable to unanticipated exceptions. This demands a more flexible approach in process design and enactment, recognizing that in real-world environments it is not adequate to assume that all possible recovery activities can be predefined for dealing with the exceptions that can ensue. In this chapter, we tackle the above issue and we propose a general approach, a concrete framework and a process management system implementation, called SmartPM, for automatically adapting processes enacted in cyber-physical domains in case of unanticipated exceptions and exogenous events. The adaptation mechanism provided by SmartPM is based on declarative task specifications, execution monitoring for detecting failures and context changes at run-time, and automated planning techniques to self-repair the running process, without requiring to predefine any specific adaptation policy or exception handler at design-time
Recommended from our members
Suitability of FPGA-based computing for cyber-physical systems
textCyber-Physical Systems theory is a new concept that is about to revolutionize
the way computers interact with the physical world by integrating
physical knowledge into the computing systems and tailoring such computing
systems in a way that is more compatible with the way processes happen in
the physical world. In this master’s thesis, Field Programmable Gate Arrays
(FPGA) are studied as a potential technological asset that may contribute to
the enablement of the Cyber-Physical paradigm. As an example application
that may benefit from cyber-physical system support, the Electro-Slag Remelting
process - a process for remelting metals into better alloys - has been chosen
due to the maturity of its related physical models and controller designs. In
particular, the Particle Filter that estimates the state of the process is studied
as a candidate for FPGA-based computing enhancements. In comparison
with CPUs, through the designs and experiments carried in relationship with
this study, the FPGA reveals itself as a serious contender in the arsenal of
v
computing means for Cyber-Physical Systems, due to its capacity to mimic
the ubiquitous parallelism of physical processes.Electrical and Computer Engineerin
Introduction to the Selected Papers from ICCPS 2016
Since their inception more than a decade ago, terms such as “cyber-physical systems” (CPS) or
“cooperating objects” have come to describe research and engineering efforts that tightly conjoin
real-world physical processes and computing systems. The integration of physical processes and
computing is not new; embedded computing systems have been in place for decades controlling
physical processes. The revolution is steaming from the extensive networking of embedded computing devices and the holistic cyber-physical co-design that integrates sensing, actuation, computation, networking, and physical processes. Such systems pose many broad scientific and technical
challenges, ranging from distributed programming paradigms to networking protocols, as well as
systems theory that combines physical models and networked embedded systems. Notably, as the
physical interactions imply that timing requirements are considered, real-time computing systems methodologies and technologies are also pivotal in many of those systems. Moreover, many
of these systems are often safety-critical, and therefore it is fundamental to guarantee other nonfunctional properties (such as safety, security, and reliability), which often interplay among them
and with timeliness requirements.
CPS is a growing key strategic research, development, and innovation area, and it is becoming
pivotal for boosting the development of the future generation of highly complex and automated
computing systems, which will be pervasive in virtually all application domains. Notable examples
are aeronautics, aerospace and defence systems, robotics, autonomous transportation systems, the
Internet of Things, energy-aware and green computing, smart factory automation, smart grids,
and advanced medical devices and applications.
This special issue contains a selection of extended versions of the best papers presented at the
Seventh ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2016), which was
held with the Cyber-Physical Systems Week in Vienna, Austria, on 11–14 April 2016. This selection
reflects effectively the growing pervasiveness of these systems in various applications domains.
These papers excel at describing the diversity of methodologies used to design and verify various
non-functional properties of these complex systems.info:eu-repo/semantics/publishedVersio
Integrated Cyber-Physical Simulation of Intelligent Water Distribution Networks
In cyber-physical systems (CPSs), embedded computing systems and communication capability are used to streamline and fortify the operation of a physical system. Intelligent critical infrastructure systems are among the most important CPSs and also prime examples of pervasive computing systems, as they exploit computing to provide "anytime, anywhere"
Concurrency Platforms for Real-Time and Cyber-Physical Systems
Parallel processing is an important way to satisfy the increasingly demanding computational needs of modern real-time and cyber-physical systems, but existing parallel computing technologies primarily emphasize high-throughput and average-case performance metrics, which are largely unsuitable for direct application to real-time, safety-critical contexts. This work contrasts two concurrency platforms designed to achieve predictable worst case parallel performance for soft real-time workloads with millisecond periods and higher. One of these is then the basis for the CyberMech platform, which enables parallel real-time computing for a novel yet representative application called Real-Time Hybrid Simulation (RTHS). RTHS combines demanding parallel real-time computation with real-time simulation and control in an earthquake engineering laboratory environment, and results concerning RTHS characterize a reasonably comprehensive survey of parallel real-time computing in the static context, where the size, shape, timing constraints, and computational requirements of workloads are fixed prior to system runtime. Collectively, these contributions constitute the first published implementations and evaluations of general-purpose concurrency platforms for real-time and cyber-physical systems, explore two fundamentally different design spaces for such systems, and successfully demonstrate the utility and tradeoffs of parallel computing for statically determined real-time and cyber-physical systems
- …