Endre søk
Link to record
Permanent link

Direct link
BETA
Publikasjoner (10 av 58) Visa alla publikasjoner
Ahmed, S., Bhatti, N., Alizai, M., Siddiqui, J. & Mottola, L. (2019). Efficient intermittent computing with differential checkpointing. In: Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES): . Paper presented at 20th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems, LCTES 2019, co-located with PLDI 2019, 23 June 2019 (pp. 70-81). Association for Computing Machinery
Åpne denne publikasjonen i ny fane eller vindu >>Efficient intermittent computing with differential checkpointing
Vise andre…
2019 (engelsk)Inngår i: Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), Association for Computing Machinery , 2019, s. 70-81Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

Embedded devices running on ambient energy perform computations intermittently, depending upon energy availability. System support ensures forward progress of programs through state checkpointing in non-volatile memory. Checkpointing is, however, expensive in energy and adds to execution times. To reduce this overhead, we present DICE, a system design that efficiently achieves differential checkpointing in intermittent computing. Distinctive traits of DICE are its software-only nature and its ability to only operate in volatile main memory to determine differentials. DICE works with arbitrary programs using automatic code instrumentation, thus requiring no programmer intervention, and can be integrated with both reactive (Hibernus) or proactive (MementOS, HarvOS) checkpointing systems. By reducing the cost of checkpoints, performance markedly improves. For example, using DICE, Hibernus requires one order of magnitude shorter time to complete a fixed workload in real-world settings.

sted, utgiver, år, opplag, sider
Association for Computing Machinery, 2019
Emneord
Differential checkpointing, Intermittent computing, Transiently powered computers, Cost reduction, Digital storage, Program compilers, Automatic codes, Check pointing, Embedded device, Energy availability, Non-volatile memory, Real world setting, System supports, Embedded systems
HSV kategori
Identifikatorer
urn:nbn:se:ri:diva-40823 (URN)10.1145/3316482.3326357 (DOI)2-s2.0-85070981444 (Scopus ID)9781450367240 (ISBN)
Konferanse
20th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems, LCTES 2019, co-located with PLDI 2019, 23 June 2019
Tilgjengelig fra: 2019-11-25 Laget: 2019-11-25 Sist oppdatert: 2019-11-25bibliografisk kontrollert
Afanasov, M., Djordjevic, A., Lui, F. & Mottola, L. (2019). Flyzone: A testbed for experimenting with aerial drone applications. In: MobiSys 2019 - 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 2019, 17 June 2019 through 21 June 2019 (pp. 67-78). Association for Computing Machinery, Inc
Åpne denne publikasjonen i ny fane eller vindu >>Flyzone: A testbed for experimenting with aerial drone applications
2019 (engelsk)Inngår i: MobiSys 2019 - Proceedings of the 17th Annual International Conference on Mobile Systems, Applications, and Services, Association for Computing Machinery, Inc , 2019, s. 67-78Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

FlyZone is a testbed architecture to experiment with aerial drone applications. Unlike most existing drone testbeds that focus on low-level mechanical control, FlyZone offers a high-level API and features geared towards experimenting with application-level functionality. These include the emulation of environment influences, such as wind, and the automatic monitoring of developer-provided safety constraints, for example, to mimic obstacles. We conceive novel solutions to achieve this functionality, including a hardware/software architecture that maximizes decoupling from the main application and a custom visual localization technique expressly designed for testbed operation. We deploy two instances of FlyZone and study performance and effectiveness. We demonstrate that we realistically emulate the environment influence with a positioning error bound by the size of the smallest drone we test, that our localization technique provides a root mean square error of 9.2cm, and that detection of violations to safety constraints happens with a 50ms worst-case latency. We also report on how FlyZone supported developing three real-world drone applications, and discuss a user study demonstrating the benefits of FlyZone compared to drone simulators. 

