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

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

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

Published 31Dec2012, updated 30Nov2021 This page is in groups Technology, My Go (golang) notes and My XMOS pages. This blog note has been moved from http://oyvteig.blogspot.no/2012/04/045-nondeterministic-note-about.html. I have written a little about nondeterminism before [1], [2]. [1] is about Ada and the Ravenscar Profile for safety-critical systems. The newer note IEC 61508 and (safe?) concurrency also covers the matter somewhat. Observe that (non)determinsm […]

Also see Google Scholar «Øyvind Teig» here About These blogs are «mine», but I try to spice them with other people’s opinion as expressed to me, most often if people do reply to a mail. If so, I always ask for permission. The more I blog the more I realise that I am not a computer scientist, and […]