{"id":"https://openalex.org/W2099756544","doi":"https://doi.org/10.1145/1629335.1629367","title":"Handling mixed-criticality in SoC-based real-time embedded systems","display_name":"Handling mixed-criticality in SoC-based real-time embedded systems","publication_year":2009,"publication_date":"2009-10-12","ids":{"openalex":"https://openalex.org/W2099756544","doi":"https://doi.org/10.1145/1629335.1629367","mag":"2099756544"},"language":"en","primary_location":{"id":"doi:10.1145/1629335.1629367","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1629335.1629367","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the seventh ACM international conference on Embedded software","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5009578055","display_name":"Rodolfo Pellizzoni","orcid":"https://orcid.org/0000-0002-7331-804X"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Rodolfo Pellizzoni","raw_affiliation_strings":["University of Illinois at Urbana-Champaign, Urbana, IL, USA","University of Illinois at Urbana/Champaign, Urbana, IL, USA#TAB#"],"affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana-Champaign, Urbana, IL, USA","institution_ids":["https://openalex.org/I157725225"]},{"raw_affiliation_string":"University of Illinois at Urbana/Champaign, Urbana, IL, USA#TAB#","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049185168","display_name":"Patrick Meredith","orcid":null},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Patrick Meredith","raw_affiliation_strings":["University of Illinois at Urbana-Champaign, Urbana, IL, USA","University of Illinois at Urbana/Champaign, Urbana, IL, USA#TAB#"],"affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana-Champaign, Urbana, IL, USA","institution_ids":["https://openalex.org/I157725225"]},{"raw_affiliation_string":"University of Illinois at Urbana/Champaign, Urbana, IL, USA#TAB#","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035677133","display_name":"Min-Young Nam","orcid":null},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Min-Young Nam","raw_affiliation_strings":["University of Illinois at Urbana-Champaign, Urbana, IL, USA","University of Illinois at Urbana/Champaign, Urbana, IL, USA#TAB#"],"affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana-Champaign, Urbana, IL, USA","institution_ids":["https://openalex.org/I157725225"]},{"raw_affiliation_string":"University of Illinois at Urbana/Champaign, Urbana, IL, USA#TAB#","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108774438","display_name":"Mu Sun","orcid":null},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mu Sun","raw_affiliation_strings":["University of Illinois at Urbana-Champaign, Urbana, IL, USA","University of Illinois at Urbana/Champaign, Urbana, IL, USA#TAB#"],"affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana-Champaign, Urbana, IL, USA","institution_ids":["https://openalex.org/I157725225"]},{"raw_affiliation_string":"University of Illinois at Urbana/Champaign, Urbana, IL, USA#TAB#","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060442004","display_name":"Marco Caccamo","orcid":"https://orcid.org/0000-0003-2328-044X"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Marco Caccamo","raw_affiliation_strings":["University of Illinois at Urbana-Champaign, Urbana, IL, USA","University of Illinois at Urbana/Champaign, Urbana, IL, USA#TAB#"],"affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana-Champaign, Urbana, IL, USA","institution_ids":["https://openalex.org/I157725225"]},{"raw_affiliation_string":"University of Illinois at Urbana/Champaign, Urbana, IL, USA#TAB#","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5067032971","display_name":"Lui Sha","orcid":"https://orcid.org/0000-0002-5578-0791"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Lui Sha","raw_affiliation_strings":["University of Illinois at Urbana-Champaign, Urbana, IL, USA","University of Illinois at Urbana/Champaign, Urbana, IL, USA#TAB#"],"affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana-Champaign, Urbana, IL, USA","institution_ids":["https://openalex.org/I157725225"]},{"raw_affiliation_string":"University of Illinois at Urbana/Champaign, Urbana, IL, USA#TAB#","institution_ids":["https://openalex.org/I157725225"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5009578055"],"corresponding_institution_ids":["https://openalex.org/I157725225"],"apc_list":null,"apc_paid":null,"fwci":5.6278,"has_fulltext":false,"cited_by_count":71,"citation_normalized_percentile":{"value":0.96403218,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"235","last_page":"244"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/mixed-criticality","display_name":"Mixed criticality","score":0.9167291522026062},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8218675851821899},{"id":"https://openalex.org/keywords/criticality","display_name":"Criticality","score":0.6815889477729797},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.6028521060943604},{"id":"https://openalex.org/keywords/system-on-a-chip","display_name":"System on a chip","score":0.46347981691360474},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.44248121976852417},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.43703800439834595},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4194449782371521},{"id":"https://openalex.org/keywords/isolation","display_name":"Isolation (microbiology)","score":0.4179021418094635},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2120557725429535}],"concepts":[{"id":"https://openalex.org/C2781124451","wikidata":"https://www.wikidata.org/wiki/Q6883956","display_name":"Mixed criticality","level":3,"score":0.9167291522026062},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8218675851821899},{"id":"https://openalex.org/C125611927","wikidata":"https://www.wikidata.org/wiki/Q17008131","display_name":"Criticality","level":2,"score":0.6815889477729797},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.6028521060943604},{"id":"https://openalex.org/C118021083","wikidata":"https://www.wikidata.org/wiki/Q610398","display_name":"System on a chip","level":2,"score":0.46347981691360474},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.44248121976852417},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.43703800439834595},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4194449782371521},{"id":"https://openalex.org/C2775941552","wikidata":"https://www.wikidata.org/wiki/Q25212305","display_name":"Isolation (microbiology)","level":2,"score":0.4179021418094635},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2120557725429535},{"id":"https://openalex.org/C185544564","wikidata":"https://www.wikidata.org/wiki/Q81197","display_name":"Nuclear physics","level":1,"score":0.0},{"id":"https://openalex.org/C89423630","wikidata":"https://www.wikidata.org/wiki/Q7193","display_name":"Microbiology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/1629335.1629367","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1629335.1629367","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the seventh ACM international conference on Embedded software","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.157.9764","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.157.9764","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://pertsserver.cs.uiuc.edu/~mcaccamo/papers/emsoft09.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4300000071525574,"id":"https://metadata.un.org/sdg/17","display_name":"Partnerships for the goals"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W285882519","https://openalex.org/W1529130237","https://openalex.org/W1612453857","https://openalex.org/W1825341937","https://openalex.org/W1977388811","https://openalex.org/W1994584977","https://openalex.org/W2016310205","https://openalex.org/W2020563325","https://openalex.org/W2021696583","https://openalex.org/W2021875003","https://openalex.org/W2047276559","https://openalex.org/W2059902621","https://openalex.org/W2088655521","https://openalex.org/W2088943630","https://openalex.org/W2107931052","https://openalex.org/W2120538858","https://openalex.org/W2122833539","https://openalex.org/W2132750992","https://openalex.org/W2134345746","https://openalex.org/W2134429122","https://openalex.org/W2137658102","https://openalex.org/W2139112519","https://openalex.org/W2150408604","https://openalex.org/W2150593762","https://openalex.org/W2154867660","https://openalex.org/W2158584720","https://openalex.org/W2160146193","https://openalex.org/W2163722763","https://openalex.org/W2165683591","https://openalex.org/W2537758980","https://openalex.org/W2775480225","https://openalex.org/W3169000564","https://openalex.org/W4246685210","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2094268420","https://openalex.org/W2964152390","https://openalex.org/W2766371801","https://openalex.org/W2165918565","https://openalex.org/W2911168022","https://openalex.org/W4214854776","https://openalex.org/W2148226105","https://openalex.org/W1925528056","https://openalex.org/W1593186088","https://openalex.org/W2190829868"],"abstract_inverted_index":{"System-on-Chip":[0],"(SoC)":[1],"is":[2,72,128,149],"a":[3,17,27,47,75,152,157],"promising":[4],"paradigm":[5],"to":[6,58,107,140],"implement":[7,141],"safety-critical":[8],"embedded":[9],"systems,":[10],"but":[11],"it":[12],"poses":[13],"significant":[14],"challenges":[15],"from":[16,36,74],"design":[18,49],"and":[19,79,116,124],"verification":[20],"point":[21],"of":[22,65,146,156],"view.":[23],"In":[24,42,101],"particular,":[25,102],"in":[26,113],"mixed-criticality":[28],"system,":[29,115],"low":[30],"criticality":[31,40],"applications":[32,59],"must":[33],"be":[34],"prevented":[35],"interfering":[37],"with":[38,60],"high":[39],"ones.":[41],"this":[43],"paper,":[44],"we":[45,103,117],"introduce":[46],"new":[48],"methodology":[50,148],"for":[51,121],"SoC":[52],"that":[53,91],"provides":[54],"strong":[55],"isolation":[56],"guarantees":[57],"different":[61],"criticalities.":[62],"A":[63],"set":[64],"certificates":[66,132],"describing":[67],"the":[68,95,99,114,137],"assumed":[69],"application":[70],"behavior":[71,96],"extracted":[73],"functional":[76],"Architectural":[77],"Analysis":[78],"Design":[80],"Language":[81],"(AADL)":[82],"specification.":[83],"Our":[84],"tools":[85],"then":[86],"automatically":[87],"generate":[88],"hardware":[89],"wrappers":[90],"enforce":[92,118],"at":[93],"run-time":[94,105],"described":[97],"by":[98],"certificates.":[100],"employ":[104],"monitoring":[106],"formally":[108],"check":[109],"all":[110],"data":[111],"communication":[112,125],"timing":[119],"reservations":[120],"both":[122],"computation":[123],"resources.":[126],"Verification":[127],"greatly":[129],"simplified":[130],"because":[131],"are":[133],"much":[134],"simpler":[135],"than":[136],"components":[138],"used":[139],"low-criticality":[142],"applications.":[143],"The":[144],"effectiveness":[145],"our":[147],"proven":[150],"on":[151],"case":[153],"study":[154],"consisting":[155],"medical":[158],"pacemaker.":[159]},"counts_by_year":[{"year":2023,"cited_by_count":2},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":12},{"year":2016,"cited_by_count":8},{"year":2015,"cited_by_count":6},{"year":2014,"cited_by_count":7},{"year":2013,"cited_by_count":7},{"year":2012,"cited_by_count":9}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}