sted, utgiver, år, opplag, sider
Association for Computing Machinery, Inc, 2019
Emneord
Dependability, Drones, Localization, Testbeds, Aircraft detection, Antennas, Application programming interfaces (API), Mean square error, Safety engineering, Automatic monitoring, Environment influence, Localization technique, Root mean square errors, Visual localization, Worst-case latencies
HSV kategori
Identifikatorer
urn:nbn:se:ri:diva-40163 (URN)10.1145/3307334.3326106 (DOI)2-s2.0-85069169401 (Scopus ID)9781450366618 (ISBN)
Konferanse
17th ACM International Conference on Mobile Systems, Applications, and Services, MobiSys 2019, 17 June 2019 through 21 June 2019
Tilgjengelig fra: 2019-10-15 Laget: 2019-10-15 Sist oppdatert: 2020-02-07bibliografisk kontrollert
Mottola, L., Picco, G. P., Oppermann, F. J., 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, Article ID 8240710.
Åpne denne publikasjonen i ny fane eller vindu >>MakeSense: Simplifying the Integration of Wireless Sensor Networks into Business Processes
Vise andre…
2019 (engelsk)Inngår i: IEEE Transactions on Software Engineering, ISSN 0098-5589, E-ISSN 1939-3520, Vol. 45, nr 6, s. 576-596, artikkel-id 8240710Artikkel i tidsskrift (Fagfellevurdert) 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.

sted, utgiver, år, opplag, sider
Institute of Electrical and Electronics Engineers Inc., 2019
Emneord
Business processes, embedded software, internet of things, wireless sensor networks, Abstracting, Application programs, Computer software, Concretes, High level languages, Industry, Mathematical programming, Ventilation, Application behaviors, Application specific, Business process execution, Intermediate languages, Large scale simulations, Real world deployment, System configurations, Total cost of ownership
HSV kategori
Identifikatorer
urn:nbn:se:ri:diva-40924 (URN)10.1109/TSE.2017.2787585 (DOI)2-s2.0-85040028248 (Scopus ID)
Merknad

Funding details: Seventh Framework Programme, 258351, FP7-ICT-2009-5; Funding text 1: This work was supported by the European Union 7th Framework Programme (FP7-ICT-2009-5) under grant agreement n. 258351 (project makeSense).

Tilgjengelig fra: 2019-12-10 Laget: 2019-12-10 Sist oppdatert: 2020-02-04bibliografisk kontrollert
Maioli, A., Alizai, M. H., Mottola, L. & Siddiqui, J. H. (2019). On intermittence bugs in the battery-less internet of things (WIP paper). In: Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES): . Paper presented at 20th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems, LCTES 2019, co-located with PLDI 2019, 23 June 2019 (pp. 203-207). Association for Computing Machinery
Åpne denne publikasjonen i ny fane eller vindu >>On intermittence bugs in the battery-less internet of things (WIP paper)
2019 (engelsk)Inngår i: Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), Association for Computing Machinery , 2019, s. 203-207Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

The resource-constrained devices of the battery-less Internet of Things are powered off energy harvesting and compute intermittently, as energy is available. Forward progress of programs is ensured by creating persistent state. Mixed-volatile platforms are thus an asset, as they map slices of the address space onto non-volatile memory. However, these platforms also possibly introduce intermittence bugs, where intermittent and continuous executions differ. Our ongoing work on intermittence bugs includes (i) an analysis that demonstrates their presence in settings that current literature overlooks; (ii) the design of efficient testing techniques to check their presence in arbitrary code, which would be otherwise prohibitive given the sheer number of different executions to check; (iii) the implementation of an offline tool called ScEpTIC that implements these techniques. ScEpTIC finds the same bugs as a brute-force approach, but is six orders of magnitude faster. © 2019 Copyright held by the owner/author(s).

