You are hereOpenComRTOS

OpenComRTOS

warning: Creating default object from empty value in /home/clients/8547a7b9876abaa7f9b2fdf68fe223de/web/modules/taxonomy/taxonomy.pages.inc on line 33.

OpenComRTOS project book ready for review

Altreonic has finalised a description of the OpenComRTOS project in the form of a book to be published by Springer. It discusses the reasons behind the project, why and how formal methods were used, and how the results were beyond our initial expectations. Its title is:

"Formal Development of a Network-Centric RTOS: Software Engineering for Trustworthy Embedded Systems".

Before the book will be printed, we are looking at giving it a last polish based on the review of a few selected readers. If interested, please contact Eric (dot) Verhulst (at) Altreonic.com stating your motivation and credentials. The selected reviewers will receive a hard copy once the book is printed. Below the preface and the T.O.C.

New 1.1. release of OpenVE for OpenComRTOS

Altreonic has released v. 1.1 of its OpenVE for OpenComRTOS. This version was improved to better support heterogeneous target systems and has an easier interface to the host server. The Win32 version is available free of charge from our download section. OpenVE now supports a growing number of embedded targets as well (in Single Processor and Multi-Processor versions).

The current list includes: Xilinx MicroBlaze, Leon3, ARM Cortex M3 and the multi-core XMOS

In a demo set-up, boards with all supported targets were seamlessly programmed and demonstrated.

You can experience this seamless heterogeneous real-time processing first hand. For 2995 euro we deliver a bundle containing OpenComRTOS for Win32 and ARM Cortex M3, both supported from within OpenVE, the Event Tracer and  a Luminary LM3S6965 development kit. Applications can be seamlessly distributed over the host PC and the ARM board out-of-the-box. See OpenComRTOS for ARM bundle for more details.

Search

Syndicate

Syndicate content