Back close

Verticalthings – a Language-based Microkernel for Constrained IoT Devices: Work-in-progress

Publisher : Proceedings of the International Conference on Embedded Software

Campus : Amritapuri

School : School of Engineering

Department : Computer Science

Year : 2018

Abstract : A programming language that provides the functions of a secure microkernel is proposed for embedded and IoT applications. Towards this purpose, a type system based on the capability model is proposed, in which resource classes are abstracted as capability classes. Our language enables static analysis of key properties including safety, security, power, and timing considerations.

Admissions Apply Now