Skip to content
Close

Certifiable, reliable abstraction layers for electronic hardware in space, aerospace, medical and consumer sectors.

Verified abstractions

VERAS

Veras (verified-abstractions) are a comprehensive suite of abstraction layers for processors, sensors, actuators, and applications for use in space, aerospace,  medtech and consumer applications. Veras libraries remove the need to develop hardware drivers, giving teams time back to focus on innovation.

Veras abstraction layers are tested, reliable, certifiable, and integrate seamlessly into existing embedded software.

Abstraction Layers

Processors

Abstraction layers and wrappers for processors. Implemented for STM32, ESP32, Raspberry Pi, Windows, Linux and more.

Processor abstractions are RTOS compatible with simple interface providing advanced functionality.

Sensors & Actuators

Veras libraries standardize sensor and actuator interfaces, letting you use sensors and actuators without needing to develop hardware drivers.
 

Applications

Veras application libraries provide you with advanced algorithms such as fault detection and correciton, state estimation, sensor fusion, flight control systems or dynamic control without requiring in-house development.
  • Space
  • Aerospace
  • Medical
  • Consumer

Space Systems

Develop fault tolerant, state-machine driven, predictable, reliable and powerful embedded systems quickly for space applications using the Veras framework.

Veras Features

- Fault tolerant

- Error handling

- State-machine architecture

- Restricted c++ source

- Certifiable

- Assemble Veras libraries to achieve complex behaviour

Aerospace Systems

Develop highly-reliable flight systems, including flight controllers and embedded software for avionics using the Veras framework

Veras Features

- Fault tolerant

- Error handling

- State-machine

- Restricted c++ source

- Certifiable

- Assemble Veras libraries to achieve complex behaviour

Medical Systems

Develop high reliability systems medical embedded systems, while reducing development cost and time.

Veras Features

- Pre-verified

- Certifiable

- Predictable

- Assemble Veras libraries to achieve complex behaviour

Consumer Systems

Leverage highly-reliable, ready-to-go embedded software libraries to accelerate your development and reduce testing time. Veras libraries allow you to skip developing hardware drivers and focus on developing your product

Veras applications

- Consumer electronics

- IoT

- Autonomous systems

- +more

Reach out to find out more