Trustworthy forever

Main mission of Rosetta's Philae lander accomplished

Today (15 November 2014), Rosetta's Philae lander went into sleep, its batteries depleted but still it could upload the last set of measurements. The lander might wake up again if it can catch enough sunlight to recharge the batteries. Rosetta itself will continue its mission. To follow the saga, watch the ESA website. We can only be very proud that our Virtuoso RTOS on the parallel DSP boards (developed by EADS) has survived a journey of 10 years and 500 million km in space sending us the first close look at a comet. And maybe its chemical analysis can tell us a bit more of how life originated on our planet.

We take the opportunity to share some thoughts on the long road towards trustworthy systems and software engineering that we were involved in by having the Virtuoso RTOS being used on board Rosetta.

Vehicle of the future

Altreonic will be presenting at the "Vehicle of the future" track at the Bits&Chips Smart Systems 2014 conference/exhibition on 20 November 2014 at the Congrescentrum Brabanthallen, 's Hertogenboschn The Netherlands. Hereby the title and abstract:

Safety-related pre-conditions for a sustainable automated mobility

Mobility as a Service

Advanced Embedded Systems Engineering workshop in Leuven, Belgium

Venue: Faculty Club Leuven, Groot Begijnhof 14, 3000 Leuven, Belgium on November 28, 2014.

Altreonic is pleased to invite you to the upcoming one day Workshop 2014 to be held on 28 November 2014 at the Faculty Club in Leuven. The workshop hours are from 0900 to 1700. Registration starts at 0830.

Embedded Systems are increasingly being called Cyber-Physical or Smart Systems. The reason is a growing complexity covering multiple domains as well as an increasing need for provable and verifiable trustworthy behaviour. The workshop aims at demonstrating how engineering such systems can be simplified, while remaining trustworthy. By applying a formal development process and by using a qualifiable tool suite, the transition from requirements to implementation can be done in a systematic and traceable way, resulting in certifiable products in less time and at a lower cost. Keywords are "unified semantics" and "interacting entities". The methodology will be illustrated using several examples and demos with Altreonic's integrating GoedelWorks and OpenComRTOS Designer. Read further for more details.

Qualification Package for OpenComRTOS Designer v.1.6

28 October, 2014, Altreonic Linden Labs.

OpenComRTOS Designer is Altreonic’s formally developed network-centric RTOS with associated modeling and debugging tools. It is unique in the sense that it supports heterogeneous systems and hence it is much more a generic programming and modeling environment than a simple RTOS. While it supports high-end multicore processors, it also supports distributed systems, DSPs and small microcontrollers thanks to its very small code size and build-in support for transparent distributed real-time scheduling. Now available with a Qualification Pack for safety and mission critical applications.

Meeting up with Altreonic

Altreonic will be present at following events:

1. AIRTEC 2014 (October 28 - 30, 2014 Frankfurt / Main, Germany). 9th International Aerospace Supply fair. A B2B meeting event with exhibition and a congress. Come and see Altreonic.

2. D&E Event 29th October 2014. Design Automation & Embedded Systems Event 2014. Location: Den Bosch, Netherlands. Eric Verhulst will present “ A generic methodology for safety engineering”. Track Embedded at 10.00. 

3. Upcoming releases: GoedelWorks 2.5 and OpenComRTOS Qualification Package.

Rosetta's landing site selected

Latest update: Rosetta’s lander Philae will target Site J, an intriguing region on Comet 67P/Churyumov–Gerasimenko that offers unique scientific potential, with hints of activity nearby, and minimum risk to the lander compared to the other candidate sites. The 100 kg lander is planned to reach the surface on 11 November, where it will perform indepth measurements to characterise the nucleus in situ, in a totally unprecedented way. Full story at the ESA website

Rosetta rendez-vous with comet. Virtuoso RTOS on board.

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. The first high resolution pictures are stunning. Later on a robotic lander will touchdown on the comet itself and start taking pictures from the surface, a feat never done before.

Rosetta has several other scientific instruments on-board. The main processor for processing on-board data is a SEU and radiation tolerant version of the 21020 floating point DSP, used in a parallel configuration on boards developed by EADS. The RTOS used is Virtuoso, developed by Eonic Systems whose technology was later on acquired by Wind River to disappear from the market three years later. Altreonic’s OpenComRTOS Designer is the 4th generation of Virtuoso. Redeveloped from scratch using formal techniques, OpenComRTOS offers more scalability, portability and modularity than ever before but with a code size that is about 10 times less. Work is underway for a new branch codenamed VirtuosoNext.

Accumulated experience

Just like for Rosetta, a long journey will have preceded OpenComRTOS Designer and VirtuosoNext. It started in 1991 when the first parallel RTOS for the transputer was released. Still unique, it represents accumulated years of experience in combination with a formal approach. Keeping it simple but smart has been one of the foundations of its design. It results in a unprecedented performance and ease of use specifically for (heterogeneous) parallel or distributed systems. Yet, today it also replaces more traditional POSIX-style RTOS that require 50 times more memory. Code size still matters!

The Rosetta mission is an unprecedented scientific and technical achievement. It required the cooperation of several nations and 1000’s of scientist and engineers. We are proud to have made our small contribution.

More information on Rosetta at the ESA website and in the book on Rosetta.

Ada and SPARK-Ada for OpenComRTOS Designer

Ada and SPARK-Ada interface for OpenComRTOS Designer 

Ada has a long history. Originally developed in the late 70's on request of the US DoD, it became available with a certified compiler in 1983. While the language had as goal to improve the quality of software, in its striving to be complete (procedural, object-oriented, modularity, concurrent tasking and many more features), it was complex and fairly heavy to use. Nevertheless, it was and still is the language of choice for large safety critical applications, especially when large teams are involved. Its complexity, the steep pricing for the tools and its lower performance inhibited its wider use. Hence C compilers offering often better performance and more control over the hardware gradually became the compiler of choice even if the language has many safety issues. Ironically, VHDL which is a widely used programming language to develop hardware circuits heavily borrowed from Ada.

Release of GoedelWorks 2.0 with standard pattern for Work Packages

New release of GoedelWorks 2.0

Altreonic has the pleasure to announce the new v.2.0 release of its GoedelWorks portal. It inherits from v.1.0. the "systems grammar" that with 16 core concepts allows to define any systems engineering project. It keeps the view that a system is the end-result of a development project whereby a chosen process (often domain and organisation specific) is followed. 

ANTI-FRAGILE workshop and FISITA papers. Workshop. Jobs.

Some update on recent events:



Syndicate content