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.

Started 1May2015. Updated 30Apr2025 (FNIRSI). See my standard disclaimer. Intro For a small private project I have tried the best of the scrapped scopes I brought home from work, but the 1997 model Fluke PM3380A didn’t pass its own diagnose procedure. The amplitude of channel 1 changed when I pushed the curve up. And the old Philips […]

«Becoming textual: attempting to model ‘XCHAN’ with CSPm» «Using FDR2 and ProBE tools when state-ing is not enough» This page is in group Technology. By Øyvind Teig, Autronica Fire and Security. Original 15April2013, updated August2013 Delivered as exam lecture for «TK8112 – The Theory of Concurrency in Real-Time Systems» All original lecture material: http://www.teigfam.net/oyvind/blog_notes/063/063-Teig-NTNU.zip. It’s not […]

New 21okt2013, oppdatert 14Nov2025. Notatet er i gruppa Technology. In Norwegian, Google translate here. This note (in Norwegian) is about an early teen age friend, the book «Learn electronics by building» (or «The radio building book»); which I googled – but finally found at a local library. I have scanned some of the pages and written […]

This page is in group Technology. History 03Jan2013 initial, without comments 14Mar2013: Comments #1. Rolv Bræk 02Jul2013: [1.B] and [12] are new 20Jan2014, inserted [13] 28Sep2016, inserted Notes on SDL runtimes 11Oct2023, Telox mentioned 04Aug2025, new References layout 14Dec2025, Ellevseth on MODELS (in Comments: Log) Intro I hope that somebody from the SDL (Specification and […]

Published 3Jan2013, updated 20Nov2018 This page is in group Technology. In this blog I will jot down some experience with installation and use of the FDR2 tool [1] which analyses CSP (Communicating Sequential Processes) specifications [5]. My experience is that I try to avoid Unix, OSX, Terminal and bash scripting. But here is my last journey into it. Important notice about […]

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 […]

New: 10Nov2013, updated 22Feb2024 (Some moved to 254:[] typos, plus added some). This page is in group Technology. This note on the Internet Archive‘s Wayback Machine: A reactive manifest Disclaimer Whether this note manifests itself as a manifest, remains to be manifested. Background I will in this blog try to critically analyse The Reactive Manifesto [1]. The […]