Validating the dependability of embedded systems through fault injection by means of loadable kernel modules

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 c...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Murciano, M., Violante, M.
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Availability Buildings Embedded system Hardware Kernel Mission critical systems Performance analysis Platform virtualization Prototypes Virtual prototyping
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

container_end_page	186
container_issue
container_start_page	179
container_title
container_volume
creator	Murciano, M. Violante, M.
description	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.
doi_str_mv	10.1109/HLDVT.2007.4392811
format	Conference Proceeding
fullrecord	<record><control><sourceid>ieee_6IE</sourceid><recordid>TN_cdi_ieee_primary_4392811</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>4392811</ieee_id><sourcerecordid>4392811</sourcerecordid><originalsourceid>FETCH-LOGICAL-i175t-bc28277eb16a4e7eda42eb9d5f9677676416a1089dd21e11d3947bafbf4381b93</originalsourceid><addsrcrecordid>eNotUMlOwzAUtFgkSukPwMU_kOLnOHZ8RGUpUiQupdfKrl9aFyepYueQvyeIzmUOs0gzhDwCWwIw_byuXrebJWdMLUWueQlwRWZcKMhUydU1uQfBhQBRMnlDZlAUPJNSiTuyiPHEJogi11DMSNia4J1Jvj3QdETq8IytM9YHn0ba1RQbi86ho3GMCZs4ufpuOBxpbYaQqG9PuE--a6kdaYOmjX-h0JmpIyD9wb7FQJvODQHjA7mtTYi4uPCcfL-_bVbrrPr6-Fy9VJkHVaTM7vk0QqEFaQQqdEZwtNoVtZZKSSXFJAArtXMcEMDlWihraluLvASr8zl5-u_1iLg7974x_bi7HJX_AnnwXJ4</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Validating the dependability of embedded systems through fault injection by means of loadable kernel modules</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Murciano, M. ; Violante, M.</creator><creatorcontrib>Murciano, M. ; Violante, M.</creatorcontrib><description>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.</description><identifier>ISSN: 1552-6674</identifier><identifier>ISBN: 1424414806</identifier><identifier>ISBN: 9781424414802</identifier><identifier>EISSN: 2471-7827</identifier><identifier>DOI: 10.1109/HLDVT.2007.4392811</identifier><language>eng</language><publisher>IEEE</publisher><subject>Availability ; Buildings ; Embedded system ; Hardware ; Kernel ; Mission critical systems ; Performance analysis ; Platform virtualization ; Prototypes ; Virtual prototyping</subject><ispartof>2007 IEEE International High Level Design Validation and Test Workshop, 2007, p.179-186</ispartof><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/4392811$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,780,784,789,790,2056,27923,54918</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/4392811$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Murciano, M.</creatorcontrib><creatorcontrib>Violante, M.</creatorcontrib><title>Validating the dependability of embedded systems through fault injection by means of loadable kernel modules</title><title>2007 IEEE International High Level Design Validation and Test Workshop</title><addtitle>HLDVT</addtitle><description>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.</description><subject>Availability</subject><subject>Buildings</subject><subject>Embedded system</subject><subject>Hardware</subject><subject>Kernel</subject><subject>Mission critical systems</subject><subject>Performance analysis</subject><subject>Platform virtualization</subject><subject>Prototypes</subject><subject>Virtual prototyping</subject><issn>1552-6674</issn><issn>2471-7827</issn><isbn>1424414806</isbn><isbn>9781424414802</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2007</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><sourceid>RIE</sourceid><recordid>eNotUMlOwzAUtFgkSukPwMU_kOLnOHZ8RGUpUiQupdfKrl9aFyepYueQvyeIzmUOs0gzhDwCWwIw_byuXrebJWdMLUWueQlwRWZcKMhUydU1uQfBhQBRMnlDZlAUPJNSiTuyiPHEJogi11DMSNia4J1Jvj3QdETq8IytM9YHn0ba1RQbi86ho3GMCZs4ufpuOBxpbYaQqG9PuE--a6kdaYOmjX-h0JmpIyD9wb7FQJvODQHjA7mtTYi4uPCcfL-_bVbrrPr6-Fy9VJkHVaTM7vk0QqEFaQQqdEZwtNoVtZZKSSXFJAArtXMcEMDlWihraluLvASr8zl5-u_1iLg7974x_bi7HJX_AnnwXJ4</recordid><startdate>200711</startdate><enddate>200711</enddate><creator>Murciano, M.</creator><creator>Violante, M.</creator><general>IEEE</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope></search><sort><creationdate>200711</creationdate><title>Validating the dependability of embedded systems through fault injection by means of loadable kernel modules</title><author>Murciano, M. ; Violante, M.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-i175t-bc28277eb16a4e7eda42eb9d5f9677676416a1089dd21e11d3947bafbf4381b93</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2007</creationdate><topic>Availability</topic><topic>Buildings</topic><topic>Embedded system</topic><topic>Hardware</topic><topic>Kernel</topic><topic>Mission critical systems</topic><topic>Performance analysis</topic><topic>Platform virtualization</topic><topic>Prototypes</topic><topic>Virtual prototyping</topic><toplevel>online_resources</toplevel><creatorcontrib>Murciano, M.</creatorcontrib><creatorcontrib>Violante, M.</creatorcontrib><collection>IEEE Electronic Library (IEL) Conference Proceedings</collection><collection>IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume</collection><collection>IEEE Xplore All Conference Proceedings</collection><collection>IEEE Electronic Library (IEL)</collection><collection>IEEE Proceedings Order Plans (POP All) 1998-Present</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Murciano, M.</au><au>Violante, M.</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Validating the dependability of embedded systems through fault injection by means of loadable kernel modules</atitle><btitle>2007 IEEE International High Level Design Validation and Test Workshop</btitle><stitle>HLDVT</stitle><date>2007-11</date><risdate>2007</risdate><spage>179</spage><epage>186</epage><pages>179-186</pages><issn>1552-6674</issn><eissn>2471-7827</eissn><isbn>1424414806</isbn><isbn>9781424414802</isbn><abstract>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.</abstract><pub>IEEE</pub><doi>10.1109/HLDVT.2007.4392811</doi><tpages>8</tpages></addata></record>
fulltext	fulltext_linktorsrc
identifier	ISSN: 1552-6674
ispartof	2007 IEEE International High Level Design Validation and Test Workshop, 2007, p.179-186
issn	1552-6674 2471-7827
language	eng
recordid	cdi_ieee_primary_4392811
source	IEEE Electronic Library (IEL) Conference Proceedings
subjects	Availability Buildings Embedded system Hardware Kernel Mission critical systems Performance analysis Platform virtualization Prototypes Virtual prototyping
title	Validating the dependability of embedded systems through fault injection by means of loadable kernel modules
url	https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-14T02%3A56%3A37IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-ieee_6IE&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Validating%20the%20dependability%20of%20embedded%20systems%20through%20fault%20injection%20by%20means%20of%20loadable%20kernel%20modules&rft.btitle=2007%20IEEE%20International%20High%20Level%20Design%20Validation%20and%20Test%20Workshop&rft.au=Murciano,%20M.&rft.date=2007-11&rft.spage=179&rft.epage=186&rft.pages=179-186&rft.issn=1552-6674&rft.eissn=2471-7827&rft.isbn=1424414806&rft.isbn_list=9781424414802&rft_id=info:doi/10.1109/HLDVT.2007.4392811&rft_dat=%3Cieee_6IE%3E4392811%3C/ieee_6IE%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=4392811&rfr_iscdi=true