My missing smart home connection

Blog note new 20Apr2024. Updated 31Jul2025 (Home Automation) This note is in group Technology, sub-group My Beep-BRRR pages. It is followed up by Beep-BRRR using smart home to extend its functionality. Observe my Standard disclaimer. This note shows how it is possible to use smart home devices and a home built unit to make something not so […]

My Rust programming language notes

New 29Apr2024. Updated 20Jun2026 (Knock-come). This page is in group Technology I guess it’s a post where I try to understand its process model (or task model), and end up being somewhat sceptical of any potential usage on my behalf. Three rusts «Rust has been said to be named after a particularly robust type of […]

Older blog notes

Updated 22May2026 Up: Early notes Some of these notes are outdated and will not be updated (they may be removed) 19May2021: this page was moved from 013 Overview. Know your timer’s types (moved) IEC 61508 and programming paradigms (moved) Wishes for a folding editor (moved) Nondeterminism (moved) 046 – and up at https://www.teigfam.net/oyvind/home/ (technology overview there) […]

UPDATES

Started 14Mar2020. Updated 12Jun2026 To check for dates just search like «27Jul2021», «03Aug2022» or «Jan2026». Goto newest update  NEWEST, UPDATED AND STABLE NEXT Site Archives – Should cover them all  NEWEST NOTE OF ANY TYPE NEXT 277 Smykkekommode – Jewelry chest of drawers (In Norwegian, with English and German Google translate links)  NEWEST «SERIOUS» NOTES UPDATES […]

My embedded RTOS notes

Started 08Jan2019, updated 01Mar2026 (Fully fledged vs. kernel vs. library based OS vs. etc.. RTEMS ref [3], #Mbed) This page is in group Technology and is a blog note where I will try to have a fresh view (as of 2019) of what might be going on with concurrency and Real-Time Operating Systems (RTOS) in the small […]

Timing out design by contract with a stopwatch

Excerpt: Can time be part of a contract? Is it a contract when time is included? «Shall we meet at half past eight at the Pub for a beer?» Let’s steer past that one. Timing requirements are important, they are extensively used in hard real-time systems. In some protocols a client does not need to send any «end of request» signal as the server times out after a period of inactivity to close the connection (like HTTP persistent connections). This blog note tries to discuss when timeouts are fine to use, and when they do turn the components’ interactions into a quiz.

My SafeRTOS notes

There is a nice series of development boards by ST called STM32 MCU Nucleo (here [1]), based on an ARM. One of these appeared on a table near me. They guy who had it said that «they also tell about a free operating system». It happened to be FreeRTOS™ (here [2]) by Real Time Engineers Ltd on freertos.org [3]. I eagerly looked it up and was fast pointed to WITTENSTEIN HighIntegritySystems (by The WITTENSTEIN Group) here [4]. They do SafeRTOS, so I downloaded its manual here [5]. This is a IEC 61508 (here [6]) approved RTOS. Since I work with safety critical systems (and have some blog notes here covering some aspects of 61508, like in note 065 [7]) I started to read. It spurred some questions.