uu.seUppsala University Publications
Change search
Link to record
Permanent link

Direct link
BETA
Mottola, Luca, Prof.
Publications (9 of 9) Show all publications
Ahmed, S., Bhatti, N. A., Alizai, M. H., Siddiqui, J. & Mottola, L. (2019). Efficient Intermittent Computing with Differential Checkpointing. In: LCTES 2019 Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems: . Paper presented at 20th ACM International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), Phoenix, June 23, 2019. (pp. 70-81).
Open this publication in new window or tab >>Efficient Intermittent Computing with Differential Checkpointing
Show others...
2019 (English)In: LCTES 2019 Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems, 2019, p. 70-81Conference paper, Published paper (Refereed)
National Category
Computer Systems
Identifiers
urn:nbn:se:uu:diva-397984 (URN)10.1145/3316482.3326357 (DOI)978-1-4503-6724-0 (ISBN)
Conference
20th ACM International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), Phoenix, June 23, 2019.
Available from: 2019-11-28 Created: 2019-11-28 Last updated: 2019-12-02Bibliographically approved
Afanasov, M., Djordjevic, A., Liu, F. & Mottola, L. (2019). FlyZone: A Testbed for Experimenting with Aerial Drone Applications. In: MobiSys '19 Proceedings of the 17th Annual International Conference on Mobile Systems, Applications, and Services: . Paper presented at 17th ACM International Conference on Mobile Systems, Applications, and Services (MOBISYS), Seoul, Republic of Korea, June 17–21, 2019 (pp. 67-78).
Open this publication in new window or tab >>FlyZone: A Testbed for Experimenting with Aerial Drone Applications
2019 (English)In: MobiSys '19 Proceedings of the 17th Annual International Conference on Mobile Systems, Applications, and Services, 2019, p. 67-78Conference paper, Published paper (Refereed)
National Category
Computer Systems
Identifiers
urn:nbn:se:uu:diva-397981 (URN)10.1145/3307334.3326106 (DOI)978-1-4503-6661-8 (ISBN)
Conference
17th ACM International Conference on Mobile Systems, Applications, and Services (MOBISYS), Seoul, Republic of Korea, June 17–21, 2019
Available from: 2019-11-28 Created: 2019-11-28 Last updated: 2019-12-02Bibliographically approved
Branco, A., Mottola, L., Alizai, H. & Haroon Siddiqui, J. (2019). Intermittent Intermittent Asynchronous Peripheral Operations. In: SenSys ´19 Proceedings of the 17th ACM International Conference on Embedded Networked Sensor Systems (SENSYS): . Paper presented at 17th ACM International Conference on Embedded Networked Sensor Systems (SENSYS), New York, November 10-13, 2019..
Open this publication in new window or tab >>Intermittent Intermittent Asynchronous Peripheral Operations
2019 (English)In: SenSys ´19 Proceedings of the 17th ACM International Conference on Embedded Networked Sensor Systems (SENSYS), 2019Conference paper, Published paper (Refereed)
National Category
Computer Systems
Identifiers
urn:nbn:se:uu:diva-397985 (URN)10.1145/3356250.3360033 (DOI)978-1-4503-6950-3 (ISBN)
Conference
17th ACM International Conference on Embedded Networked Sensor Systems (SENSYS), New York, November 10-13, 2019.
Available from: 2019-11-28 Created: 2019-11-28 Last updated: 2019-12-02Bibliographically approved
Mottola, L., Picco, G. P., Oppermann, F., Eriksson, J., Finne, N., Fuchs, H., . . . Voigt, T. (2019). makeSense: Simplifying the Integration of Wireless Sensor Networks into Business Processes. IEEE Transactions on Software Engineering, 45(6), 576-596
Open this publication in new window or tab >>makeSense: Simplifying the Integration of Wireless Sensor Networks into Business Processes
Show others...
2019 (English)In: IEEE Transactions on Software Engineering, ISSN 0098-5589, E-ISSN 1939-3520, Vol. 45, no 6, p. 576-596Article in journal (Refereed) Published
Abstract [en]

