Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The increasing demand of processing a higher number of applications and related data on computing platforms has resulted in reliance on multi-/many-core chips as they facilitate parallel processing. However, there is a desire for these platforms to be energy-efficient and reliable, and they need to perform secure computations for the interest of the whole community. This book provides perspectives on the aforementioned aspects from leading researchers in terms of state-of-the-art contributions and upcoming trends.

embedded computer systems --- cyber security --- system-level design and design-space exploration --- multi-objective optimization --- system trade-offs --- energy-efficient computing --- run-time management --- machine learning --- concurrent workloads --- multi-core systems --- processing-in-memory --- near-memory processing --- resource management --- code annotation --- compiler optimizations --- online heuristics --- energy efficiency --- 3D-stacked memories --- non-volatile memories --- peak-power management --- many-core --- directed acyclic task graphs --- high performance computing --- data centers --- resource allocation --- profit --- energy consumption --- reinforcement learning --- server consolidation --- RF --- NoC --- OFDMA --- simulator --- routing --- reconfigurable --- Hybrid Application Mapping (HAM) --- many-core systems --- embedded systems --- composability --- design space exploration (DSE) --- Network-on-Chip (NoC) --- real-time guarantees --- predictability --- multi/many-core platforms --- reliability --- mixed-criticality

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computing and communication capabilities are increasingly embedded in diverse objects and structures in the physical environment. They will link the ‘cyberworld’ of computing and communications with the physical world. These applications are called cyber physical systems (CPS). Obviously, the increased involvement of real-world entities leads to a greater demand for trustworthy systems. Hence, we use "system trustworthiness" here, which can guarantee continuous service in the presence of internal errors or external attacks. Mobile CPS (MCPS) is a prominent subcategory of CPS in which the physical component has no permanent location. Mobile Internet devices already provide ubiquitous platforms for building novel MCPS applications. The objective of this Special Issue is to contribute to research in modern/future trustworthy MCPS, including design, modeling, simulation, dependability, and so on. It is imperative to address the issues which are critical to their mobility, report significant advances in the underlying science, and discuss the challenges of development and implementation in various applications of MCPS.

Technology: general issues --- AUTOSAR --- DAG --- runnable scheduling --- control-scheduling codesign --- lagrange multiplier --- Mobile Cyber-Physical Systems (MCPS) --- industry --- Mobile Sink Groups (MSG) --- group mobility --- real-time data delivery --- Intelligent Transportation System (ITS) --- deep neural network --- Red Light Runner (RLR) --- dynamic signal control --- intersection safety --- mixed-criticality --- power-aware --- real-time scheduling --- DVFS --- security taxonomies --- event-based systems --- mobile cyber physical systems --- security flaws --- searchable encryption --- PEKS --- forward privacy --- trusted execution environment --- SGX --- data quality --- large-scale --- high-dimensionality --- linear discriminant analysis --- random projection --- bootstrapping --- controller area network bus --- authentication --- authenticity --- resiliency --- sustainability --- formal verification --- model checking --- in-vehicle network --- model compression --- adversarial robustness --- weight pruning --- adversarial training --- distillation --- embedded system --- secure AI --- AUTOSAR --- DAG --- runnable scheduling --- control-scheduling codesign --- lagrange multiplier --- Mobile Cyber-Physical Systems (MCPS) --- industry --- Mobile Sink Groups (MSG) --- group mobility --- real-time data delivery --- Intelligent Transportation System (ITS) --- deep neural network --- Red Light Runner (RLR) --- dynamic signal control --- intersection safety --- mixed-criticality --- power-aware --- real-time scheduling --- DVFS --- security taxonomies --- event-based systems --- mobile cyber physical systems --- security flaws --- searchable encryption --- PEKS --- forward privacy --- trusted execution environment --- SGX --- data quality --- large-scale --- high-dimensionality --- linear discriminant analysis --- random projection --- bootstrapping --- controller area network bus --- authentication --- authenticity --- resiliency --- sustainability --- formal verification --- model checking --- in-vehicle network --- model compression --- adversarial robustness --- weight pruning --- adversarial training --- distillation --- embedded system --- secure AI

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computing and communication capabilities are increasingly embedded in diverse objects and structures in the physical environment. They will link the ‘cyberworld’ of computing and communications with the physical world. These applications are called cyber physical systems (CPS). Obviously, the increased involvement of real-world entities leads to a greater demand for trustworthy systems. Hence, we use "system trustworthiness" here, which can guarantee continuous service in the presence of internal errors or external attacks. Mobile CPS (MCPS) is a prominent subcategory of CPS in which the physical component has no permanent location. Mobile Internet devices already provide ubiquitous platforms for building novel MCPS applications. The objective of this Special Issue is to contribute to research in modern/future trustworthy MCPS, including design, modeling, simulation, dependability, and so on. It is imperative to address the issues which are critical to their mobility, report significant advances in the underlying science, and discuss the challenges of development and implementation in various applications of MCPS.

