LFSMs on the PRU: Executable and Verifiable Software Models on a Real-Time Microcontroller

No Thumbnail Available
File version
Author(s)
Grubb, Fisher
Estivill-Castro, Vladimir
Hexel, Rene
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)
Date
2022
Size
File type(s)
Location
License
Abstract

The Internet of Things (IoT) has hugely expanded. There are more devices than people and device numbers are still growing exponentially. These IoT devices are becoming more important and integrated into our lives, and their sophisticated behaviour has prompted the term “Internet of Behaviours”. Model-Driven Software Engineering (MDSE) and especially formal verification are applied to safety-critical systems, such as automotive and aerospace, to ensure behaviour correctness, but their use is not common place in the deployment of IoT devices. This paper introduces the deployment of executable and verifiable models for boards with hybrid CPUs; such as Asymmetrical Multi Processing (ASM), including the programmable real-time units (PRUs) in the TI BeagleBone series boards. To the best of our knowledge, this is the first time Model-Driven Software Engineering has been used for applications in PRUs. Thus, we lift the level of abstraction from the use of assembly and C to even beyond C++, using logic-labelled state-machines (LLFSMs). We benchmark MDSE with an existing PRU real-time application [1].

Journal Title

Lecture Notes in Networks and Systems

Conference Title
Book Title
Edition
Volume

364

Issue
Thesis Type
Degree Program
School
Publisher link
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
Rights Statement
Item Access Status
Note
Access the data
Related item(s)
Subject

Software architecture

Persistent link to this record
Citation

Grubb, F; Estivill-Castro, V; Hexel, R, LFSMs on the PRU: Executable and Verifiable Software Models on a Real-Time Microcontroller, Lecture Notes in Networks and Systems, 2022, 364, pp. 392-402

Collections