Oct 2026· SCCTS Journal of Embedded Systems Design and Applications
Security and Verification in Computing
Abstract
Software embedded design systems are also penetrating more and more important areas of application: the Internet of Things (IoT), remote health monitoring, industrial automation, and smart infrastructure, current safe efficient and secure firmware update mechanisms are paramount. The ability associated with over-the-air (OTA) updating of firmware is strictly required in preserving the functioning of devices, exploiting such gaps, and empowering the features after release. But in highly constrained systems (those with limited memory, processing capacity and available energy), conventional secure update interfaces can incur unacceptable overheads or they may not provide complete protection against sophisticated cyber-attacks. In this paper the authors introduce a simple yet lightweight and robust OTA update mechanism built specifically to be used on such constrained platforms. This suggested framework combines the familiar AES-GCM-authenticated encryption to guarantee data confidentiality and integrity, a source authentication technique based on checking digital signatures secured using ECDSA, and a versioning protocol providing the anti-rollback protection using monotonic counters. As part of validating its practicality, the solution is applied and tested with ARM Cortex-M microcontrollers, i.e., STM32 and nRF52840, where communication is performed over low-power wireless networks like LoRaWAN and BLE. A signature of firmware packages via custom-built update server (TLS) will provide secure transfer of updated packages. Experimental scrutinisms indicate that the secure OTA system has very limited overhead in resources (about 14 KB extra flash usage and 3 KB of RAM) and the average update speed is 3.8 seconds with a 256 KB binary image using LoRaWAN. In addition, the system is well adapted to identify and discard a tainted or old firmware image, hence ensuring device immunity against attacks including firmware manipulation, replay, and man-in-the-middle intrusion. The performance highly conforms to the contention that the framework provides a robust degree of security and performance coupled with resource usability hence being ideal to use in real fully embedded applications that have strict limitations. This contribution consists of a scalable, secure OTA approach that builds resilience to the operational integrity and trustworthiness of the distributed embedded system in dynamic and security critical settings.
This publication proposes a definition and a classification of agile software development approaches and analyses ten software development methods that can be characterized as being "agile" against the defined criterion.
P. Abrahamsson, O. Salo, Jussi Ronkainen et al.· arXiv.org· 727 citations· ⚡54
The study shows that agile practices improve both informal and formal communication, but indicates that, in larger development situations involving multiple external stakeholders, a mismatch of adequate communication mechanisms can sometimes even hinder the communication.
M. Pikkarainen, Jukka Haikara, O. Salo et al.· Empirical Software Engineeri...· 401 citations· ⚡48
The results indicate that software engineering work practices are chosen opportunistically, adapted and configured to provide value under the constrains imposed by the startup context.
Nicolò Paternoster, Carmine Giardino, M. Unterkalmsteiner et al.· Information and Software Tec...· 394 citations· ⚡54
The results show that the embedded industry has been able to apply agile methods in its development processes and that the appreciation of the agile methods and their individual practices appears to increase once adopted and applied in practice.
O. Salo, P. Abrahamsson· IET Software· 238 citations· ⚡9
Consequences of happiness and unhappiness that are beneficial and detrimental for developers' mental well-being, the software development process, and the produced artifacts are found.
D. Graziotin, Fabian Fagerholm, Xiaofeng Wang et al.· Journal of Systems and Softw...· 236 citations· ⚡13
The Mobile-D approach is briefly outlined here and the experiences gained from four case studies are discussed, which helped develop an agile development approach for mobile application development.
P. Abrahamsson, Antti Hanhineva, H. Hulkko et al.· Conference on Object-Oriente...· 225 citations· ⚡18
StudentSim is a research system for evaluating and improving AI tutoring tools before they are tested with learners. It models how individuals may engage with tutors, giving feedback to improve tutor performance across subjects like chess, writing, and mathematics. The post Simulating student learning for better AI tutoring appeared first on Microsoft Research.
MIT News · Artificial Intelligence· news.mit.eduOct 6, 2026
Writing as a participant and researcher, PhD student JS Tan SM ’22 has co-authored a new book about the rise of tech worker protests and the employer backlash that followed.
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.