Validating the Dependability of Embedded Systems through Fault Injection by Means of Loadable Kernel Modules

Autor:	Marco Murciano, Massimo Violante
Jazyk:	angličtina
Rok vydání:	2007
Předmět:	Dependability analysis Hardware virtualization Computer science business.industry Design flow Fault injection computer.software_genre Kernel (statistics) Embedded system Operating system Dependability business computer Virtual prototyping
Zdroj:	HLDVT
Popis:	The design of complex embedded systems deployed in safety-critical or mission-critical applications mandate the availability of methods for validating the system dependability across the whole design flow. In this paper we introduce a fault-injection approach based on loadable kernel modules which can be adopted as soon as a running prototype of the systems is available. Moreover, in order to decouple dependability analysis from the hardware availability, we propose to adopt hardware virtualization for building virtual prototype. Extensive experimental results are reported showing that dependability analyzes made using virtual prototype closely match those performed on physical prototypes.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fc52b9a2ac726b2cd065146a70d5025f http://hdl.handle.net/11583/1852789 Zobrazit plný text záznamu