{"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":"19 51","pages":"0"},"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\":\"19 51\",\"pages\":\"0\"},\"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}
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.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
