A component-based, model-driven framework for constructing reliable and reusable real-time software
Adamant is a framework that enables efficient design, implementation, and test of embedded real-time software. Adamant was first developed for spacecraft flight software at the Laboratory for Atmospheric and Space Physics (LASP) at the University of Colorado, Boulder, and is now available for use under the Apache-2.0 license.
Adamant was created to solve two problems:
- Provide a technical solution that addresses the unique challenges of spacecraft flight software, with a focus on performance
- Allow for direct, verbatim code reuse from project to project to reduce development costs and increase reliability
The framework is used by first creating a model of the software in YAML-based domain specific language. This model defines a set of components and describes how they are connected together.
This model is used to generate the structural code, documentation, unit test scaffolding, and command & telemetry interface for the system. Developers are then left the task of defining the system behavior via handwritten Ada.
- A model-based architecture that divides software into separate components with strongly-typed interfaces
- Generators which can produce code, diagrams, and documentation from these models
- A platform agnostic, multi-tasking, high performance, embedded real-time software core written in Ada that adheres to the Ravenscar Profile
- Support for compiling and proving SPARK (a formally provable subset of Ada)
- A growing library of ready-to-use components
- An AUnit-based component test framework
- Tooling for test coverage, coding style checks, code metrics, and more
The best way to get started with Adamant is to try out the Example Project. The example demonstrates a functioning deployment of Adamant that runs on both Linux and an embedded Raspberry Pi Pico target. The example also provides a docker-based build environment that contains all the dependencies needed for working with Adamant. You are encouraged to clone the example project and begin modifying it to meet your needs.
Want to read more first? See the Architecture Description Document and User Guide.
- Have a question or suggestion? Please use the project's discussions.
- Find a bug? Please submit an issue.
Want to make Adamant better? For details on how to contribute, read CONTRIBUTING.md.
Below are some helpful resources for learning up on Adamant and the various tools used in this framework.
- The Architecture Description Document provides an overview of Adamant's architecture and main concepts.
- The User Guide is a comprehensive resource for developers looking to start using the Adamant framework.
- Check out the Example Project to explore Adamant in action.
- New to Ada or SPARK? Learn more here. But familiar with C++ or Java? Take a look at this guide.
- Learn more about Adamant's redo-based build system.
config/
- configuration files for tuning the Adamant framework to fit a specific projectdoc/
- documentation explaining the design and use of the frameworkenv/
- files used for configuring and installing the development environment used by the frameworkgen/
- the generator system for generating Ada source files, Latex & HTML documentation, and moregnd/
- ground-based software tools and utilitiesredo/
- the framework's redo-based build systemsrc/
- the reusable source code which makes up the framework