Irene Bicchierai, Enrico Schiavone, Massimiliano Leone Itria, Andrea Bondavalli, Lorenzo Falai. A Methodology for the Qualification of Operating Systems and Hypervisors for the Deployment in IoT Devices. In Jérémie Guiochet, Stefano Tonetta, Erwin Schoitsch, Matthieu Roy, Friedemann Bitsch, editors, Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops - ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings. Volume 14182 of Lecture Notes in Computer Science, pages 123-134, Springer, 2023. [doi]
Abstract is missing.