25 April 2013 (last edit 21June2013) This page is in group Technology. Background Concurrency on Wikipedia or [3]. This note is a branch from 065. 035, 023 are perhaps also relevant. My XCHAN paper is a contribution to making concurrency easier, trying to merge the how SDL and CSP may view communication (Also discussed in 056). If you checked the references […]
Jan2012, updated 08Nov2023 (PX5) This page is in group Technology. Also see Standard disclaimer Scratchpad 1 I plan to scribble on this note to discuss some, in my opinion, peculiar aspects of the IEC 61508 functional safety-critical standard. I will only discuss process safe (or thread safe) programming in IEC 61508 context. Is the IEC 61508 end user safe in this […]
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.
Blog note new 20Apr2024. Updated 16May2024 (futurehome). This note is in group Technology, sub-group My Beep-BRRR pages. 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 smart. The total result is functional enough, but I feel like I had to […]
Updated 11May2021 Up: Early notes Some of these notes are outdated and will not be updated (or even removed) 19May2021: this page was moved from 013 Overview. 046 – and up at https://www.teigfam.net/oyvind/home/ (technology overview there) A nodeterministic note about nondeterminsm – Moved to: 049 «Nondeterminism» Is (x < (x+1)) really always true? Scratching my head with their […]
New 3Apr2020. Updated 3Dec2020. Standard disclaimer. My (n-1)th attempt of a preamble: I stumbled across the book «The Huawei and Snowden Questions» by Olav Lysne. It let me realise that the technology forests contain trees of systems and solutions of hardware and software, and I sit on a leaf. However, I was astonished to feel that this […]
To check for dates just search like «27Jul2021», «03Aug2022» or «May2024». LIST OF ALL Site Archives – Should cover them all NEWEST NOTE OF ANY TYPE 256 My Rust programming language notes – In work NEWEST «SERIOUS» NOTE TYPE UPDATES 228 Δ tillegg til norsk ultralydhistorie – «Δ addition to Norwegian ultrasound history». («Delta tillegg»..) In Norwegian: […]
Started 8Jan2019, updated 9Nov2021 (Timed C) 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 embedded systems world. Here I would think mostly of what might run […]
Started 7April2017, updated 03Mar2024 (Replicated select case) This page is in group Technology (plus My XMOS pages) and is a blog note trying to scribble down some info about the XMOS xC language that I haven’t found elsewhere. I love it. But, alas, xC appears as C plus unknown X. I’ll help finding min(X). Also see more xC code […]
New: 23Feb2017, updated 23Sep2021 This page is in group Technology. Intro I have recently read myself up some on code coverage analysis. I have discovered something called MC/DC which stands for Modified Condition/Decision Coverage. Here’s an example of some of the different parts of code that need to be tested for coverage (from [1]): if (Entree […]