Cephalopode: A custom processor aimed at functional language execution for IoT devices.
Paper in 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

Author

Jeremy Pope

Chalmers, Computer Science and Engineering (Chalmers), Functional Programming

Jules Saget

Ecole Normale Superieure (ENS)

Carl-Johan Seger

Chalmers, Computer Science and Engineering (Chalmers), Functional Programming

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,

Subject Categories

Computer Engineering

Embedded Systems

Computer Systems

DOI

10.1109/MEMOCODE51338.2020.9315094

More information

Latest update

1/3/2024 9