sted, utgiver, år, opplag, sider
Association for Computing Machinery, 2019
Emneord
Intermittence bugs, Intermittent computing, Mixed-volatile systems, Transiently-powered computing, Digital storage, Electric batteries, Embedded systems, Energy harvesting, Internet of things, Program compilers, Space platforms, Testing, Brute-force approach, Non-volatile memory, Orders of magnitude, Resourceconstrained devices, Testing technique, Program debugging
HSV kategori
Identifikatorer
urn:nbn:se:ri:diva-40161 (URN)10.1145/3316482.3326346 (DOI)s2.0-85070995506 (Scopus ID)9781450367240 (ISBN)
Konferanse
20th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems, LCTES 2019, co-located with PLDI 2019, 23 June 2019
Tilgjengelig fra: 2019-10-15 Laget: 2019-10-15 Sist oppdatert: 2019-10-15bibliografisk kontrollert
Ahmed, S., Bakar, A., Bhatti, N., Alizai, M., Siddiqui, J. H. & Mottola, L. (2019). The betrayal of constant power × time: Finding the missing joules of transiently-powered computers. In: Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES): . Paper presented at 20th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems, LCTES 2019, co-located with PLDI 2019, 23 June 2019 (pp. 97-109). Association for Computing Machinery
Åpne denne publikasjonen i ny fane eller vindu >>The betrayal of constant power × time: Finding the missing joules of transiently-powered computers
Vise andre…
2019 (engelsk)Inngår i: Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), Association for Computing Machinery , 2019, s. 97-109Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

Transiently-powered computers (TPCs) lay the basis for a battery-less Internet of Things, using energy harvesting and small capacitors to power their operation. This power supply is characterized by extreme variations in supply voltage, as capacitors charge when harvesting energy and discharge when computing. We experimentally find that these variations cause marked fluctuations in clock speed and power consumption, which determine energy efficiency. We demonstrate that it is possible to accurately model and concretely capitalize on these fluctuations. We derive an energy model as a function of supply voltage and develop EPIC, a compile-time energy analysis tool. We use EPIC to substitute for the constant power assumption in existing analysis techniques, giving programmers accurate information on worst-case energy consumption of programs. When using EPIC with existing TPC system support, run-time energy efficiency drastically improves, eventually leading up to a 350% speedup in the time to complete a fixed workload. Further, when using EPIC with existing debugging tools, programmers avoid unnecessary program changes that hurt energy efficiency.

sted, utgiver, år, opplag, sider
Association for Computing Machinery, 2019
Emneord
Energy modelling, Intermittent computing, Transiently powered computers, Embedded systems, Energy harvesting, Energy utilization, Program compilers, Program debugging, Analysis techniques, Constant power, Debugging tools, Harvesting energies, Supply voltages, System supports, Energy efficiency
HSV kategori
Identifikatorer
urn:nbn:se:ri:diva-40822 (URN)10.1145/3316482.3326348 (DOI)2-s2.0-85070994171 (Scopus ID)9781450367240 (ISBN)
Konferanse
20th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems, LCTES 2019, co-located with PLDI 2019, 23 June 2019
Tilgjengelig fra: 2019-11-25 Laget: 2019-11-25 Sist oppdatert: 2019-11-25bibliografisk kontrollert
Izzo, F. A., Aspesi, L., Bellini, A., Pacchiarotti, C., Caimi, F., Persano, G., . . . Maffei, S. (2018). Demo abstract: 64Key - A mesh-based collaborative plaform. In: SenSys 2018 - Proceedings of the 16th Conference on Embedded Networked Sensor Systems: . Paper presented at 16th ACM Conference on Embedded Networked Sensor Systems, SENSYS 2018, 4 November 2018 through 7 November 2018 (pp. 422-423). Association for Computing Machinery, Inc
Åpne denne publikasjonen i ny fane eller vindu >>Demo abstract: 64Key - A mesh-based collaborative plaform
Vise andre…
2018 (engelsk)Inngår i: SenSys 2018 - Proceedings of the 16th Conference on Embedded Networked Sensor Systems, Association for Computing Machinery, Inc , 2018, s. 422-423Konferansepaper, Oral presentation with published abstract (Fagfellevurdert)
Abstract [en]

