Synthesizing Object State Transformers for Dynamic Software Updates

Zhao, Zelin; Jiang, Yanyan; Xu, Chang; Gu, Tianxiao; Ma, Xiaoxing

doi:10.1109/icse43902.2021.00103

Cited by 6 publications

(3 citation statements)

References 54 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Software engineers have developed a wide range of possible solutions and proof-of-concepts to improve IoT patching. These included dynamic patching [40], [ 41], incremental updates [39], firmware over-the-air (FOTA) [5], [27] and standardization [24]. From a technical perspective, typical firmware update procedures are fairly simple and adaptable to different devices.…”

Section: Software Engineering For Internet Of Things' Patches and Upd...mentioning

confidence: 99%

A Large-Scale Analysis of IoT Firmware Version Distribution in the Wild

Ebbers

2023

IIEEE Trans. Software Eng.

View full text Add to dashboard Cite

This paper examines the up-to-dateness of installed firmware versions of Internet of Things devices accessible via public Internet. It takes a novel approach to identify versions based on the source code of their web interfaces. It analyzes data sets of 1.06m devices collected using the IoT search engine Censys and then maps the results against the latest version each manufacturer offers. A fully scalable and adaptive approach is developed by applying the SEMMA data mining process. This approach relies on three data artifacts: raw data from Censys, a mapping table with firmware versions, and a keyword search list. The results confirm the heterogeneity of connected IoT devices and show that only 2.45 percent of the IoT devices "in the wild" run the latest available firmware. Installed versions are 19.2 months old on average. This real-world evidence suggests that the updating processes and methods used by engineers so far are not sufficient to keep IoT devices up-to-date. This paper identifies and quantifies influencing factors and captures the global and diverse distribution of IoT devices. It finds manufacturer and device type influence the up-todateness of firmware, whereas the country in which the device is deployed is less significant.

show abstract

Section: Software Engineering For Internet Of Things' Patches and Upd...mentioning

confidence: 99%

A Large-Scale Analysis of IoT Firmware Version Distribution in the Wild

Ebbers

2023

IIEEE Trans. Software Eng.

View full text Add to dashboard Cite

show abstract

“…Such adaptively grouped constraint checking can greatly improve the efficiency (up to 28.6×) with a soundness guarantee for the consistency of application contexts, making the applications understand dynamic environments correctly and efficiently. 2) On Dynamically Updating Software: PASTA [5] can automatically synthesize across-version object state transformers from multi-version code, with a greatly improved success rate (7.5×). This synthesis automation makes it possible to update the software dynamically from an old version to its new version at runtime, without the need for software shutdown and restart.…”

Section: B Enabling Technologies For Growing Softwarementioning

confidence: 99%

“…2) Second, when a reconfiguration is needed for coping with environmental changes (e.g., changes in its dependent resources), the system can conduct performance tuning (e.g., by SafeTune [6]) to find the new balance point (i.e., supporting stable driving even when its available resources are reduced), while not breaking the invariants implied by the underlying resource-intentionconfiguration relationships (i.e., still guaranteeing the safe-driving principle). 3) Third, when an evolution is needed for replacing the original code for implementing new functionalities, the system can conduct dynamic software update (e.g., by PASTA [5]) to transform the system from its old version to the new version without shutdown and restart. This feature is highly desirable (e.g., the vehicle can thus upgrade its system version anytime, even during driving).…”

Section: B Enabling Technologies For Growing Softwarementioning

confidence: 99%