About VirtuosoNext

“Solutions for Trustworthy Systems Engineering”

VirtuosoNext has a long history that fits in a long-term goal of focusing on the embedded market with a unified methodology for developing trustworthy solutions. Based on a long experience since the late 1980’s, custom engineering services are enabled by in-house developed tools to facilitate an integrated approach in particular for scalable and safety-critical embedded software and hardware. Originally brought to market as the Virtuoso RTOS (acquired by Wind River Systems in 2001, which then open-sourced it as Zephyr), VirtuosoNext is a completely new development that builds on some of the early concepts but enhanced with the power of formal methods and trustworthy engineering concepts.

Today, the in-house development technology is also made available through a unique Open Technology Licensing model.
The industrial experience is enhanced by a continuous R&D effort, in-house as well as a partner in regional as well as European research projects. Recent ones are:

• OpenComRTOS: development of a novel real-time operating system using formal methods. This is still the core RTOS kernel now developed into VirtuosoNext Designer. Published in a Springer Book.
• ASIL: a Flanders Drive project to develop a common automotive safety engineering workflow.
• EVOLVE: an EU ITEA project on Evolutionary Verification and Validation of software.
• CRAFTERS: an EU Artemis on developing novel solutions for many/multicore systems.
• OPENCOSS: an FP7 IP project focusing on reducing the cost of certification.
• COMPACT: a regional project on the reliability of electronics.
• NoFIST: a EUROCPS project with Thales on porting VirtuosoNext to a mixed-criticality platform and providing it with real-time fault tolerance.

VirtuosoNext Designer

One of the the core products of Altreonic is VirtuosoNext Designer, a unique formally developed network-centric real-time programming environment. It supports from small microcontrollers to multicore CPUs and networked distributed heterogeneous systems with a very small code size in a topology independent way. The latest release supports fine-grain space and time partitioning, reducing security and safety risk to a minimum.
The environment has been ported to ARM Cortex M3/M4/M5/R4/5R, A9 (Xylinx), ARC, Freescale PowerPC, TI C66xx DSP, Leon3, MicroBlaze, XMOS, CoolFlux, Win32 and Linux. Not all these versions are available in the last release.
VirtuosoNext runtime code is mostly generated from the  Visual Designer (Visual modeling and simulation environment).
It supports VirtuosoNext application development from a single processor, over multicore to multi-processor heterogeneous target systems. By design it allows to cross develop on a PC, develop a simulator and then generate runtime code without modifying the source code.
Complementary tools are:
EventTracer: a graphical tool to visually display execution schedules on a multiprocessor target

Safe Virtual Machines for C.

Unique is the support for a Safe Virtual Machine that only needs about 3 KBytes. It allows running binary compiled C code on any processor.

Services

Altreonic’s team supports customers with porting their Open Technology License to a particular target platform, provides esign and development services with a focus on low power and smart distributed, fault-tolerant control.

Licensing

Altreonic’s technology and products are available under an Open Technology License, which includes source code and all development documentation.

THEY TRUST US