Modelling and Verification of CoAP over Routing Layer Using SPIN Model Checker

Many of the communication protocols developed for the resource constrained devices are rarely subjected to protocol verification. Design flaws like deadlocks, livelocks, non-progressive cycles etc. may come into view during the realization and can cause catastrophic effects in safety-critical applic...

Celý popis

Podrobná bibliografie

Vydáno v:	Procedia computer science Ročník 93; s. 299 - 308
Hlavní autoři:	Vattakunnel, Anchal J., Kumar, N. Suresh, Kumar, G Santhosh
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier B.V 2016
Témata:	COAP IoT Model checking Model Verification PROMELA SPIN Model checking COAP SPIN Model Verification PROMELA IoT
ISSN:	1877-0509, 1877-0509
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!