We're sorry but this page doesn't work properly without JavaScript enabled. Please enable it to continue.
Feedback

Hactorscript in ART: Bug-free Software on Unhackable Hardware

Formal Metadata

Title
Hactorscript in ART: Bug-free Software on Unhackable Hardware
Title of Series
Number of Parts
633
Author
License
CC Attribution 2.0 Belgium:
You are free to use, adapt and copy, distribute and transmit the work or content in adapted or unchanged form for any legal purpose as long as the work is attributed to the author in the manner specified by the author or licensor.
Identifiers
Publisher
Release Date
Language

Content Metadata

Subject Area
Genre
Abstract
As the Internet-of-Things moves into space the need for absolute security becomes paramount. Using inexpensive encrypted secure boot RISC-V devices and software minimalism we build first in the home for fun and then commercialize for space and ground based applications. Bug-free modules of actor components compete for efficiency in a distributed matrix of algorithms. We present an overview of the multi-core memory safe language called Hactorscript and its widely ported Actor RunTime (ART) above minimal POSIX. With no threads, stacks, locks, or loops, the cores directly compete for work on lockless (“MPMC”) queues. These queues can be fed at “interrupt” levels. Finite-state-machines are nearly direct Actor specifications (as is TLA) and form the first set of composable bug-free modules.