Altreonic keynote speaker at Communicating Process Architectures 2015, University Kent, 23-26th August 2015
We are pleased to announce Eric Verhulst, CEO/CTO of Altreonic NV, as one of the Keynote speakers at CPA 2015. Eric led the development of the Virtuoso multi-board RTOS, used in the ESA's Rosetta space mission to comet 67P/Churyumov-Gerasimenko. Virtuoso was the first distributed RTOS on the transputer and its successor developments — such as OpenComRTOS, a formal redevelopment from scratch, and VirtuosoNext, featuring fine-grain space partitioning — all apply the valuable principles and lessons learned from CSP, the transputer and occam.
Speaker: Eric Verhulst, CEO/CTO Altreonic NV
Title: "occam's Rule Applied: Separation of Concerns as a Key to Trustworthy Systems Engineering for Complex Systems"
"Keep it simple but not too simple" means that a complex solution is really a problem that's not very well understood.
A few possible scenario’s to recover our mobility in the city.
Mobility and communication are two essential mechanisms for social interaction. They also determine how efficient economies can operate. This is why people often tend to live and work in cities or locate their activities in close proximity as it shortens the interaction distance. Communication has seen a revolutionary evolution in the last decades. We are now virtually reachable anywhere, any time of the day and sharing information is a click away. There is so much data being generated and available that we need smart applications to filter the essence from the noise.
While internet and high bandwidth have brought down the cost of communicating to a very low marginal cost, the same cannot be said about our cost of moving. Of course, this is not a universal statement. Long distance travel, using airplanes and ships is more efficient and safe than ever. Even cars have become relatively cheap if one takes into account the comfort they now provide. What is hampering the economy is the mobility at city level. Unless we move out of the cities again, what is unlikely to happen as cities are spreading from the suburbs, we need to find solutions to give us again the mobility we need. Even with all avatars in the world humans need face-to-face interaction.
Altreonic is proud to announce the first version of VirtuosoNext™ which provides fine-grain Task level space partitioning. This allows protecting individual Tasks from each other, i.e. preventing one Task from corrupting the memory of another Task. Such protection can be crucial for the development of high reliability systems that must be kept running even if one Task becomes corrupted. The scheme has a small memory overhead while keeping the real-time scheduling support of a traditional RTOS.
For a new H2020-FTI proposal consortium, we are looking to add potential end users to a panel of experts to share ideas and experiences in Intelligent Transport Systems and Sustainable Mobility.
Altreonic has joined the COMPACT project together with regional research and industrial partners to improve the engineering process to take into account the reliability challenges of modern, advanced electronics as used in embedded systems.
GoedelWorks is Altreonic’s environment for supporting engineering teams, small and large, in developing “trustworthy” products and systems. The environment is developed as a web application with a central server implementing Altreonic’s systems engineering meta-model. It supports engineering teams in defining Process flows, executing specific Engineering Projects and Work Flow management. Organisations can define their own Process flow or base it on the preconfigured ASIL process flow.
Altreonic has recently completed porting its OpenComRTOS Designer V.1.6 to new targets. The new ports illustrate again how with a single programming environment and small code size, OpenComRTOS Designer allows seamlessly connecting and supporting of low power ASIC cores, micro-controllers for safety critical applications and higher-end SoCs with multi-core processors with DSP and video processing capability. Contrary to many other solutions, OpenComRTOS allows to program multi/many-core in heterogenous configurations in a fully transparent way. Developers can remap Task and Interactions Entities (semaphores, FIFO, etc. called Hubs in OpenComRTOS) in a fully transparent way, with no changes to the source code. The underlying implementation is based on prioritised packet switching, an approach that is not only scalable, but also it provides real-time behaviour across any communication medium ranging from shared memory to long distance networks.
The workshop is organised on request of a hosting organisation. Contact us if interested.
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 and coming into reach of smaller engineering teams. 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.
The Physics World, the member magazine of the Institute of Physics has nominated ESA's Rosetta mission as the 2014 Breakthrough of the Year for being the first to land a spacecraft on a comet.