GoedelWorks

Altreonic was invited to submit an article in a special issue of the Springer Journal of Reliable Intelligent Environments. In the article with as title "Antifragility: systems engineering at its best", we discuss the ARRL (Assured Reliability and resileience Level" criterion at length. From the magazine editorial by Vincenzo de Florio: "In “Antifragility: systems engineering at its best”, Eric Verhulst, Bernhard Sputh, and Pieter Van Schaik discuss the Assured Reliability and Resilience Level (ARRL), a novel criterion that allows system components to be reused in a normative way while preserving the safety integrity level at the system level. ARRL complements the Safety Integrity Level and defines seven levels of which the highest one can be described as the level where the system becomes antifragile. Each level is illustrated and exemplified. It is shown how the features and the general character of ARRL translate into a promising approach for achieving safety across different domains and systems".

Access the article here

Further information can be found in the Gödel Series booklet. 

Altreonic is proud to announce the release of the version 3.0 of GoedelWorks™, its unique end-to-end portal solution for trustworthy systems development. This new version improves the performance and stability of the whole platform and it introduces many new features that ease repetitive tasks. It also improves existing functionalities. Some of the new features are the outcome of an RTOS Qualification Package project. GoedelWorks is now even more intuitive and productive in use than before.

The GoedelWorks platform running on the central server has also been updated to make use of the latest stable, production-ready technologies. Revising the entire platform has resulted in a cleaner and easier to maintain environment.

Starting 1st September, GoedelWorks is not only available under an Open Technology Licensing scheme but users can also access their portal under a SaaS model. Contact Altreonic for details.

The technical details about the novelties offered with this latest GoedelWorks are available in the attached public announcement. A full description of the latest GoedelWorks environment is available in Altreonic’s updated booklet “Trustworthy Systems Engineering with GoedelWorks 3”. It can be freely downloaded from the download section.

Share |

A new booklet was published in the Gödel Series on the topic of the ARRL (Assured reliability and Resilience Level) criterion. Developed by Altreonic, ARRL is complementary to the traditional Safety Integrity Levels but is domain independent. It aims at a criterion that acts as a contract for the reuse of components and (sub)-systems in the context of trustworthy systems engineering, in particular for safety critical systems. It achieves this by taking faults and how the component or system deals with it, into account. The booklet is available from the download section.

Share |

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.

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 thelanguage has many safety issues. Ironically, VHDL which is a widely used programming language to develop hardware circuits heavily borrowed fromAda.

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. 

Altreonic will be present at following events:

1. FISITA 2014 (Maastricht, 2-6 June 2014), the World Automotive Congress

2. The ESA Industry Space Days, taking place at ESTEC - Noordwijk, on June 3rd & 4th, 2014

3. ANTIFRAGILE 2014 workshop (Hasselt, 3rd June 2014)

Read further for details:

1. OpenComRTOS Designer (v.1.6) was enhanced with support for C++ and new services were added.

2. GoedelWorks (v.1.1) features a new navigation tree and now generates dependency trees in graphml for easier processing. A utility was created that facilitates importing existing software projects.

Altreonic offers advanced embedded systems technology under a risk-free Open Technology License. The licensee receives all supporting design documents, formal models, source code, test suites, etc. and the right to rebrand the software whereby all certification and business risks are seriously reduced. Free yourself from legacy COTS and open source limitations. Two technologies are offered: the formally developed, network-centric OpenComRTOS Designer and the internet based GoedelWorks portal for supporting certifiable engineering projects.

Altreonic offre des technologies avancées pour systèmes embarqués sous une Licence de Technologie Ouverte sans risque. Le licencié reçoit tous les documents d'appui, les modèles formels, code source, des suites de tests, et le droit de renommer le logiciel. Tous les risques de certification et commerciaux sont sérieusement réduits. Libérez-vous des limites du COTS et source libre. Deux technologies sont proposées: OpenComRTOS Designer, un OS tmps réel distribué, formellement développé et le portail GoedelWorks pour soutenir des projets d'ingénierie certifiables.

Register for a B2B meeting here or contact us directly.

Altreonic will be speaking at a seminar on Functional Safety in the Vehicle Industry organised by Flanders Drive presenting the results of the ASIL (“Automotive Safety Integrity Levels”) project.

The ASIL project created a development methodology for safety-critical systems, applicable to any type of vehicle or machine. Specialists involved will share the in-depth expertise acquired and illustrate this with various actual applications. The ASIL workflow was successfully imported in Altreonic's GoedelWorks portal where users can adapt it to integrate it with their own organisational processes.

The seminar focuses on the main challenges and opportunities associated with the systematic application of functional safety standards in system development and project management in the automotive industry. External experts as well as ASIL members will present relevant topics.

Eric Verhulst, CTO of Altreonic will speak of:

Cross-domain systems and safety engineering: is it feasible?

During the presentation, a new approach for developing composable systems with different SIL levels will be presented. It introduces the notion of ARRL (Assured Reliability and Resilience Level). See attached presentation.