• Home
  • About Us
  • IFSA Publishing
    • Books
    • OA Books
    • ST Journal
    • BC Journal
    • Publisher
    • Subscribe
  • Video Ads Service
  • Sensors Web Portal
  • Conferences
  • e-Shop
  • IFSA Membership
  • Privacy Policy
  • Contacts
  • Search



Sensors & Transducers



Vol. 265, Issue 2, May 2024, pp. 27-39
_______________



A Framework for Building Verifiable Scalable Embedded Systems Interfacing through Sensors and Actuators



1, * Morgan MCCOLL, 1 Callum MCCOLL, 1 Gervase TUXWORTH,
​2 Aaron PEREIRA and 1 Rene HEXEL



1 Griffith University, 170 Kessels Rd, Nathan, 4111, Australia

2 Sub mm-wave Technology Group, Jet Propulsion Laboratory, NASA/Caltech, Pasadena, CA, USA

* E-mail: morgan.mccoll@griffithuni.edu.au



Received: 5 April 2024 / Accepted: 8 May 2024 / Published: 30 May 2024





Abstract: Embedded systems are at the core of modern industrial applications that interface with the environment through sensors and actuators. As software-defined modelling revolutionises the development of safety-critical systems, such as self-driving cars in the automotive industry, rapid turnaround and integration into cloud-based software development services are increasingly becoming critical. Recent parts shortages and supply-chain constraints have highlighted the importance of dynamic, cross-platform codebases that allow scalability and quick re-deployment to different hardware. In this paper, we show the ability of our development framework to create decomposable, embedded systems that consist of software that factors out hardware dependencies and can thus be easily ported and deployed to multiple hardware architectures. We demonstrate how our embedded cross framework allows us to decouple hardware-specifics from the requirements for the software that implements the behaviour of the system. To this end, we show how to design and build scalable software that integrates with multiple hardware architectures, operating systems, and middleware for embedded systems. For the first time, we not only show how such systems can be developed for microcontrollers, but how the same embedded cross framework can be utilised for Field-Programmable Gate Arrays (FPGAs). We demonstrate how software systems that utilise our framework can seamlessly integrate with continuous integration and continuous deployment (CI/CD) processes. This allows the flexibility of testing and integration using local and cloud-based systems, as well as end-to-end hardware-in-the-loop approaches.


Keywords: Cross compilation, CI/CD, Hardware abstraction, Build system, Safety-critical systems, Embedded software.

__________________________________________________________________________________________



Click the Acrobat (pdf) icon below to download the full-pages article in pdf format:



1999 - 2025 Copyright (C), International Frequency Sensor Association (IFSA), All Rights Reserved.
Use of this website signifies your agreement to the IFSA Privacy Policy.