We present 64Key, a hardware/software platform that enables impromptu sensing, data sharing, collaborative working, and social networking among physically co-located users independently of their own hardware platform, operating system, network stack, and of the availability of Internet access. 64Key caters to those scenarios such as computer labs, large conferences, and emergency situations where the network infrastructure is limited in operation or simply not available, and peer-to-peer interactions are prevented or not possible. By plugging a 64Key device in one’s mobile device USB port, an independent network is created on the fly, which users access from their own device though a web-based interface. In addition to default apps such as chat, file sharing, and collaborative text editing, 64Key’s functionality may be extended through the run-time installation of third-party apps, available at a public app store. We demonstrate our proof-of-concept implementation of 64Key with multiple apps in a set of key scenarios.

sted, utgiver, år, opplag, sider
Association for Computing Machinery, Inc, 2018
Emneord
Abstracting, Computer hardware, Distributed computer systems, Embedded systems, Multimedia systems, Collaborative working, Emergency situation, Hardware platform, Hardware/software, Network infrastructure, Peer-to-peer interaction, Proof of concept, Web-based interface, Peer to peer networks
HSV kategori
Identifikatorer
urn:nbn:se:ri:diva-38616 (URN)10.1145/3274783.3275214 (DOI)2-s2.0-85061754039 (Scopus ID)9781450359528 (ISBN)
Konferanse
16th ACM Conference on Embedded Networked Sensor Systems, SENSYS 2018, 4 November 2018 through 7 November 2018
Tilgjengelig fra: 2019-05-10 Laget: 2019-05-10 Sist oppdatert: 2019-05-15bibliografisk kontrollert
Mottola, L. & Whitehouse, K. (2018). Fundamental concepts of reactive control for autonomous drones. Communications of the ACM, 61(10), 96-104
Åpne denne publikasjonen i ny fane eller vindu >>Fundamental concepts of reactive control for autonomous drones
2018 (engelsk)Inngår i: Communications of the ACM, ISSN 0001-0782, E-ISSN 1557-7317, Vol. 61, nr 10, s. 96-104Artikkel i tidsskrift (Fagfellevurdert) 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 timetriggered 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.

Emneord
Aircraft control, Antennas, Computation theory, Computer circuits, Drones, Human computer interaction, Level control, Mobile computing, Motion control, Quality of service, Application logic, Autonomous operations, End-user applications, Fundamental concepts, Hardware platform, Low level control, Mobile computing systems, Real world experiment, Quality control
HSV kategori
Identifikatorer
urn:nbn:se:ri:diva-35979 (URN)10.1145/3264417 (DOI)2-s2.0-85054526339 (Scopus ID)
Tilgjengelig fra: 2018-11-08 Laget: 2018-11-08 Sist oppdatert: 2019-03-07bibliografisk kontrollert
Afanasov, M., Iavorskii, A. & Mottola, L. (2018). Programming Support for Time-sensitive Adaptation in Cyberphysical Systems. ACM SIGBED Review, 14(4), 27-32
Åpne denne publikasjonen i ny fane eller vindu >>Programming Support for Time-sensitive Adaptation in Cyberphysical Systems
2018 (engelsk)Inngår i: ACM SIGBED Review, Vol. 14, nr 4, s. 27-32Artikkel i tidsskrift (Fagfellevurdert) Published
Abstract [en]

Cyberphysical systems (CPS) integrate embedded sensors,actuators, and computing elements for controlling physicalprocesses. Due to the intimate interactions with thesurrounding environment, CPS software must continuouslyadapt to changing conditions. Enacting adaptation decisionsis often subject to strict time requirements to ensure controlstability, while CPS software must operate within the tightresource constraints that characterize CPS platforms. Developersare typically left without dedicated programmingsupport to cope with these aspects. This results in either toneglect functional or timing issues that may potentially ariseor to invest significant efforts to implement hand-crafted solutions.We provide programming constructs that allow developersto simplify the specification of adaptive processingand to rely on well-defined time semantics. Our evaluationshows that using these constructs simplifies implementationswhile reducing developers’ effort, at the price of a modestmemory and processing overhead.

