Planned intervention: On Wednesday April 3rd 05:30 UTC Zenodo will be unavailable for up to 2-10 minutes to perform a storage cluster upgrade.
Published August 28, 2020 | Version v1
Conference paper Open

Safe and secure software updates on high-performance embedded systems

  • 1. Ikerlan

Description

The next generation of dependable embedded systems feature autonomy and higher levels of interconnection. Autonomy is commonly achieved with the support of artificial intelligence algorithms that pose high computing demands on the hardware platform, reaching a high performance scale. This involves a dramatic increase in software and hardware complexity, fact that together with the novelty of the technology,raises serious concerns regarding system dependability. Traditional approaches for certification require to demonstrate that the system will be acceptably safe to operate before it is deployed into service. The nature of autonomous systems, with potentially infinite scenarios, configurations and unanticipated interactions, makes it increasingly difficult to support such claim at design time. In this context, the extended networking technologies can be exploited to collect post-deployment
evidence that serve to oversee whether safety assumptions are preserved during operation and to continuously improve the system through regular software updates. These software updates are not only convenient for critical bug fixing but also necessary for keeping the interconnected system resilient against security threats. However, such approach requires a recondition of the traditional certification practices.

Notes

This is the author's version of the work. It is posted here for your personal use. Not for redistribution. The definitive Version of Record was published in DSN 2020. https://doi.org/10.1109/DSN-W50199.2020.00021

Files

DSN_W_U2D_ExtendedAbstract.pdf

Files (73.7 kB)

Name Size Download all
md5:6573888088d932354b140bb07ada0b01
73.7 kB Preview Download