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á bibliografia

Vydané v:	Procedia computer science Ročník 93; s. 299 - 308
Hlavní autori:	Vattakunnel, Anchal J., Kumar, N. Suresh, Kumar, G Santhosh
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Elsevier B.V 2016
Predmet:	COAP IoT Model checking Model Verification PROMELA SPIN Model checking COAP SPIN Model Verification PROMELA IoT
ISSN:	1877-0509, 1877-0509
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!