HSV kategori
Identifikatorer
urn:nbn:se:ri:diva-34870 (URN)10.1145/3177803.3177808 (DOI)
Tilgjengelig fra: 2018-08-21 Laget: 2018-08-21 Sist oppdatert: 2018-08-22bibliografisk kontrollert
Afanasov, M., Mottola, L. & Ghezzi, C. (2018). Software Adaptation in Wireless Sensor Networks. ACM Transactions on Autonomous and Adaptive Systems, 12(4), 1-29
Åpne denne publikasjonen i ny fane eller vindu >>Software Adaptation in Wireless Sensor Networks
2018 (engelsk)Inngår i: ACM Transactions on Autonomous and Adaptive Systems, Vol. 12, nr 4, s. 1-29Artikkel i tidsskrift (Fagfellevurdert) Published
Abstract [en]

We present design concepts, programming constructs, and automatic verification techniques to support thedevelopment of adaptive Wireless Sensor Network (WSN) software. WSNs operate at the interface betweenthe 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. Whilesignificant literature exists on the necessary adaptation logic, developers are left without proper support inmaterializing such a logic in a running system. Our work fills this gap with three key contributions: i) designconcepts help developers organize the necessary adaptive functionality and understand their relations,ii) dedicated programming constructs simplify the implementations, iii) custom verification techniques allowdevelopers to check the correctness of their design before deployment. We implement dedicated toolsupport to tie the three contributions, facilitating their practical application. Our evaluation considers representativeWSN applications to analyze code metrics, synthetic simulations, and cycle-accurate emulationof popular WSN platforms. The results indicate that our work is effective in simplifying the developmentof adaptive WSN software; for example, implementations are provably easier to test and to maintain, therun-time overhead of our dedicated programming construct is negligible, and our verification techniquesreturn results in a matter of seconds.

HSV kategori
Identifikatorer
urn:nbn:se:ri:diva-34871 (URN)10.1145/3145453 (DOI)2-s2.0-85042523735 (Scopus ID)
Tilgjengelig fra: 2018-08-21 Laget: 2018-08-21 Sist oppdatert: 2019-01-10bibliografisk kontrollert
Varshney, A., Soleiman, A., Mottola, L. & Voigt, T. (2017). Battery-free VisibleLight Sensing. In: Proceeding VLCS '17 Proceedings of the 4th ACM Workshop on Visible Light Communication Systems. Snowbird, Utah, USA — October 16 - 16, 2017: . Paper presented at VLCS '17 Proceedings of the 4th ACM Workshop on Visible Light Communication Systems. Snowbird, Utah, USA — October 16 - 16, 2017 (pp. 3-8).
Åpne denne publikasjonen i ny fane eller vindu >>Battery-free VisibleLight Sensing
2017 (engelsk)Inngår i: Proceeding VLCS '17 Proceedings of the 4th ACM Workshop on Visible Light Communication Systems. Snowbird, Utah, USA — October 16 - 16, 2017, 2017, s. 3-8Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

We present the design of the first Visible Light Sensing (VLS) system that consumes only tens of μWs of power to sense and communicate. Unlike most existing VLS systems, we require no modification to the existing light infrastructure since we use unmodulated light as a sensing medium. We achieve this by designing a novel mechanism that uses solar cells to achieve a sub-μW power consumption for sensing. Further, we devise an ultra-low power transmission mechanism that backscatters sensor readings and avoids the processing and computational overhead of existing sensor systems. Our initial results show the ability to detect and transmit hand gestures or presence of people up to distances of 330m at a peak power of μWs. Further, we demonstrate that our system can operate in diverse light conditions (100 lx to 80 klx) where existing VLS designs fail due to saturation of the transimpedance amplifier (TIA).

HSV kategori
Identifikatorer
urn:nbn:se:ri:diva-32982 (URN)10.1145/3129881.3129890 (DOI)2-s2.0-85040088366 (Scopus ID)
Konferanse
VLCS '17 Proceedings of the 4th ACM Workshop on Visible Light Communication Systems. Snowbird, Utah, USA — October 16 - 16, 2017
Tilgjengelig fra: 2018-01-03 Laget: 2018-01-03 Sist oppdatert: 2020-02-04bibliografisk kontrollert
Identifikatorer
ORCID-id: ORCID iD iconorcid.org/0000-0003-4560-9541
v. 2.35.9