Estimating latency and concurrency of asynchronous real-time interactive systems using model checking

Rehfeld, Stephan; Latoschik, Marc Erich; Tramberend, Henrik

doi:10.1109/vr.2016.7504688

Cited by 3 publications

(3 citation statements)

References 27 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…One issue that apparently limits the technical reliability of the current systems is random fluctuations in rendering latency. 76 To provide one example of how such a seemingly minute technical problem may amplify into an adverse effect consider the following scenario. If such fluctuations lead to unexpected glitches in the graphics performance, this could lead to a mismatch between a user's visual experience and bottom-up sensory (and proprioceptive) input which, in turn, could make the user stumble or fall.…”

Section: Reliability Of Technical Performance: From a Glitch Into Thementioning

confidence: 99%

Neurophilosophical and Ethical Aspects of Virtual Reality Therapy in Neurology and Psychiatry

Kellmeyer¹

2018

Camb Q Healthc Ethics

View full text Add to dashboard Cite

Highly immersive virtual reality (VR) systems have been introduced into the consumer market in recent years. The improved technological capabilities of these systems as well as the combination with biometric sensors, for example electroencephalography (EEG), in a closed-loop hybrid VR-EEG, opens up a range of new potential medical applications. This article first provides an overview of the past and current clinical applications of VR systems in neurology and psychiatry and introduces core concepts in neurophilosophy and VR research (such as agency, trust, presence, and others). Then, important adverse effects of highly immersive VR simulations and the ethical implications of standalone and hybrid VR systems for therapy in neurology and psychiatry are highlighted. These new forms of VR-based therapy may strengthen patients in exercising their autonomy. At the same time, however, these emerging systems present ethical challenges, for example in terms of moral and legal accountability in interactions involving "intelligent" hybrid VR systems. A user-centered approach that is informed by the target patients' needs and capabilities could help to build beneficial systems for VR therapy.

show abstract

Section: Reliability Of Technical Performance: From a Glitch Into Thementioning

confidence: 99%

Neurophilosophical and Ethical Aspects of Virtual Reality Therapy in Neurology and Psychiatry

Kellmeyer¹

2018

Camb Q Healthc Ethics

View full text Add to dashboard Cite

show abstract

“…Hence, VR-benchmarking often applies non-intrusive black-box benchmarking and end-to-end measurements. Non-intrusive benchmarks include camera-based latency measures by phase shift analysis of sine curve movements [46] or body movements [49], automated frame counting [12], or formal simulation of systems [36]. Chang et al found interesting system behaviors with a non-intrusive high-speed camerabased approach [8].…”

Section: Discussion and Requirementsmentioning

confidence: 99%

Not Alone Here?! Scalability and User Experience of Embodied Ambient Crowds in Distributed Social Virtual Reality

Latoschik

Kern

Stauffert

et al. 2019

IEEE Trans. Visual. Comput. Graphics

Self Cite

View full text Add to dashboard Cite

show abstract

“…Hanawa & Yonekura [9] modelled the error of a Distributed Virtual Environment (DVE) motion predictor and compared its accuracy to numerical simulations (∼5%) and a user study. Rehfeld and Latoschik [19] demonstrated how model checking could predict the performance of an asynchronous RIS (< 30% difference). Model checking requires that the system be accurately described in a modelling language, requiring a distinctive set of skills to those required to instrument code.…”

Section: Previous Workmentioning

confidence: 99%

Profiling Distributed Virtual Environments by Tracing Causality

Friston

Griffith

Swapp

et al. 2018

2018 IEEE Conference on Virtual Reality and 3D User Interfaces (VR)

View full text Add to dashboard Cite

Real-time interactive systems such as virtual environments have high performance requirements, and profiling is a key part of the optimisation process to meet them. Traditional techniques based on metadata and static analysis have difficulty following causality in asynchronous systems. In this paper we explore a new technique for such systems. Timestamped samples of the system state are recorded at instrumentation points at runtime. These are assembled into a graph, and edges between dependent samples recovered. This approach minimises the invasiveness of the instrumentation, while retaining high accuracy. We describe how our instrumentation can be implemented natively in common environments, how its output can be processed into a graph describing causality, and how heterogeneous data sources can be incorporated into this to maximise the scope of the profiling. Across three case studies, we demonstrate the efficacy of this approach, and how it supports a variety of metrics for comprehensively bench-marking distributed virtual environments.

show abstract

Estimating latency and concurrency of asynchronous real-time interactive systems using model checking

Cited by 3 publications

References 27 publications

Neurophilosophical and Ethical Aspects of Virtual Reality Therapy in Neurology and Psychiatry

Neurophilosophical and Ethical Aspects of Virtual Reality Therapy in Neurology and Psychiatry

Not Alone Here?! Scalability and User Experience of Embodied Ambient Crowds in Distributed Social Virtual Reality

Profiling Distributed Virtual Environments by Tracing Causality

Contact Info

Product

Resources

About