GitHub - aws/Device-Shadow-for-AWS-IoT-embedded-sdk: Client library for using AWS IoT Shadow service on embedded devices (original) (raw)

AWS IoT Device Shadow library

API Documentation Pages for current and previous releases of this library can be found here

The AWS IoT Device Shadow library enables you to store and retrieve the current state (the “shadow”) of every registered device. The device’s shadow is a persistent, virtual representation of your device that you can interact with from AWS IoT Core even if the device is offline. The device state is captured as its “shadow” within a JSON document. The device can send commands over MQTT to get, update and delete its latest state as well as receive notifications over MQTT about changes in its state. Each device’s shadow is uniquely identified by the name of the corresponding “thing”, a representation of a specific device or logical entity on the AWS Cloud. SeeManaging Devices with AWS IoTfor more information on IoT "thing". More details about AWS IoT Device Shadow can be found inAWS IoT documentation. This library is distributed under the MIT Open Source License.

Note: Fromv1.1.0release onwards, you can used named shadow, a feature of the AWS IoT Device Shadow service that allows you to create multiple shadows for a single IoT device.

This library has gone through code quality checks including verification that no function has aGNU Complexityscore over 8, and checks against deviations from mandatory rules in theMISRA coding standard. Deviations from the MISRA C:2012 guidelines are documented under MISRA Deviations. This library has also undergone both static code analysis fromCoverity static analysis, and validation of memory safety through theCBMC automated reasoning tool.

See memory requirements for this libraryhere.

AWS IoT Device Shadow v1.4.1source codeis part of theFreeRTOS 202406.00 LTSrelease.

AWS IoT Device Shadow Config File

The AWS IoT Device Shadow library exposes configuration macros that are required for building the library. A list of all the configurations and their default values are defined inshadow_config_defaults.h. To provide custom values for the configuration macros, a custom config file namedshadow_config.h can be provided by the user application to the library.

By default, a shadow_config.h custom config is required to build the library. To disable this requirement and build the library with default configuration values, provide SHADOW_DO_NOT_USE_CUSTOM_CONFIG as a compile time preprocessor macro.

Building the Library

The shadowFilePaths.cmake file contains the information of all source files and the header include path required to build the AWS IoT Device Shadow library.

As mentioned in the previous section, either a custom config file (i.e. shadow_config.h) OR theSHADOW_DO_NOT_USE_CUSTOM_CONFIG macro needs to be provided to build the AWS IoT Device Shadow library.

For a CMake example of building the AWS IoT Device Shadow library with theshadowFilePaths.cmake file, refer to the coverity_analysis library target intest/CMakeLists.txt file.

Building Unit Tests

Checkout CMock Submodule

By default, the submodules in this repository are configured with update=nonein .gitmodules to avoid increasing clone time and disk space usage of other repositories (likeamazon-freertos that submodules this repository).

To build unit tests, the submodule dependency of CMock is required. Use the following command to clone the submodule:

git submodule update --checkout --init --recursive --test/unit-test/CMock

Platform Prerequisites

• For building the library, CMake 3.13.0 or later and a C90 compiler.
• For running unit tests, Ruby 2.0.0 or later is additionally required for the CMock test framework (that we use).
• For running the coverage target, gcov and lcov are additionally required.

Steps to build unit tests

1. Go to the root directory of this repository. (Make sure that the CMocksubmodule is cloned as described above.)
2. Run the cmake command: cmake -S test -B build
3. Run this command to build the library and unit tests: make -C build all
4. The generated test executables will be present in build/bin/tests folder.
5. Run cd build && ctest to execute all tests and view the test run summary.

CBMC

To learn more about CBMC and proofs specifically, review the training materialhere.

The test/cbmc/proofs directory contains CBMC proofs.

In order to run these proofs you will need to install CBMC and other tools by following the instructionshere.

Reference examples

Please refer to the demos of the AWS IoT Device Shadow library in the following locations for reference examples on POSIX and FreeRTOS platforms:

Documentation

Existing Documentation

For pre-generated documentation, please see the documentation linked in the locations below:

Note that the latest included version of IoT Device Shadow library may differ across repositories.

Generating documentation

The Doxygen references were created using Doxygen version 1.9.6. To generate the Doxygen pages, please run the following command from the root of this repository:

doxygen docs/doxygen/config.doxyfile

Contributing

See CONTRIBUTING.md for information on contributing.