2 Hits in 5.1 sec

D2.1 Vision, State of the Art and Requirements Analysis

Striccoli Domenico
2019 Zenodo  
The main objectives of this deliverable are (i) to describe the project vision, the applicability scenarios, and demonstration use cases; (ii) to perform an analysis of the State of the Art and current  ...  market solutions; (iii) to identify and describe the technical and architectural requirements of the GUARD framework.  ...  [23] with the support of the deep learning techniques, petri nets [24] , and game theory models [25] .  ... 
doi:10.5281/zenodo.3564301 fatcat:lrb6r6zat5bk5oqwpwwlui3ztm

Framework for Wireless Sensor Networks Code Generation from Formal Specification

Sara Houhou, Laid Kahloul, Saber Benharzallah, Roufaida Bettira
2017 Computer Science & Information Technology (CS & IT)   unpublished
We implemented our solution and we illustrated the proposed approach on a protocol case study for the "humidity" and "temperature" sensing in WSNs applications.  ...  Formal methods (as Automata, Petri nets, algebra, logics, etc.) were largely used in the specification of these protocols, their analysis and their verification.  ...  Recently, several authors [14] - [17] have proposed model driven software engineering (MDSE) approach for WSNs code generation from Coloured Petri Nets (CPNs). Inge  ... 
doi:10.5121/csit.2017.71204 fatcat:glqyutcvqbga3aegojvhuwnhny