Safety and Security specifications in an AR Context-Aware Systems: A model based on Bigraphical Reactive System(BRS)

Abstract

Abstract-In context-awareness, the system behaves appropriately in different contexts. While context can be user-role, process-task, location, time and device, awareness based on location and user activity have been studied deeply in this field. Usage of context awareness in AR application is obvious since the system can sense or detects the contexts and help users by augmenting the reality of preciseness. In this study, we focus to model a context-aware specification for an AR application. We selected Bigraphical reactive system to formalize them since it has a very powerful natural system, which can help us effectively reason and validate the behavior of context-aware systems. Since nonfunctional properties such as security are rarely investigated, and they are most demanding, we limit our investigation to only specifications related to safety and security. We will formalize the context awareness of an AR smart car and investigate whether the bigraphical reactive system can help us to better visualize, analyze and trace the safety/security requirements. We conclude that the BRS can formalize much possible safety/security scenario in an augmented reality application. However, the AR application switches to different situations a lot and make the model be complicated and difficult to trace.