A wide gap exists between the state of the art in developing Wireless Sensor Network (WSN) software and current practices concerning the design, execution, and maintenance of business processes. WSN software is most often developed based on low-level OS abstractions, whereas business process development leverages high-level languages and tools. This state of affairs places WSNs at the fringe of industry. The makeSense system addresses this problem by simplifying the integration of WSNs into business processes. Developers use BPMN models extended with WSN-specific constructs to specify the application behavior across both traditional business process execution environments and the WSN itself, which is to be equipped with application-specific software. We compile these models into a high-level intermediate language—also directly usable by WSN developers—and then into OS-specific deployment-ready binaries. Key to this process is the notion of meta-abstraction, which we define to capture fundamental patterns of interaction with and within the WSN. The concrete realization of meta-abstractions is application-specific; developers tailor the system configuration by selecting concrete abstractions out of the existing codebase or by providing their own. Our evaluation of makeSense shows that i) users perceive our approach as a significant advance over the state of the art, providing evidence of the increased developer productivity when using makeSense; ii) in large-scale simulations, our prototype exhibits an acceptable system overhead and good scaling properties, demonstrating the general applicability of makeSense; and, iii) our prototype—including the complete tool-chain and underlying system support—sustains a real-world deployment where estimates by domain specialists indicate the potential for drastic reductions in the total cost of ownership compared to wired and conventional WSN-based solutions.

Place, publisher, year, edition, pages
IEEE Computer Society, 2019
National Category
Computer Engineering
Identifiers
urn:nbn:se:uu:diva-367005 (URN)10.1109/TSE.2017.2787585 (DOI)000471686800003 ()
Funder
EU, FP7, Seventh Framework Programme, FP7-ICT-2009-5 258351
Available from: 2018-11-27 Created: 2018-11-27 Last updated: 2019-11-28Bibliographically approved
Maioli, A., Mottola, L., Alizai, M. H. & Siddiqui, J. H. (2019). On Intermittence Bugs in the Battery-less Internet of Things. In: LCTES 2019 Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems: . Paper presented at 20th ACM International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), Phoenix, June 23, 2019. (pp. 203-207).
Open this publication in new window or tab >>On Intermittence Bugs in the Battery-less Internet of Things
2019 (English)In: LCTES 2019 Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems, 2019, p. 203-207Conference paper, Published paper (Refereed)
National Category
Computer Systems
Identifiers
urn:nbn:se:uu:diva-397982 (URN)10.1145/3316482.3326346 (DOI)978-1-4503-6724-0 (ISBN)
Conference
20th ACM International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), Phoenix, June 23, 2019.
Available from: 2019-11-28 Created: 2019-11-28 Last updated: 2019-12-02Bibliographically approved
Ahmed, S., Bhakar, A., Bhatti, N. A., Alizai, M. H., Siddiqui, J. H. & Mottola, L. (2019). The Betrayal of Constant Power × Time: Finding the Missing Joules of Transiently-powered Computers. In: Proceedings of the 20th ACMSIGPLAN/SIGBED Conference on Languages, Compilers, and Toolsfor Embedded Systems (LCTES ’19): . Paper presented at 20th ACM International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES),June 23, 2019, Phoenix, AZ, USA.
Open this publication in new window or tab >>The Betrayal of Constant Power × Time: Finding the Missing Joules of Transiently-powered Computers
Show others...
2019 (English)In: Proceedings of the 20th ACMSIGPLAN/SIGBED Conference on Languages, Compilers, and Toolsfor Embedded Systems (LCTES ’19), 2019Conference paper, Published paper (Refereed)
National Category
Computer Systems
Identifiers
urn:nbn:se:uu:diva-397983 (URN)10.1145/3316482.3326348 (DOI)978-1-4503-6724-0 (ISBN)
Conference
20th ACM International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES),June 23, 2019, Phoenix, AZ, USA
Available from: 2019-11-28 Created: 2019-11-28 Last updated: 2019-12-02Bibliographically approved
Mottola, L. & Whitehouse, K. (2018). Fundamental Concepts of Reactive Control for Autonomous Drones. Communications of the ACM, 61(10), 96-104
Open this publication in new window or tab >>Fundamental Concepts of Reactive Control for Autonomous Drones
2018 (English)In: Communications of the ACM, ISSN 0001-0782, E-ISSN 1557-7317, Vol. 61, no 10, p. 96-104Article in journal (Refereed) Published
Abstract [en]

