Tactile computing: Essential building blocks for the Tactile Internet

Aßmann, Uwe; Baier, Christel; Dubslaff, Clemens; Grzelak, Dominik; Hanisch, Simon; Hartono, Ardhi Putra Pratama; Köpsell, Stefan; Lin, Tianfang; Strufe, Thorsten

doi:10.1016/b978-0-12-821343-8.00025-3

Cited by 4 publications

(2 citation statements)

References 36 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Further applications could be imagined for context-aware systems where feature-oriented formalisms have been shown great applicability [18,33,58]. Here, our causal framework could reason about contexts responsible for certain effects, e.g., in self-adaptive systems [6]. In this vein, dynamic configurable systems [30,40] are also an interesting direction to be considered.…”

Section: Discussionmentioning

confidence: 99%

Causality in Configurable Software Systems

Dubslaff,

Weis,

Baier

et al. 2022

Preprint

Self Cite

View full text Add to dashboard Cite

Detecting and understanding reasons for defects and inadvertent behavior in software is challenging due to their increasing complexity. In configurable software systems, the combinatorics that arises from the multitude of features a user might select from adds a further layer of complexity. We introduce the notion of feature causality, which is based on counterfactual reasoning and inspired by the seminal definition of actual causality by Halpern and Pearl. Feature causality operates at the level of system configurations and is capable of identifying features and their interactions that are the reason for emerging functional and non-functional properties. We present various methods to explicate these reasons, in particular well-established notions of responsibility and blame that we extend to the feature-oriented setting. Establishing a close connection of feature causality to prime implicants, we provide algorithms to effectively compute feature causes and causal explications. By means of an evaluation on a wide range of configurable software systems, including community benchmarks and real-world systems, we demonstrate the feasibility of our approach: We illustrate how our notion of causality facilitates to identify root causes, estimate the effects of features, and detect feature interactions.

show abstract

Section: Discussionmentioning

confidence: 99%

Causality in Configurable Software Systems

Dubslaff,

Weis,

Baier

et al. 2022

Preprint

Self Cite

View full text Add to dashboard Cite

show abstract

“…From Verification to Causality-based Explications developers can focus on the parts implementing the features identified to be responsible for the bug, and users can obtain suggestions to reconfigure the system to not expose the bug. First ideas to explicate which feature activations and deactivations cause an effect in configurable systems were described in [6]. There, the set of feature configurations with observable effect is obtained by configurable systems analysis, e.g., through family-based verification [32,112,38,28].…”

Section: :6mentioning

confidence: 99%

From Verification to Causality-Based Explications (Invited Talk)

Baier¹,

Dubslaff²,

Funke³

et al. 2021

Self Cite

View full text Add to dashboard Cite

In view of the growing complexity of modern software architectures, formal models are increasingly used to understand why a system works the way it does, opposed to simply verifying that it behaves as intended. This paper surveys approaches to formally explicate the observable behavior of reactive systems. We describe how Halpern and Pearl's notion of actual causation inspired verificationoriented studies of cause-effect relationships in the evolution of a system. A second focus lies on applications of the Shapley value to responsibility ascriptions, aimed to measure the influence of an event on an observable effect. Finally, formal approaches to probabilistic causation are collected and connected, and their relevance to the understanding of probabilistic systems is discussed.

show abstract

Task-Oriented Communication Design in Cyber-Physical Systems: A Survey on Theory and Applications

Mostaani

Sharma

et al. 2022

IEEE Access

View full text Add to dashboard Cite

Communication system design has been traditionally guided by task-agnostic principles, which aim at efficiently transmitting as many correct bits as possible through a given channel. However, in the era of cyber-physical systems, the effectiveness of communications is not dictated simply by the bit rate, but most importantly by the efficient completion of the task in hand, e.g., controlling remotely a robot, automating a production line or collaboratively sensing through a drone swarm. In parallel, it is projected that by 2023, half of the worldwide network connections will be among machines rather than humans. In this context, it is crucial to establish a new paradigm for designing communication strategies for multi-agent cyber-physical systems. This is a daunting task, since it requires a combination of principles from information, communication, control theories and computer science in order to formalize a general framework for task-oriented communication designs. In this direction, this paper reviews and structures the relevant theoretical work across a wide range of scientific communities. Subsequently, it proposes a general conceptual framework for task-oriented communication design, along with its specializations according to targeted use cases. Furthermore, it provides a survey of relevant contributions in dominant applications, such as industrial internet of things, multi-unmanned aerial vehicle (UAV) systems, autonomous vehicles, distributed learning systems, smart manufacturing plants, 5G and beyond self-organizing networks, and tactile internet. Finally, this paper also highlights the most important open research topics from both the theoretical framework and application points of view.INDEX TERMS Autonomous vehicles, cyber-physical systems, federated learning, industrial IoT, reinforcement learning, task-oriented communications, goal-oriented communications, multiagent systems, multi-UAV systems, 5G self-organized networks, smart manufacturing plants, tactile internet.

show abstract

Tactile computing: Essential building blocks for the Tactile Internet

Cited by 4 publications

References 36 publications

Causality in Configurable Software Systems

Causality in Configurable Software Systems

From Verification to Causality-Based Explications (Invited Talk)

Task-Oriented Communication Design in Cyber-Physical Systems: A Survey on Theory and Applications

Contact Info

Product

Resources

About