A BRS-Based Modeling Approach for Context-Aware Systems: A Case Study of Smart Car System

Cherfia, Taha Abdelmoutaleb; Barkaoui, Kamel; Belala, Faïza

doi:10.1109/euc.2014.53

Cited by 4 publications

(3 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The authors (Siewe et al, 2011) have suggested a Calculation of Context-aware Ambients (CCA) to model and verify the mobile systems that are context-aware. Other works are based on the Bigraphical theory to model the structure of context-aware system (Cherfia & Belala, 2014), (Wang et al, 2011). However, the verification of the system requires many intermediate steps to translate a context model into another example of Petri network model, and then use another language to verify the behavior of the system.…”

Section: Related Workmentioning

confidence: 99%

Using Event B to Specify Context Awareness for Service Discovery in Pervasive Environments

Belgharb¹,

Boufaïda²

2017

International Journal of Ambient Computing and Intelligence

View full text Add to dashboard Cite

The environments of pervasive computing are open and dynamic. In order to ensure the dynamic discovery of services evolving in a heterogeneous and dynamic environment, specific extensions to WSDL, known as A-WSDL are suggested. These extensions permit to a service provider to define the context of service use and the behavior associated to each change of context. To verify and prove the expected behavior of the suggested discovery protocol in the design phase, the Event-B formalism is adopted. One of the advantages of the Event B formalism is the application of the refining techniques which permit to express complex features by means of mathematical proofs and moves from an abstract specification to a concrete specification by using the Rodin tool which offers a support for the refining and the proofs.

show abstract

Section: Related Workmentioning

confidence: 99%

Using Event B to Specify Context Awareness for Service Discovery in Pervasive Environments

Belgharb¹,

Boufaïda²

2017

International Journal of Ambient Computing and Intelligence

View full text Add to dashboard Cite

show abstract

“…Bigraphs are a universal computational model, defined by Milner [16], for modeling interacting systems that evolve in time and space, and have been applied to model a wide range of systems, e.g. IoT/Edge systems [17]- [19], MixedReality systems [20], context-aware systems [21], networking [22], [23], and security of Cyber-Physical systems [24], [25]. Relationships between entities, e.g.…”

Section: Introductionmentioning

confidence: 99%

BigraphTalk: Verified Design of IoT Applications

Archibald

Shieh

et al. 2020

IEEE Internet Things J.

View full text Add to dashboard Cite

Graphical IoT device management platforms, such as IoTtalk, make it easy to describe interactions between IoT devices. Applications are defined by dragging-and-dropping devices and specifying how they are connected, e.g. a door sensor controlling a light. While this allows simple and rapid development, it remains possible to specify unwanted device configurations -such as using the same device to drive a motor up and down simultaneously, risking damaging the motor.We propose BigraphTalk, a verification framework for IoTtalk that utilizes formal techniques, based on bigraphs, to statically guarantee that unwanted configurations do not arise. In particular, we check for invalid connections between devices, as well as type errors, e.g. passing a float to a boolean switch. To the best of our knowledge, BigraphTalk is the first platform to support the graphical specification of correct-by-design IoT applications.BigraphTalk provides fully automated verification and feedback without end-users ever needing to specify a bigraph. This means any application, specifiable in IoTtalk, is guaranteed, so long as verification succeeds, not to violate the given configuration constraints when deployed; with no extra cost to the user.

show abstract

“…However, they did not consider the safety/security scenarios and just provide a general view of a context-aware system. The closest work to our study is performed in [17]. In this study, the authors formalize the context-awareness of a simple smart car by using the Bigraphical Reactive System.…”

Section: Related Workmentioning

confidence: 99%

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

Khoshmanesh¹

2018

Preprint

View full text Add to dashboard Cite

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.

show abstract

A BRS-Based Modeling Approach for Context-Aware Systems: A Case Study of Smart Car System

Cited by 4 publications

References 16 publications

Using Event B to Specify Context Awareness for Service Discovery in Pervasive Environments

Using Event B to Specify Context Awareness for Service Discovery in Pervasive Environments

BigraphTalk: Verified Design of IoT Applications

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

Contact Info

Product

Resources

About