Cephalopode: A custom processor aimed at functional language execution for IoT devices.
Paper i proceeding, 2020

The Internet of Things (IoT) conceives a future where "things"are interconnected by means of suitable information and communication technologies. Unfortunately, recent events have demonstrated the high vulnerability of IoT. One of the main reasons for this is the use of low-level programming languages. The Octopi project is developing technologies to easily and securely program IoT devices by the use of functional high-level languages. Unfortunately, a traditional implementation of a modern functional language that runs on traditional hardware is very resource demanding. So resource demanding that few, if any, IoT devices can run them.In the Cephalopode project (which is a subproject of Octopi) we are exploring the implementation of a very low power hardware device directly aimed at running a high-level functional language. By integrating many resource-heavy tasks into dedicated hardware, we aim at creating an execution engine for IoT devices that will allow secure programming.

Functional Languages

Internet of Things

Custom hardware architectures

IoT

Författare

Jeremy Pope

Chalmers, Data- och informationsteknik, Funktionell programmering

Jules Saget

Ecole Normale Superieure (ENS)

Carl-Johan Seger

Chalmers, Data- och informationsteknik, Funktionell programmering

2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2020

9315094
9781728191485 (ISBN)

18th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2020
Virtual, Jaipur, India,

Ämneskategorier

Datorteknik

Inbäddad systemteknik

Datorsystem

DOI

10.1109/MEMOCODE51338.2020.9315094

Mer information

Senast uppdaterat

2024-01-03