Trustworthy forever


Altreonic at International Symposium on System-on-Chip 2010

SoC is an annual symposium held at Tampere, Finland - The SoC City. It builds on the tradition of a series of SoC events organized annually since 1999. The mission of SoC is to provide a forum that is fully and comprehensively dedicated to SoC issues.

Altreonic will present at the Tutorial on Dependable Hardware and Software for Embedded Computing Platforms as invited speaker and at the tutorial:

Tuesday, Sept 28, 2010

  • 11:00 Formal Development vs. Formal Verification - The OpenComRTOS Example. E. Verhulst, Altreonic,
  • 13:30 An Architecture for Scalable Concurrent Embedded Software. E. Verhulst, Altreonic.

and as invited guest speaker on the conference (29 Sept) with as subject "Present and future challenges in developing a manycore RTOS"

More information on the SoC event is available at the SoC website

Altreonic speaker at Ami-Es-2010

Altreonic will be speaking at the 9th International Conference and Workshop on Ambient Intelligence and Embedded Systems (AmiEs-2010) Friday 1st October with as title "An integrated and formalised systems engineering methodology with integrated tools for embedded applications.

See the conference website for more details and registration.

Altreonic presents at VALID 2010

The Second International Conference on Advances in System Testing and Validation Lifecycle will take place August 22-27, 2010 in Nice, France. Altreonic presents its results from the ITEA EVOLVE project under the title "Interacting Entities Modelling Methodology for Robust Systems Design" on Tuesday, August 24. See attached paper.

Altreonic's StarFish scalable high reliability controller available for preview

Altreonic is now pre-announcing its new high reliability StarFish product range. Designed as a scalable and customisable range of embedded controllers, it can handle a wide range of real-time embedded applications. The basic building block is the StarFish-42. It has two dual-core 400 MHz 32Bit processors, each running up to 8 threads in the hardware. Supported by the formally developed OpenComRTOS, large networks of processing nodes can be transparently programmed. For this purpose StarFish hosts a wide range of communication and I/O capabilities like 100 Mbit/sec ethernet, CAN and direct links for inter block communication.

Altreonic bundles its realtime tools in OpenComRTOS Designer

Altreonic NV, the Belgium based embedded software solutions provider is pleased to announce the bundling of its formally developed and network centric OpenComRTOS with supporting tools in an integrated tool suite. The suite comprises OpenComRTOS 1.3, OpenVE and OpenTracer.

Altreonic presents its solutions at the Hannover Industrie Messe

1. Altreonic presents its solutions at Hannover Industrie Messe.

Reliable and trustworthy systems today requires engineering efforts at the system level.

Altreonic provides solutions enabling you to develop and certify your next high reliability safety critical application.
 
Visit us at Hannover Messe 2010, 19-23 April 2010, Hall 9 Stand F30.

To get your free e-ticket click on the following url and register:

http://www.hannovermesse.de/ticketregistration?Rydym6t5c8se59

Bring the printed ticket with you when visiting the largest industrial fair in the world; It is valid for the whole week and gives you free public transport to the Messe.

Functional Safety Engineering Processes: not a burden but a benefit.

Altreonic is speaking at Flanders Drive' seminar on Functional Safety Engineering Processes: not a burden but a benefit.

Eric Verhulst, CEO/CTO of Altreonic will open the seminar by putting the concept of safety engineering in a wider perspective under the title "Zen and the art of safety engineering".

Abstract:

The perfectly safe car could be the one that doesn’t move. Clearly, more will be needed to make such a Panamarenko car acceptable as a real car. What is needed is a total concept of Trustworthiness. The trust that it works as advertised means not only good systems engineering but also that it works as advertised under all circumstances. Albeit an important one, safety is just one of the required system properties.

Download the presentation here.

Thursday, 29 April 2010 from 9.00u-18.00 hrs.
De Montil, Moortelstraat 8, 1790 Essene, België. For registration and program visit www.flandersdrive.com
 

Altreonic presents at Embedded World

As part of its participation activities in Embedded World 2010,
Altreonic's team is pleased to invite you to our following talks events :

1. Tuesday 2.3.2010, from 15:00–15:30

Session S1.6: REAL-TIME OPERATING SYSTEMS

OPENCOMRTOS: FORMALLY DEVELOPED RTOS FOR HETEROGENEOUS SYSTEMS
Dr. Bernhard Sputh, sr. software manager Altreonic

2. Thursday 4.3.2010, from 12.00-12.30  

Hall 11, stand 11-201

UNIVERSAL SCALABILITY AND HIGH RELIABILITY WITH ALTREONIC
Eric Verhulst, CEO/CTO Altreonic

Your presence will surely make these talks more interesting. you are always welcome to visit us at our booth :

Hall 11, stand 11-201.

3. Network further and meet Altreonic at the Artemis event.  

The ARTEMIS-JU Information Day Call 2010 which will take place from 1 March 2010 until 1 March 2010 at the Congress Cente Nuremberg Ost, Nuremberg, Germany.
See https://www.artemis-ju.eu/info_day_call_2010

