VirtuosoNext

Altreonic is proud to announce the first version of VirtuosoNext™ which provides fine-grain Task level space partitioning. This allows protecting individual Tasks from each other, i.e. preventing one Task from corrupting the memory of another Task. Such protection can be crucial for the development of high reliability systems that must be kept running even if one Task becomes corrupted. The scheme has a small memory overhead while keeping the real-time scheduling support of a traditional RTOS.

Historic mission in search of the Origin of the Solar System

With a go-ahead in 1993, the Rosetta ESA mission was finally launched in March 2004. After a 10 years journey through our solar system, it has finally arrived and made rendez-vous with the 67P/Churyumov-Gerasimenko Comet.

Altreonic offers two main product lines in conjunction with services. A short overview:

1. "VirtuosoNext^TM" is composed of following integrated development tools:

"VirtuosoNext^TM" is a next generation RTOS that is API compatible with OpenComRTOS, who's kernel is integrated. It provides fine-grain Time and Space Partitioning. The result is the protection that is offered by classical Time and Space Partitioning schemes but with the responsiveness and small code size of a dedicated RTOS. The user has the option to enable or disable protection on specific nodes (if the hardware supports it). 

"VirtuosoNext^TM" is a network-centric RTOS, developed using formal methods. It supports from small microcontrollers to widely distributed networks of processing nodes, including nodes that run legacy OS like Windows or Linux. VirtuosoNext^TM is the first network-centric RTOS that support heterogeneous systems in a transparent way.

Thanks to its formal development, it has unique properties like small code size, scalability, safety, portability even allowing developers to create their own services. It comes with the Visual Designer development environment allowing a graphical definition of the application and powerful tracing tools to profile the events in the system. While customers can do their own ports, ARM (Mx/Rx/Ax), Texas Instruments C6678, MicroBlaze, Leon3, PowerPC, XMOS, NXP CoolFlux DSP and MLX16 are available for specific boards. A typical code size is between 5 to 22 KiBytes. Altreonic offers porting and customisation services.

The "RTOS Qualification Package" is an optional component to the Open Technology License. Delivered as a GoedelWorks project, it gives detailed documentation and evidence for Qualification/Certification purposes with full test coverage and detailed traceability from top level Requirements till source code.

"Visual Designer" is a Visual programming and development environment for developing and simulating real-time embedded applications. It allows to define in a visual way the target's topology (from single processor to heterogeneous networks) as well as the application diagram. Template code is generated so that the developer only has to provide the algorithmic code. Applications can be simulated first on a Windows or Linux platform and then run on the target just by recompilation. It also has some powerful debugging tools:

• "Event Tracer". It allows to analyse the scheduling and interprocessor communication in a graphical way.
• "System Inspector": it allows to read out the status of any processing node at task level.

^{VirtuosoNextTM} also offers dynamic code loading and execution, independently of the target processor. This capability is offered thanks to our SVM, short for "Safe Virtual Machine for C": very small (around 3 KiBytes), it allows to load and execute binary compiled C code tasks that has full access to the underlying RTOS services.