AdAstra-Soft is dedicated to the development of real-time solutions on microcontrollers. Among other things, it offers:
- AdAstra-RTK, a real-time kernel
- BSP necessary to use the kernel on particular microcontrollers
- Aabasics, peripheral management libraries adapted to each family of microcontrollers.
The AdAstra-RTK real-time kernel was designed and developed taking into account some specific objectives:
- The ease of maintenance of the kernel code. The code must be easily understandable, and facilitate its evolution and therefore the detection of regressions. This is achieved in particular thanks to:
- Defensive programming: for example the intensive use of assertions to check the consistency of the system state, the verification of parameters, or the centralized management of fatal errors…
- Coding rules to make the code well structured and readable.
- Design choices. Sometimes compromises have to be made between performance and code simplicity or testability.
- Native integration of debugging tools, because we must not forget that a developer spends most of his time testing and debugging his application. Some of these means are provided by defensive kernel programming, but we can add a low-intrusive log, configurable traces in real time, stacks monitoring….
- AdAstra-RTK is a kernel suitable for microcontrollers of medium capacity. Nothing is free, so the implementation of these features consumes some resources. A port on an MCU having less than a few tens of Kbytes of RAM must be well thought out.
Recently, simple and powerful MPUs have appeared, among the multitude already present at many suppliers: They use the ARM Cortex-M architecture. These MPU cores, due to their original distribution mode, have become a de facto standard adopted by many suppliers, major or confidential.
Consequently, the need has arisen among industrials for a dedicated real-time core which exploits the specific resources offered by this architecture.
The AdAstra real time kernel is a response to these needs. Although the kernel is strictly independent of MCU, the BSP associated with it for effective use fully exploits the resources of the Cortex-M0+, M3 / M4 and M7 architectures.
The last notable features of the AdAstra-RTK kernel and its accompanying software are:
- Source codes are available for free, which is essential for understanding how to use the software, and ensuring the sustainability of applications. It also allows you to modify or debug them.
- BSD three-clause license.
- These softwares are actively developed and maintained.