Laboratory for Atmospheric and Space Physics (LASP)
Adamant
softwareflight / ground / mission-ops softwareIndustry: Aerospace
- Category
- Data & Digital Tools
- Affiliations
- LASP
Description
Component-based, model-driven framework for building reliable, reusable embedded real-time software, first developed for spacecraft flight software at LASP; models in a YAML-based DSL generate structural code, documentation, unit test scaffolding and command & telemetry interfaces, with behavior written in Ada.
Official page
https://github.com/lasp/adamant
Open official page (opens in a new tab)Access
- Access summary
- download
Contact
- General contact
- GitHub issues / repository owner account
Details
- Keywords
- flight software framework, model-driven architecture, embedded real-time software, spark formal verification, ravenscar profile, openc3 cosmos integration, code generation
- Location
- Boulder, Colorado
- Language
- Ada
- Software license
- Apache-2.0
- Associated entity
- GitHub org account: lasp
- Repository
- https://github.com/lasp/adamant
- Language
- mentioned in README: Ada, Java
- License
- Apache License 2.0