Using BECAMEDA method to specify and verify a smart home system

TitreUsing BECAMEDA method to specify and verify a smart home system
Publication TypeConference Paper
Year of Publication2017
AuthorsHaqiq, A, Bounabat, B
Conference NameACM International Conference Proceeding Series
Abstract

Designing a correct model for smart systems requires an accurate specification and verification prior to development. This paper proposes the use of BECAMEDA (Behavioral SpEcification and VerifiCAtion of RMAS based on E-MDRA) method, which helps the designer predicting the system behaviour, and verifying the relevant behaviour of the system properties. BECAMEDA method is based on Multi-Agent concept and formal method, and it proposes an iterative process consisted of four phases: identification, definition, modelling and verification, to help understanding the system starting from goals identification that captures the system needs, and ending with a formal verification of the system properties. The proposed method is illustrated with an example of a Smart Home System1. © 2017 Copyright is held by the owner/author(s).

URLhttps://www.scopus.com/inward/record.uri?eid=2-s2.0-85030309106&doi=10.1145%2f3128128.3128135&partnerID=40&md5=41be1e2c80793b0eb4a66d538b1df778
DOI10.1145/3128128.3128135
Revues: 

Partenaires

Localisation


Location map

Suivez-nous sur

  

Contactez-nous

ENSIAS

Avenue Mohammed Ben Abdallah Regragui, Madinat Al Irfane, BP 713, Agdal Rabat, Maroc

Résultat de recherche d'images pour "icone fax" Télécopie : (+212) 5 37 77 72 30

    Compteur de visiteurs:335,582
    Education - This is a contributing Drupal Theme
    Design by WeebPal.