CoAP-SPARK 0.9.0 released

CoAP-SPARK is a library implementing the Constrained Application Protocol (CoAP) as defined in RFC 7252, developed in SPARK and verified to be free of run-time errors (silver level).

This version implements the client side of the protocol with some limitations:

  • It does not support block-wise transfers (extension to RFC 7252).
  • It does not support retransmission of messages.
  • It only supports NoSec and PreSharedKey security modes.

An example and tool implementing a command-line CoAP client can be found in the coap_client crate.

8 Likes

Documentation of the project (my Master’s Thesis draft) can be found in https://github.com/mgrojo/coap_spark/releases/download/v0.9.0/Memoria_TFM_CoAP-SPARK-Spanish.pdf (sorry, but only in Spanish). Any comment or feedback is appreciated.

4 Likes

As done by Maxim on the AQS, you could ask to Google’s NotebookLM to generate a podcast on your master thesis!