[Blog] Four reasons why current software development methodologies and tools are facing their limits in the safety and multi-core fastest growing segments of the embedded systems market

Blog - four reasons why

Real-time embedded systems are found in every innovative industry like aerospace, automotive, industrial, rail transportation, and medical devices. Breakthroughs in artificial intelligence (AI), industrial IoT (IIoT), autonomous transportation, robotics and smart automation are driving exponential growth in the number and complexity of real-time embedded systems. For example, an S-class Mercedes now runs with 20 million […]

read more

[Video blog] SAFRAN & KRONO-SAFE webinar about Safety on Multicore now available online!


Les architectures multicoeurs sont désormais présentes dans tous les systèmes, et pourtant, elles demeurent un véritable défi pour les développeurs lorsqu’il s’agit de mettre en oeuvre des applications industrielles critiques en matière de sûreté de fonctionnement. En cause, le calcul parallèle tel qu’il est réalisable avec les systèmes multicoeurs augmente inéluctablement le nombre d’interférences et d’asynchronismes possibles, rendant ainsi […]

read more

[Blog] How to ensure tasks’ timing properties: ASTERIOS vs POSIX-like RTOS


Previous blog posts introduced the principles behind the PsyC programming language and most of those behind the execution runtime used by ASTERIOS RTK. Here are these principles with a link to each dedicated blog post: Time-triggered design approach Multi-task, parallel synchronous programming model named Psy with a programming language based on C that conforms to […]

read more

[Blog] Demystifying the PsyC language


So, you’ve heard about our technology called ASTERIOS®, and you’ve heard that it can “generate an optimal real-time scheduling in a few minutes, target a multi-core platform as easily as a single CPU, guarantee the determinism by construction, provide strong safety and security evidence by calculation and validate the temporal behavior of your system by […]

read more

[Blog] Settling the Time- vs. Event-Triggered Debate


In a previous blog post, we briefly came across the differences between Event- and Time-Triggered approaches when it comes to real-time systems design. In this post, we want to focus more extensively on the differences between these approaches, and explain why the time-triggered paradigm (which is the foundation of the ASTERIOS technology) is better suited to design complex, safety-critical […]

read more

[video blog] ANSYS & KRONO-SAFE webinar recording now available!

Ansys Krono FLOW

Les applications embarquées deviennent de plus en plus complexes. Lorsqu’elles sont de haute criticité, il faut démontrer qu’elles respectent l’ensemble des exigences temps-réels et fonctionnelles. Les approches basées sur les modèles (MBSE, Model-Based System Engineering), accompagnées de la génération automatique et certifiée de code, permettent déjà de répondre en partie à cette problématique. Cependant, dans […]

read more

[Blog] Using the Time-Triggered approach for a better design of safety critical Real-Time Systems

ASTERIOS is way more than an innovative Real-Time Kernel (RTK). It does come with an efficient micro-kernel and some services, which are carefully implemented and optimized to offer the best performances and safety guarantees. But it turns out the RTK constitutes only a small part of the code base that we maintain at KRONO-SAFE. Beyond the original Integrated […]

read more

[Blog] Deterministic Real-Time Communication Paradigm


Determinism is quite the Eldorado when it comes to real-time, safety-critical systems. However the definition of a deterministic system is paradoxically quite debatable: the most common formulation is a system which, given the same set of inputs and initial state, will always produce the same outputs. The problem of that definition is that, depending on […]

read more