Full licensing opportunity for VirtuosoNext and GoedelWorks

In the last couple of years, Altreonic has been setting up a new business units like KURT.mobi entering the market of urban electric mobility and KURT.energy for safe batteries. The KURT vehicle concept fully exploits the advantages and features of our VirtuosoNext Designer with a fully distributed and fault tolerant, fine-grain partitioning RTOS kernel at its core. The GoedelWorks environment is also in use to support the project from early requirements to full implementation.

As these new developments have become the main business objective of Altreonic, the technology is hence only offered as an Open Technology License (see link here) and includes all available documentation, source code, test suites, etc. for all targets supported. This includes a 3 days hands-on training. Porting to new targets / BSPs is possible as an engineering service, as part of an in-depth training in team with the customer. A more in-depth training can be provided upon request. A detailed overview is given below. Note that the software is delievred "as is", essentially a check-out of the svn repository.

Academic institutions and non-profit research organisations can benefit from special conditions. Contact Altreonic.

Altreonic will continue to support existing licensees and maintain the software as needed. Internal developments and extensions will continue droven by our application needs. Altreonic will still make licenses available in the context of customer specific engineering projects.

Interested licensees should contact Altreonic directly for the licensing conditions.

Overview:

1. VirtuosoNext Designer

1.1. Major components

• Most up to date version of source code as an export from our repositories.
• Formal Models for the core kernel services
• Generic Qualification Package (for OCR-1.6 PowerPC which overlaps largely with other targets). Versions: GoedelWorks on-line Project, Hyperlinked pdf, html with attachment folder.
• Latency measurement application with visual front-end
• Communication measurement application with visual front-end
• Example Projects that demonstrate how to use the services.

• Visual Designer Development Environment in source code (C++) with the following subcomponents:
• Project Generator and build system for OCR-1.4, OCR-1.6, VN-1.1
• Section Analyser for VN-1.1 targets.
• Visual Designer / OpenVE
• Event Tracer
• OpenSystem Inspector (OCR only)
• System components such as:
• Timer driver
• Stdio server on host node
• Graphical server on host node
• Trace dump host service
• Board Support driver components on selected targets
• Cross development and simulation capability on Windows-32 and Posix-32 machines
• Target independent binary code generation (Safe Virtual Machine).

1.2 Kernel services:

• Generic Port Hubs
• Boolean Events
• Counting Semaphores
• FIFOs
• Memory Block Queue
• Blackboards
• Data Events
• Resource Locking with Network Wide Priority Inheritance

1.3 Supported targets:

Legend: OCR (OpenComRTOS), VN (VirtuosoNext), TI (Texas Instruments).

VirtuosoNext can be available with our without fine grain partitioning and fault tolerance support. This is a compile time option.

1.4. Documentation

• Design documents
• User Manual
• Performance figures (interrupt latency, semaphore loop, memory requirements)
• Conference papers and white papers
• Training seminar presentations

2. GoedelWorks

2.1. Major components:

• Server side:
  • Requirements: MongoDB, Tornado, Linux: nginx (web server), docker, Python: 2.7
  • Tools: report generator, document generator, and many utilities
• Client Side:
  • Requirements: Browser, JavaScript ...

2.2. Documentation:

• Metamodel
• Design documents
• Installation instructions
• Conference papers and white papers

See also the website and the download section.