Multicore chips are becoming more and more the norm these days. This is an evolution driven by the semiconductor advances that allow to put more and more logic on the same die. In addition, as all is on a single die, communication between cores can be speedy and low power as no off-chip I/O is necessary. Nevertheless programming these chips, especially for embedded real-time applications is a challenge.
Following the availability of OpenComRTOS on the 48-core Intel SCC chip and the 8-core Texas Instruments C6678, Altreonic can draw some lessons. OpenComRTOS was designed to support such targets transparently and in a distributed real-time context by separating the hardware topology definition from the application topology definition. This provides for portability and scalability. Nevertheless, these modern multicore chips are complex and it still matters where code and data is placed. For more information, read the attached white paper "Hard real-time on multicores: shared resources are the challenge".
Altreonic announces the availability of GoedelWorks* an internet based portal for safety and systems engineering. It is made available under a SaaS (Software As A Service) business model.
Based on a formalised approach, GoedelWorks is a new technology platform for collaborative systems and safety engineering project delivery. Developed for use by global and distributed teams, GoedelWorks is designed to facilitate how people work together to build systems and products, making project delivery more collaborative, productive, and transparent. You can think of GoedelWorks as an extensible framework that dynamically integrates and synchronizes people, processes, and resources associated with systems engineering development projects. From very small chips to large networked systems, GoedelWorks is the platform that facilitates teamwork and project management.
Altreonic is now member of RTCA, Radio Technical Commission for Aeronautics
RTCA, Inc. is a private, not-for-profit corporation that develops consensus-based recommendations regarding communications, navigation, surveillance, and air traffic management (CNS/ATM) system issues. RTCA functions as a Federal Advisory Committee.
Membership of RTCA will help us supporting the avionics industry better.
A single approach for many-multi-parallel-distributed systems
After 3 successful sessions at IMEC in Leuven, we are planning to repeat the workshop elsewhere. We are looking for hosting partners across Europe. Find a place, agree on a date, register 20 registrants and we come to your place. Contact us at info. request (at=@) altreonic. com
This workshop aims at debunking the myth that writing concurrent programs for many-core, multi-core, parallel and distributed (embedded) systems is difficult. On the contrary, a single approach with a solid formal basis can handle them all, including reusing existing sequential code.
This survey is part of a R&D project. This project is looking into how to improve on the certification costs for the industry in the context of adhering to recognised or required standards.
This survey is the first in a series of two or more surveys. Your input is requested to establish a baseline to guide the project. Follow-up surveys will then go deeper and analyse the findings. Your help in responding is highly appreciated. You can subscribe for a summary report at the end of the survey.
Your contact details are only requested for follow-up and statistical purposes and will not be passed on to third parties. Many thanks for your cooperation.
After filling in the questionnaire don't forget to SUBMIT. Only one survey can be answered per respondent.
This booklet is the first of the Gödel Series, with the subtitle "Systems Engineering for Smarties". The aim of this series is to explain in a accessible way some important aspects of trustworthy systems engineering with each booklet covering a specific domain.
The first publication is entitled "Trustworthy Systems Engineering with GoedelWorks" and explains the high level framework Altreonic applies to the domain of systems engineering. It discusses a generic model that applies to any process and project development. It explains the 16 necessary but sufficient concepts. This model was applied to the import of the project flow of the ASIL (Automotive Safety Integrity Level) project of Flanders's Drive whereby a common process was developed based on the IEC-61508, IEC-62061, ISO-DIS-26262, ISO-13849, ISO-DIS-25119 and ISO-15998 safety standards covering the automotive on-highway, off-highway and machinery domain. Download for free from the download section.
OPENCOSS (Open Platform for EvolutioNary Certification of Safety-critical Systems) is a recently approved R&D project. The project 17 partners aim at a common certification framework that spans different vertical markets for the railway, avionics and automotive industry, and establish a common safety certification infrastructure. The strategy is to focus on a compositional and evolutionary certification approach with the capability to reuse safety arguments, safety evidence, and contextual information about system components, in a way that makes certification more cost-effective, precise, and scalable. OPENCOSS will define a common certification language by unifying the requirements and terminology of different industries and building a common approach to certification activities.
OPENCOSS aims at developing a tool infrastructure for managing certification information and performing safety assurance activities. Within this infrastructure, systematic and auditable processes will be developed to reduce uncertainty and (re)certification costs. To have long-lasting industrial impact, the project will pursue standardisation of the conceptual framework and the tool infrastructure resulting from the project.
More information will be made available at a later stage.
While published by a scientific publisher, this book is not a purely scientific one. But it shows how the state of the art in science can be applied to a real industrial development with great benefit. It documents (incompletely but sufficiently) the journey of the OpenComRTOS project. This project started out with the goal to see how we could apply formal methods to embedded software development. And because we had a background in a distributed Real-Time Operating System, we decided to use the design from scratch as a target. Not a trivial one as it covers concurrency, protocols, local as well distributed state machines as well as boundary conditions of efficiency, hard real-time capability, scalability and other non-functional requirements. An RTOS is however a suitable and grateful target as it is the key layer between hardware and application software.