正在进行的工作:垂直事物-一个基于语言的微内核，用于受限的物联网设备

2018 International Conference on Embedded Software (EMSOFT) Pub Date : 2018-09-01 DOI:10.1109/EMSOFT.2018.8537193

Jayaraj Poroor

{"title":"正在进行的工作:垂直事物-一个基于语言的微内核，用于受限的物联网设备","authors":"Jayaraj Poroor","doi":"10.1109/EMSOFT.2018.8537193","DOIUrl":null,"url":null,"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.","PeriodicalId":375994,"journal":{"name":"2018 International Conference on Embedded Software (EMSOFT)","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Work-in-Progress: VerticalThings - A Language-Based Microkernel for Constrained IoT Devicer\",\"authors\":\"Jayaraj Poroor\",\"doi\":\"10.1109/EMSOFT.2018.8537193\",\"DOIUrl\":null,\"url\":null,\"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.\",\"PeriodicalId\":375994,\"journal\":{\"name\":\"2018 International Conference on Embedded Software (EMSOFT)\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2018-09-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2018 International Conference on Embedded Software (EMSOFT)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/EMSOFT.2018.8537193\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2018 International Conference on Embedded Software (EMSOFT)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/EMSOFT.2018.8537193","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 1

摘要

提出了一种为嵌入式和物联网应用提供安全微内核功能的编程语言。为此，提出了一种基于能力模型的类型系统，将资源类抽象为能力类。我们的语言支持对关键属性进行静态分析，包括安全性、安全性、功耗和时序考虑。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Work-in-Progress: VerticalThings - A Language-Based Microkernel for Constrained IoT Devicer

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2018 International Conference on Embedded Software (EMSOFT)

自引率

0.00%

发文量