Write a Blog >>
LCTES 2017
Wed 21 - Thu 22 June 2017 Barcelona, Spain
co-located with PLDI 2017

The explosion of networked devices has driven a new computing environment called the Internet of Things (IoT), enabling various services such as home automation and health monitoring. Despite the promising applicability of the IoT, developing an IoT service is challenging for programmers, because the programmers should integrate multiple programmable devices and heterogeneous third-party devices. Recent works have proposed integrated programming platforms, but they either require device-specific implementation for third-party devices without any device abstraction, or abstract all the devices to the standard interfaces requiring unnecessary abstraction of programmable devices. To integrate IoT devices with selective abstraction, this work revisits the object oriented programming (OOP) model, and proposes a new language extension and its compiler-runtime framework, called Esperanto. With three annotations that map each object to its corresponding IoT device, the Esperanto language allows programmers to integrate multiple programmable devices into one OOP program and to abstract similar third-party devices into their common ancestor classes. Given the annotations, the Esperanto compiler automatically partitions the integrated program into multiple sub-programs for each programmable IoT device, and inserts communication and synchronization code. Moreover, for the ancestor classes, the Esperanto runtime dynamically identifies connected third-party devices, and links their corresponding descendent objects. Compared to an existing approach on the integrated IoT programming, Esperanto requires 33.3% fewer lines of code to implement 5 IoT services, and reduces their response time by 44.8% on average.

Wed 21 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:30 - 17:10
Session 2: Abstraction, Modelling and Scheduling for IoT and Embedded SystemsLCTES 2017 at Vertex WS208
Chair(s): Bernhard Scholz University of Sydney, Australia
15:30
25m
Talk
Optimal Functional Unit Assignment and Voltage Selection for Pipelined MPSoC with Guaranteed Probability on Time Performance
LCTES 2017
Weiwen Jiang Chongqing University, Edwin Sha Chongqing University, Qingfeng Zhuge Chongqing University, China, Hailiang Dong Chongqing University, Xianzhang Chen Chongqing University
15:55
25m
Talk
Integrated IoT Programming with Selective Abstraction
LCTES 2017
Gyeongmin Lee POSTECH, Seonyeong Heo POSTECH, Bongjun Kim POSTECH, Jong Kim POSTECH, Hanjun Kim POSTECH
16:20
25m
Talk
Efficient SMT-based LTL Model Checking of Clock Constraint Specification Language for Real-Time and Embedded Systems
LCTES 2017
Min Zhang East China Normal University, Yunhui Ying
16:45
25m
Talk
Integrating Task Scheduling and Cache Locking for Multicore Real-time Embedded Systems
LCTES 2017
Wenguang Zheng , Hui Wu University of New South Wales, Australia, Chuanyao Nie The University of New South Wales