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 […]

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 […]

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 […]

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 […]

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 […]

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 […]