Author: Lukas Lansky

Firstly please read the Safety RAM: Protecting memory section with checksum blog post if you haven't as certain aspects won't be re-explained. The problem with previous CRC based method was that there shall be no parallelism or interruption during executing of critical section by others, possibly non-safe, processes. So to deal with this limitation we […]

Read More

This particular blog post is not going to be about Linux memory managements and its safety or how to write a safety critical software but will touch on the topic that all safety critical software must address properly. This topic is Freedom From Interference (FFI).  Before we dive in, let's define some terms and […]

Read More