Autonomous drones represent a new breed of mobile computing system. Compared to smartphones and connected cars that only opportunistically sense or communicate, drones allow motion control to become part of the application logic. The efficiency of their movements is largely dictated by the low-level control enabling their autonomous operation based on high-level inputs. Existing implementations of such low-level control operate in a time-triggered fashion. In contrast, we conceive a notion of reactive control that allows drones to execute the low-level control logic only upon recognizing the need to, based on the influence of the environment onto the drone operation. As a result, reactive control can dynamically adapt the control rate. This brings fundamental benefits, including more accurate motion control, extended lifetime, and better quality of service in end-user applications. Based on 260+ hours of real-world experiments using three aerial drones, three different control logic, and three hardware platforms, we demonstrate, for example, up to 41% improvements in motion accuracy and up to 22% improvements in flight time.

National Category
Computer Systems
Identifiers
urn:nbn:se:uu:diva-397899 (URN)10.1145/3264417 (DOI)000446173900024 ()
Available from: 2019-11-27 Created: 2019-11-27 Last updated: 2019-11-28Bibliographically approved
Boano, C. A., Duquennoy, S., Foster, A., Gnawali, O., Jacob, R., Kim, H.-S., . . . Zimmerling, M. (2018). IoTBench: Towards a Benchmark for Low-power Wireless Networking. In: Proceedings of the 1st International Workshop on Benchmarking Cyber-Physical Networks and Systems: . Paper presented at 1st International Workshop on Benchmarking Cyber-Physical Networks and Systems (CPSBENCH – colocated with CPSWEEK), Porto, April 10, 2018..
Open this publication in new window or tab >>IoTBench: Towards a Benchmark for Low-power Wireless Networking
Show others...
2018 (English)In: Proceedings of the 1st International Workshop on Benchmarking Cyber-Physical Networks and Systems, 2018Conference paper, Published paper (Refereed)
National Category
Computer Systems
Identifiers
urn:nbn:se:uu:diva-397897 (URN)
Conference
1st International Workshop on Benchmarking Cyber-Physical Networks and Systems (CPSBENCH – colocated with CPSWEEK), Porto, April 10, 2018.
Available from: 2019-11-27 Created: 2019-11-27 Last updated: 2019-11-29Bibliographically approved
Afanasov, M., Mottola, L. & Ghezzi, C. (2018). Software Adaptation in Wireless Sensor Networks. ACM Transactions on Autonomous and Adaptive Systems, 12(4), Article ID 18.
Open this publication in new window or tab >>Software Adaptation in Wireless Sensor Networks
2018 (English)In: ACM Transactions on Autonomous and Adaptive Systems, ISSN 1556-4665, E-ISSN 1556-4703, Vol. 12, no 4, article id 18Article in journal (Refereed) Published
Abstract [en]

We present design concepts, programming constructs, and automatic verification techniques to support the development of adaptive Wireless Sensor Network (WSN) software. WSNs operate at the interface between the physical world and the computing machine and are hence exposed to unpredictable environment dynamics. WSN software must adapt to these dynamics to maintain dependable and efficient operation. However, developers are left without proper support to develop adaptive functionality in WSN software. Our work fills this gap with three key contributions: (i) design concepts help developers organize the necessary adaptive functionality and understand their relations, (ii) dedicated programming constructs simplify the implementations, (iii) custom verification techniques allow developers to check the correctness of their design before deployment. We implement dedicated tool support to tie the three contributions, facilitating their practical application. Our evaluation considers representative WSN applications to analyze code metrics, synthetic simulations, and cycle-accurate emulation of popular WSN platforms. The results indicate that our work is effective in simplifying the development of adaptive WSN software; for example, implementations are provably easier to test and to maintain, the run-time overhead of our dedicated programming constructs is negligible, and our verification techniques return results in a matter of seconds.

National Category
Computer Systems
Identifiers
urn:nbn:se:uu:diva-397896 (URN)10.1145/3145453 (DOI)000425664800002 ()
Available from: 2019-11-27 Created: 2019-11-27 Last updated: 2019-11-28Bibliographically approved
Organisations

Search in DiVA

Show all publications