Towards formalising installation and reconfiguration tasks of AADL architecture

Benlahrache, Nadira; Belala, Faïza

doi:10.1504/ijcnds.2013.057720

Search citation statements

Order By: Relevance

Paper Sections

Select...

A Brs Overview1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2017

2020

Publication Types

Select...

Other1

Article1

Relationship

Self Cite0

Independent2

Authors

Journals

Cited by 2 publications

(1 citation statement)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…There are many BRS extensions as binding bigraphs [23], stochastic bigraphs [24], bigraphs with sharing [25], directed bigraphs [26] and biAgents [5]. This formalism and its extensions can be used to model many systems in many fields as Cloud systems [27] [6], context aware systems [28], Fog systems [20],the deployment of software architecture [29], etc.…”

Section: A Brs Overviewmentioning

confidence: 99%

Formal Modeling IoT Systems on the Basis of BiAgents* and Maude

Marir¹,

Belala²,

Hameurlain

2020

2020 International Conference on Advanced Aspects of Software Engineering (ICAASE)

View full text Add to dashboard Cite

The Internet of Things is an emerging worldwide ecosystem in which smart devices interact to build smart homes, smart cities, etc. In such context, plethora of research efforts are oriented to networking and devices; analyzing and formalizing IoT systems are still in their earliest state. In this paper, we propose a BiAgents* (Bigraphical Agents) model to provide a formal description for IoT systems structure and behavior. In addition, we encode the BiAgents* specification into Maude language to enable an autonomic execution of the IoT systems' behaviors. The proposed approach is illustrated and evaluated through an example (an intelligent case of collision avoidance system).

show abstract