We will be looking forward for your participation.

 

Altreonic News Q1 2010-1

1. Meet us at Embedded World 2010, Industrie Messe, ESEC, ERTS2

remaining items available from here:
2. New Company Profile
3. Asynchroneous services for OpenComRTOS
4. Ethernet support for OpenComRTOS
5. Latency demo shows OpenComRTOS real-time determinism
6. Enhanced OpenTracer
7. Session based host services
8. OpenCookBook analyses dependencies

 

1. Meet Altreonic at Embedded World 2010, Industrie Messe, ESEC, ERTS2

Embedded World 2010 Nuremberg, Germany, from March 2nd to March 4th. Embedded World remains the world's undisputed biggest get-together for the international embedded community. The exhibition set another new record in 2009 with more than 700 exhibitors, and some 16,000 trade visitors. Embedded World 2010 will again be the opportunity to see the latest trends and evolutions in embedded technologies, for hardware, software, tools and services.

We're looking forward meeting you on our booth 11-102. Please do not hesitate to contact us if you would like to receive free entrance tickets to this exhibition.

Altreonic will be exhibit as well at:

  • Hannover Industrie Messe, from 19th till 23rd April, one of the largest exhibitions in Europe for industrial goods. Hall 9 F30/4

  • ERTS2, Toulouse, France,  from 19th till 21st  May. Embedded Real Time Software and Systems

  • ESEC, Tokyo, Japan, from 12th till 14th May, Asia's largest embedded systems technology expo. East Hall 5 34-8.

Embedded World Nuerenberg

ESEC Japan

ERTS2

 

Hannover messe

Altreonic Company Profile

“Solutions for Trustworthy Systems Engineering”

Altreonic NV is an innovative SME focusing on the embedded market with a unified methodology for developing trustworthy solutions. Based on a long experience since the late 1980's, custom engineering services are enabled by in-house developed tools to facilitate an integrated approach in particular for scalable and safety critical embedded software and hardware. The in-house development technology is also made available through a unique Open Technology Licensing model.
The industrial experience is enhanced by a continuous R&D effort, in-house as well as partner in regional as well as European research projects. Recent ones are:

  • OpenComRTOS: development of a novel real-time operating system using formal methods. This is still the core RTOS kernel now developed into VirtuosoNext Designer.
  • ASIL: a Flanders Drive project to develop a common automotive safety engineering workflow.
  • EVOLVE: an EU ITEA project on Evolutionary Verification and Validation of software.
  • CRAFTERS: an EU Artemis on developing novel solutions for many/multicore systems.
  • OPENCOSS: an FP7 IP project focusing on reducing the cost of certification.
  • COMPACT: a regional project on reliability of electronics.
  • NoFIST: a EUROCPS project with Thales on porting VirtuosoNext to a mixed criticality platform.

Altreonic is a regular speaker at international conferences and workshops.

VirtuosoNext Designer

One of the the core product of Altreonic is VirtuosoNext Designer, a unique formally developed network-centric real-time programming environment.
VirtuosoNext Designer supports from small microcontrollers to multicore CPUs and networked distributed heterogeneous systems with a very small code size in a topology independent way. The latest release supports fine-grain space and time partitioning, reducing security and safety risk to a minimum.
Current targets supported are ARM Cortex M3/M4/M5/R4/5R, A9, ARC, Freescale PowerPC, TI C66xx DSP, Leon3, MicroBlaze, XMOS, CoolFlux, Win32 and Linux.
VirtuosoNext runtime code is mostly generated from the  Visual Designer (Visual modeling and simulation environment).
It supporting VirtuosoNext application development from single processor, over multicore to multi-processor heterogeneous target systems. By design it allows to cross develop on a PC, develop a simulator and generate then runtime code without modifying the source code.
Complementary tools are:
GoedelWorks: based on an internet portal, it support safety critical projects from early requirements capturing till final code generation.
EventTracer: a graphical tool to visually display execution schedules on a multiprocessor target.

Open VE

 

Safe Virtual Machines for C.

Unique is the support for a Safe Virtual Machine that only needs about 3 KBytes. It allows to run binary compiled C code on any processor.

GoedelWorks

GoedelWorks is the web based project support environment for supporting projects from early requirements and specification capturing till product release with an integrated safety standards knowledge base.

KURT

Altreonic is using its own methodology and tools to develop a scalable and modular e-mobility concept code named "KURT". While used as  a research vehicle, the aim is to spin it off as a commercial vehicle. 

Services

Altreonic's team supports customers with design and development services with a focus on low power and smart distributed, fault tolerant control. Other services are: formal development and verification of embedded software;

Licensing

Altreonic's technology and products are available in a low cost Source code as well as an Open Technology License.

Find our corporate brochure attached below.

Or go to the on-line version here.

 

 

 

Search

Syndicate

Syndicate content