Trustworthy forever


New white paper on OpenCookbook

A new white paper on Altreonic's methodology and how it is applied in OpenCookbook, our environment for supporting projects from early requirements till the release of the product has now been made available.

To download the pdf file(s), register first and log in. If you have any problems contact us.

OpenComRTOS supports LEON3

LEON3 is a 32bit SPARC CPU used by the European Space Agency. It is available in commercial as well as in fault-tolerant versions with SEU capability from e.g. Gaisler Research. A first port was undertaken using a Xilinx FPGA board.

A small "ping-pong" test program using two tasks and two semaphores compiled down to 6092 bytes and was measured at 73  microseconds for a complete loop (clock frequency 50 MHz).

A first release is scheduled for end November.

Altreonic involved in EVOLVE project (ITEA)

Altreonic's research partner Open License Society participates in the ITEA EVOLVE project (Evolutionary Validation, Verification and Certification) with partners from Belgium, Spain, Finland, Sweden, Portugal. For Belgium (Flanders) there is a participation of Barco, Melexis, TriPhase, Open License Society and K.U.Leuven with funding approved by IWT.

In this project Open License Society acts as the research partner for Melexis and will further research the development of  "OpenCookbook", supporting the Melexis engineering flow in an incremental way. Keywords are tracebility and IEC 61508 compliance. Integration with OpenVE and SDL-RT is planned as well to demonstrate the wide applicability of the approach. See the project leaflet in attachment.

To download the pdf file(s), register first and log in. If you have any problems contact us.

Altreonic at Embedded World 2009, Nuerenberg, 3-5 March 2009

Altreonic will be present at the Embedded World Conference 2009 in Nuerenberg, Germany.

Meanwhile, Altreonic's OpenComRTOS has been nominated for the Embedded AWARD. See the website of embedded world for the full list of nominees.

Altreonic was also selected to present a paper at the conference on March, 5th in the Session 3.5 Model Based Design from 09.45-10.15. Title: OpenCookbook: An integrated and formalised environment for systems engineering"

The wider perspective of our systems engineering approach, including a short presentation on OpenVE and OpenComRTOS will be presented during the Exhibitor's Forum Wednesday, 4th March 12.00 - 12.30 pm.

Interested? We have a USB stick ready for you with a free version of OpenVE for Win32 and Linux together with a trial version of OpenCookbook, papers, presentations and free inspirational posters. See the Galleria on the website for a preview.

Come and visit us. Hall 10.0 - 401. - Want to set up a meeting? Contact us via the contact form or call on +32 477 - 608 - 339.

 

OpenComRTOS support for Xilinx MicroBlaze

Altreonic has achieved a first port of OpenComRTOS to the Xilinx MicroBlaze softcore processor. First results are reported in the attached papers. A public release is scheduled for mid October.

To download the pdf file(s), register first and log in. If you have any problems contact us.

Altreonic, first spin-off of Open License Society goes for high reliability

On 1st September, Altreonic was officially created as a spin-off of Open License Society. The latter started in 2004 to research a unified systems engineering methodology aiming at trust-worthy systems and products. Formal methods were adopted and tools were developed proving that the methodology actually delivers. After 4 years of intensive research, Altreonic is putting the research into practice. The goal is "Push button high reliability!" for embedded systems.The team is composed of 14 people and headed by Eric Verhulst, a veteran guru in real-time multi-processor operating systems and embedded systems research and development. It's first product, the Virtuoso distributed RTOS, was acquired in 2001 by Wind River Systems.

Search

Syndicate

Syndicate content