Blog_Banner

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

MCP-Safety-webinar

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

PosixRTOSvsASTERIOS

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

shutterstock_432008923

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

figs

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

realtimesystem

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

[video blog] DO-330 qualification strategy presented at CTIC 2017

Checker

One of today’s major concerns in the embedded software industry is to design and integrate safe and complex real-time systems based on single- and multi-core processors, while guaranteeing the determinism and timing behavior required by mission- and safety-critical applications. KRONO-SAFE is offering ASTERIOS® Developer, a tool suite that combines an innovative deterministic model with an […]

read more