You are hereApplications

Applications


Printer-friendly version

Altreonic's technology can be applied in many different application domains. We list here an overview.

Base line:

Altreonic's unified methodology for systems and software engineering with a focus on high reliability and safety enabled embedded applications.

Technology approach:

Altreonic applies a formalised analysis with supporting tool to cover from early concept till production. Across all activities of the systems engineering process there is a permanent life cycle view with a focus on efficiency of the whole system.

Horizontal markets    

Requirements engineering for high reliability markets

  • OpenCookBook2 enhanced with safety standards awareness

  • Consultancy & training

  • OpenCooKBook2 Customisation

 

Formal Software engineering

  • OpenComRTOS was formally developed and verified using formal methods like TLA+/TLC and UPPAAL. Our enginees can support you in formally developing your software and verifying it.

 
Real Time Operating System
  • The OpenComRTOS designer suite is a unique and scalable network-centric RTOS requiring about 5 KiBytes/node while supporting hetergeneous targets.
 
High reliability controllers
  • Altreonic's StarFish controllers allow to trade off scalable performance vs. fault tolerance thanks to its multicore/multiprocessor architecture supported by OpenComRTOS.
 
     
Vertical markets    
Ultra low power embedded devices
  • Hearing aids
  • Building control
  • Sensors
Enabled by OpenComRTOS' small code size and transparent support for multicore/manycore systems.
Distributed control
  • Smart robots
  • Sensor networks
Enabled by OpenComRTOS networked architecture supporting heterogeneous targets
Multicore/manycore devices
  • Hand held devices
  • Set-up boxes
  • Internet clusters
OpenComRTOS supports such architectures in conjunction with a host OS
Parallel Computing
  •  Number crunching
OpenComRTOS low overhead support for multiprocessor systems

Fault tolerant systems/

safety critical systems

  • Process control
  • Infrastructure control
  • E-vehicles
  • Smart Grid
OpenComRTOS was formally developed
OpenComRTOS provides transparent support for triplication
Safe Virtual Machine for C
Our own controllers
Custom design services

 

Search

Syndicate

Syndicate content