Varied timing, OCCAM modeling, and hardware-software equivalence in a worked IoT example

12 pages•Published: October 17, 2024

Abstract

CSP-based OCCAM modeling promises to bring great clarity to Internet of Things (IoT) designs that have been made vague by abstract tools. This requires an absoluteness in timing and data access that is more characteristic of the Transputer than of modern systems. However, it turns out some standard C and *n*x library tools can provide it, if human timing suffices.
IoT design is strongly dependent on use cases, and we had the fortune of a very definite project use case that drove the small OCCAM-modeled system described in the Reference. Key tools in the design include Unix sockets, ssh, and the kernel-based call select(). This paper will complete that system, begun in the referenced Fringe, and relate it to the general issues to which this technique can be expanded. Its occam modeling will be defended based on timing knowledge, and its hardware-software equivalence (HSE) will be proven.
This development must be read in conjunction with the Reference, which see. It de- velops the Reference to allow three or more independent racing systems. It explains the applicability of the revised approach to general IoT.

Keyphrases: hardware software equivalence, internet of things, occam, race conditions, synchronization

In: Lindsay Quarrie (editor). Proceedings of 2024 Concurrent Processes Architectures and Embedded Systems Hybrid Virtual Conference, vol 20, pages 35-46.

Links:	https://easychair.org/publications/paper/jKFb
	https://doi.org/10.29007/g87c

BibTeX entry

@inproceedings{COPA2024:Varied_timing_OCCAM_modeling,
  author    = {Lawrence Dickson},
  title     = {Varied timing, OCCAM modeling, and hardware-software equivalence in a worked IoT example},
  booktitle = {Proceedings of 2024 Concurrent Processes Architectures and Embedded Systems Hybrid Virtual Conference},
  editor    = {Lindsay Quarrie},
  series    = {Kalpa Publications in Computing},
  volume    = {20},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/jKFb},
  doi       = {10.29007/g87c},
  pages     = {35-46},
  year      = {2024}}

Download PDF Open PDF in browser