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

被引：2
|
作者：
Krook, Robert [1 ]
Hui, John [2 ]
Svensson, Bo Joel [1 ]
Edwards, Stephen A. [2 ]
Claessen, Koen [1 ]
机构：
[1] Chalmers Univ Technol, Gothenburg, Sweden
[2] Columbia Univ, New York, NY USA
来源：
2022 20TH ACM-IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN (MEMOCODE) | 2022年
基金：
美国国家卫生研究院; 瑞典研究理事会;
关键词：
Real-time; IoT; Compilers; Embedded Domain Specific Languages; GENERATION;
D O I：
10.1109/MEMOCODE57689.2022.9954383
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
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.
引用
收藏
页数：20
相关论文
共 50 条
  • [1] Synthesis of real-time cloud applications for Internet of Things
    Bak, Slawomir
    Czarnecki, Radoslaw
    Deniziak, Stanislaw
    TURKISH JOURNAL OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCES, 2015, 23 (03) : 913 - 929
  • [2] Adaptive Analytic Service for Real-Time Internet of Things Applications
    Ge, Yi
    Liang, Xiaoxing
    Zhou, Yu Chen
    Pan, Zhaotai
    Zhao, Guo Tao
    Zheng, Yu Ling
    2016 IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES (ICWS), 2016, : 484 - 491
  • [3] Edge Computing for Real-Time Internet of Things Applications: Future Internet Revolution
    Quy, Nguyen Minh
    Ngoc, Le Anh
    Ban, Nguyen Tien
    Hau, Nguyen Van
    Quy, Vu Khanh
    WIRELESS PERSONAL COMMUNICATIONS, 2023, 132 (02) : 1423 - 1452
  • [4] Edge Computing for Real-Time Internet of Things Applications: Future Internet Revolution
    Nguyen Minh Quy
    Le Anh Ngoc
    Nguyen Tien Ban
    Nguyen Van Hau
    Vu Khanh Quy
    Wireless Personal Communications, 2023, 132 : 1423 - 1452
  • [5] Real-Time Reliable Internet of Things
    Kalogeraki, Vana
    2018 IEEE INTERNATIONAL CONFERENCE ON PERVASIVE COMPUTING AND COMMUNICATIONS WORKSHOPS (PERCOM WORKSHOPS), 2018,
  • [6] Real-time applications on the Internet
    Rudkin, S
    Grace, A
    Whybray, MW
    BT TECHNOLOGY JOURNAL, 1997, 15 (02): : 209 - 225
  • [7] Securing Real-Time Internet-of-Things
    Chen, Chien-Ying
    Hasan, Monowar
    Mohan, Sibin
    SENSORS, 2018, 18 (12)
  • [8] Performance evaluation of real-time stream processing systems for Internet of Things applications
    Vikash
    Mishra, Lalita
    Varma, Shirshu
    FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2020, 113 : 207 - 217
  • [9] Real-time force monitoring of smart grippers for Internet of Things (IoT) applications
    Bi, Zhuming
    Liu, Yanfei
    Krider, Jeremiah
    Buckland, Joshua
    Whiteman, Andrew
    Beachy, Daniel
    Smith, Joseph
    JOURNAL OF INDUSTRIAL INFORMATION INTEGRATION, 2018, 11 : 19 - 28
  • [10] In the Internet of things about theory of real-time information and real-time information access
    He Hongyu
    ADVANCES IN MECHATRONICS, AUTOMATION AND APPLIED INFORMATION TECHNOLOGIES, PTS 1 AND 2, 2014, 846-847 : 1881 - 1884
12345