Technology: general issues --- AUTOSAR --- DAG --- runnable scheduling --- control-scheduling codesign --- lagrange multiplier --- Mobile Cyber-Physical Systems (MCPS) --- industry --- Mobile Sink Groups (MSG) --- group mobility --- real-time data delivery --- Intelligent Transportation System (ITS) --- deep neural network --- Red Light Runner (RLR) --- dynamic signal control --- intersection safety --- mixed-criticality --- power-aware --- real-time scheduling --- DVFS --- security taxonomies --- event-based systems --- mobile cyber physical systems --- security flaws --- searchable encryption --- PEKS --- forward privacy --- trusted execution environment --- SGX --- data quality --- large-scale --- high-dimensionality --- linear discriminant analysis --- random projection --- bootstrapping --- controller area network bus --- authentication --- authenticity --- resiliency --- sustainability --- formal verification --- model checking --- in-vehicle network --- model compression --- adversarial robustness --- weight pruning --- adversarial training --- distillation --- embedded system --- secure AI --- n/a

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The increasing demand of processing a higher number of applications and related data on computing platforms has resulted in reliance on multi-/many-core chips as they facilitate parallel processing. However, there is a desire for these platforms to be energy-efficient and reliable, and they need to perform secure computations for the interest of the whole community. This book provides perspectives on the aforementioned aspects from leading researchers in terms of state-of-the-art contributions and upcoming trends.

Technology: general issues --- embedded computer systems --- cyber security --- system-level design and design-space exploration --- multi-objective optimization --- system trade-offs --- energy-efficient computing --- run-time management --- machine learning --- concurrent workloads --- multi-core systems --- processing-in-memory --- near-memory processing --- resource management --- code annotation --- compiler optimizations --- online heuristics --- energy efficiency --- 3D-stacked memories --- non-volatile memories --- peak-power management --- many-core --- directed acyclic task graphs --- high performance computing --- data centers --- resource allocation --- profit --- energy consumption --- reinforcement learning --- server consolidation --- RF --- NoC --- OFDMA --- simulator --- routing --- reconfigurable --- Hybrid Application Mapping (HAM) --- many-core systems --- embedded systems --- composability --- design space exploration (DSE) --- Network-on-Chip (NoC) --- real-time guarantees --- predictability --- multi/many-core platforms --- reliability --- mixed-criticality

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

A key aspect of cyber-physical systems (CPS) is their potential for integrating information technologies with embedded control systems and physical systems to form new or improved functionalities. CPS thus draws upon advances in many areas. This positioning provides unprecedented opportunities for innovation, both within and across existing domains. However, at the same time, it is commonly understood that we are already stretching the limits of existing methodologies. In embarking towards CPS with such unprecedented capabilities, it becomes essential to improve our understanding of CPS complexity and how we can deal with it. Complexity has many facets, including complexity of the CPS itself, of the environments in which the CPS acts, and in terms of the organizations and supporting tools that develop, operate, and maintain CPS. This book is a result of a journal Special Issue, with the objective of providing a forum for researchers and practitioners to exchange their latest achievements and to identify critical issues, challenges, opportunities, and future directions for how to deal with the complexity of future CPS. The contributions include 10 papers on the following topics: (I) Systems and Societal Aspects Related to CPS and Their Complexity; (II) Model-Based Development Methods for CPS; (III) CPS Resource Management and Evolving Computing Platforms; and (IV) Architectures for CPS.

History of engineering & technology --- component-based software engineering --- mode --- mode-switch --- complexity --- cyber-physical systems --- systems engineering --- uncertainty --- microgrid --- distributed design --- self-similar architecture --- plug-n-play --- distributed control --- distribution network --- field test --- autonomous cyber-physical systems --- resilience --- ethics --- nano-bio-info-cogno technologies --- smart cyber-physical systems --- self-generated intelligence --- ampliative reasoning mechanism --- procedural abduction --- data-driven system control --- run-time acquired data --- computational functions --- self-adaptation capability --- human/socially-centered applications --- embedded systems --- software component --- component-based development --- CBD --- GPU --- GPU component --- allocation --- component allocation --- architecture layer --- time-triggered system --- real-time --- adaptation --- scheduling --- multi-core --- real-time systems --- Fixed-Priority Preemptive Scheduling (FPPS) --- mixed-criticality systems --- Cyber Physical Systems --- Reactive Systems --- Model-Based Design --- Embedded Systems --- Automatic Code Generation --- IDE --- Internet of Things --- model testing --- mutation testing --- energy consumption --- EAST-ADL --- component-based software engineering --- mode --- mode-switch --- complexity --- cyber-physical systems --- systems engineering --- uncertainty --- microgrid --- distributed design --- self-similar architecture --- plug-n-play --- distributed control --- distribution network --- field test --- autonomous cyber-physical systems --- resilience --- ethics --- nano-bio-info-cogno technologies --- smart cyber-physical systems --- self-generated intelligence --- ampliative reasoning mechanism --- procedural abduction --- data-driven system control --- run-time acquired data --- computational functions --- self-adaptation capability --- human/socially-centered applications --- embedded systems --- software component --- component-based development --- CBD --- GPU --- GPU component --- allocation --- component allocation --- architecture layer --- time-triggered system --- real-time --- adaptation --- scheduling --- multi-core --- real-time systems --- Fixed-Priority Preemptive Scheduling (FPPS) --- mixed-criticality systems --- Cyber Physical Systems --- Reactive Systems --- Model-Based Design --- Embedded Systems --- Automatic Code Generation --- IDE --- Internet of Things --- model testing --- mutation testing --- energy consumption --- EAST-ADL