Contiki-NG is an open-source, cross-platform operating system for Next-Generation IoT devices. It focuses on dependable (secure and reliable) low-power communication and standard protocols, such as IPv6/6LoWPAN, 6TiSCH, RPL, and CoAP. Contiki-NG comes with extensive documentation, tutorials, a roadmap, release cycle, and well-defined development flow for smooth integration of community contributions.
Unless explicitly stated otherwise, Contiki-NG sources are distributed under the terms of the 3-clause BSD license. This license gives everyone the right to use and distribute the code, either in binary or source code format, as long as the copyright license is retained in the source code.
Contiki-NG started as a fork of the Contiki OS and retains some of its original features.
Find out more:
- GitHub repository: https://github.com/contiki-ng/contiki-ng
- Documentation: https://github.com/contiki-ng/contiki-ng/wiki
- Web site: http://contiki-ng.org
Engage with the community:
- Gitter: https://gitter.im/contiki-ng
- Twitter: https://twitter.com/contiki_ng
Travis CI is added for demonstration of required steps to set up continuous verification. Travis-CI replays proofs with reduced timeouts to fit the 50 mins limit. Thus Travis-CI results are downgraded comparing to that we state that all functions with ACSL specs are fully verified. Coq proofs are not replayed because the Coq installation takes too long.
- The list of verified functions to replay
- The verification status to compare against
- Coccinelle patches
- Frama-C configuration for different functions
- Travis-CI configuration