Projekt per år
Sammanfattning
Internet-of-Things (IoT) systems consist of spatially distributed interacting devices. In contrast to desktop applications, IoT systems are always running and need to deal with unresponsive devices and weak connectivity. In this thesis, we propose techniques for simplifying the development of such systems. The work addresses IoT systems organised as reusable services connected by compositions. We propose to program such compositions using stateful reactions that mediate messages. To this end, we have designed a domain-specific language (DSL), called ComPOS. To help systems operate partly in cases of weak connectivity, we propose that ComPOS aborts older reactions when newer messages arrive. We evaluate our DSL in home-automation and e-health scenarios.
Understanding IoT systems can be hard, and different analyses can help explain how they work. To support analysis, we propose a conceptual runtime model based on relational reference attribute grammars. We demonstrate the approach by formulating and implementing a Device Dependency Analysis (DDA). The DDA finds sets of devices needed for given parts of the system to work.
The ComPOS editor supports live programming to allow development while the system is running. We propose a methodology for live ComPOS programming which divides the development into three, iteratively applied, phases: finding services (explore), composing services (assemble), and abstracting compositions as new services (expose).
When developing a DSL, it takes substantial effort to specify the syntax and semantics, to build tools like editors, and to integrate with the environment (in this case the underlying middleware). To reduce the effort needed to experiment with ComPOS, we have created a tool called Jatte. Jatte is a generic projectional editor that developers can tune using attribute grammars. We used Jatte to implement the ComPOS editor.
Understanding IoT systems can be hard, and different analyses can help explain how they work. To support analysis, we propose a conceptual runtime model based on relational reference attribute grammars. We demonstrate the approach by formulating and implementing a Device Dependency Analysis (DDA). The DDA finds sets of devices needed for given parts of the system to work.
The ComPOS editor supports live programming to allow development while the system is running. We propose a methodology for live ComPOS programming which divides the development into three, iteratively applied, phases: finding services (explore), composing services (assemble), and abstracting compositions as new services (expose).
When developing a DSL, it takes substantial effort to specify the syntax and semantics, to build tools like editors, and to integrate with the environment (in this case the underlying middleware). To reduce the effort needed to experiment with ComPOS, we have created a tool called Jatte. Jatte is a generic projectional editor that developers can tune using attribute grammars. We used Jatte to implement the ComPOS editor.
Originalspråk | engelska |
---|---|
Kvalifikation | Doktor |
Tilldelande institution |
|
Handledare |
|
Sponsorer för avhandling | |
Tilldelningsdatum | 2021 juni 18 |
Förlag | |
ISBN (tryckt) | 978-91-7895-906-8 |
ISBN (elektroniskt) | 978-91-7895-905-1 |
Status | Published - 2021 maj 25 |
Bibliografisk information
Defence detailsDate: 2021-06-18
Time: 13:15
Place: Lecture hall E:1406, building E, Ole Römers väg 3, Faculty of Engineering LTH, Lund University, Lund. Link by registration: https://cs.lth.se/?97303&nid=102656
External reviewer(s)
Name: Mikkonen, Tommi J.
Title: Prof.
Affiliation: University of Helsinki, Finland.
---
Ämnesklassifikation (UKÄ)
- Data- och informationsvetenskap
Fingeravtryck
Utforska forskningsämnen för ”ComPOS - a Domain-Specific Language for Composing Internet-of-Things Systems”. Tillsammans bildar de ett unikt fingeravtryck.-
SMARTY: Säkra mjukvaruuppdateringar för den smarta staden
Hell, M., Magnusson, B., Gehrmann, C., Paladi, N., Karlsson, L., Sönnerup, J., Johnsson, B. A., Hedin, G., Nordahl, M., Pagnin, E., Kundu, R. & Åkesson, A.
Stiftelsen för Strategisk Forskning, SSF
2018/03/01 → 2023/02/28
Projekt: Forskning
-
WASP: Wallenberg AI, Autonomous Systems and Software Program at Lund University
2015/10/01 → 2029/12/31
Projekt: Forskning
-
Adaptive software architectures for autonomous system
Åkesson, A., Hedin, G., Magnusson, B. & Fors, N.
2016/01/01 → 2020/12/31
Projekt: Avhandling