创建一种用于编写物联网实时应用程序的语言

2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) Pub Date : 2022-10-13 DOI:10.1109/MEMOCODE57689.2022.9954383

Robert Krook, J. Hui, Bo Joel Svensson, S. Edwards, Koen Claessen

{"title":"创建一种用于编写物联网实时应用程序的语言","authors":"Robert Krook, J. Hui, Bo Joel Svensson, S. Edwards, Koen Claessen","doi":"10.1109/MEMOCODE57689.2022.9954383","DOIUrl":null,"url":null,"abstract":"We describe the development of a new programming language Scoria and its compiler. Scoria is a high-level reactive real-time language based on the sparse synchronous model (SSM), designed to produce time- and power-efficient low-level C code that can run on small IoT devices. While the compiler is not yet in a state where it is meaningful to measure power usage, we carefully profile the timing behaviour and identify bottlenecks that can improve performance. The language and compiler are implemented as an Embedded Domain-Specific Language (EDSL) on top of Haskell.","PeriodicalId":157326,"journal":{"name":"2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2022-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"Creating a Language for Writing Real-Time Applications for the Internet of Things\",\"authors\":\"Robert Krook, J. Hui, Bo Joel Svensson, S. Edwards, Koen Claessen\",\"doi\":\"10.1109/MEMOCODE57689.2022.9954383\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We describe the development of a new programming language Scoria and its compiler. Scoria is a high-level reactive real-time language based on the sparse synchronous model (SSM), designed to produce time- and power-efficient low-level C code that can run on small IoT devices. While the compiler is not yet in a state where it is meaningful to measure power usage, we carefully profile the timing behaviour and identify bottlenecks that can improve performance. The language and compiler are implemented as an Embedded Domain-Specific Language (EDSL) on top of Haskell.\",\"PeriodicalId\":157326,\"journal\":{\"name\":\"2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2022-10-13\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/MEMOCODE57689.2022.9954383\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/MEMOCODE57689.2022.9954383","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 3

摘要

我们描述了一种新的编程语言Scoria及其编译器的发展。Scoria是一种基于稀疏同步模型(SSM)的高级响应式实时语言，旨在生成可在小型物联网设备上运行的时间和功耗效率高的低级C代码。虽然编译器还没有达到测量电源使用情况有意义的状态，但我们仔细地分析了计时行为，并确定了可以提高性能的瓶颈。该语言和编译器作为嵌入式领域特定语言(EDSL)实现在Haskell之上。

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

查看原文本刊更多论文

Creating a Language for Writing Real-Time Applications for the Internet of Things

We describe the development of a new programming language Scoria and its compiler. Scoria is a high-level reactive real-time language based on the sparse synchronous model (SSM), designed to produce time- and power-efficient low-level C code that can run on small IoT devices. While the compiler is not yet in a state where it is meaningful to measure power usage, we carefully profile the timing behaviour and identify bottlenecks that can improve performance. The language and compiler are implemented as an Embedded Domain-Specific Language (EDSL) on top of Haskell.

求助全文

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

来源期刊

2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)

自引率

0.00%

发文量