hard-real-time – Tarik Billa

Using Haskell for sizable real-time systems: how (if?)?

April 5, 2023 by Tarik

At Galois we use Haskell for two things: Soft real time (OS device layers, networking), where 1-5 ms response times are plausible. GHC generates fast code, and has plenty of support for tuning the garbage collector and scheduler to get the right timings. for true real time systems EDSLs are used to generate code for … Read more

Differences between hard real-time, soft real-time, and firm real-time?

December 22, 2022 by Tarik

Hard Real-Time The hard real-time definition considers any missed deadline to be a system failure. This scheduling is used extensively in mission critical systems where failure to conform to timing constraints results in a loss of life or property. Examples: Air France Flight 447 crashed into the ocean after a sensor malfunction caused a series … Read more