{"id":"https://openalex.org/W1962409606","doi":"https://doi.org/10.1145/2834848.2834878","title":"Study of the reliability of statistical timing analysis for real-time systems","display_name":"Study of the reliability of statistical timing analysis for real-time systems","publication_year":2015,"publication_date":"2015-11-04","ids":{"openalex":"https://openalex.org/W1962409606","doi":"https://doi.org/10.1145/2834848.2834878","mag":"1962409606"},"language":"en","primary_location":{"id":"doi:10.1145/2834848.2834878","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2834848.2834878","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 23rd International Conference on Real Time and Networks Systems","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://kclpure.kcl.ac.uk/portal/en/publications/4bcba416-d311-465d-b5c6-840ef54fec22","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5050079948","display_name":"Dorin Maxim","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Dorin Maxim","raw_affiliation_strings":["CISTER/ISEP, Portugal","CISTER, ISEP, Portugal"],"affiliations":[{"raw_affiliation_string":"CISTER/ISEP, Portugal","institution_ids":[]},{"raw_affiliation_string":"CISTER, ISEP, Portugal","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041899881","display_name":"Frank Soboczenski","orcid":"https://orcid.org/0000-0001-8185-6094"},"institutions":[{"id":"https://openalex.org/I52099693","display_name":"University of York","ror":"https://ror.org/04m01e293","country_code":"GB","type":"education","lineage":["https://openalex.org/I52099693"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Frank Soboczenski","raw_affiliation_strings":["University of York, UK","Univ. of York, UK#TAB#"],"affiliations":[{"raw_affiliation_string":"University of York, UK","institution_ids":["https://openalex.org/I52099693"]},{"raw_affiliation_string":"Univ. of York, UK#TAB#","institution_ids":["https://openalex.org/I52099693"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016581865","display_name":"Iain Bate","orcid":"https://orcid.org/0000-0003-2415-8219"},"institutions":[{"id":"https://openalex.org/I52099693","display_name":"University of York","ror":"https://ror.org/04m01e293","country_code":"GB","type":"education","lineage":["https://openalex.org/I52099693"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Iain Bate","raw_affiliation_strings":["University of York, UK","Univ. of York, UK#TAB#"],"affiliations":[{"raw_affiliation_string":"University of York, UK","institution_ids":["https://openalex.org/I52099693"]},{"raw_affiliation_string":"Univ. of York, UK#TAB#","institution_ids":["https://openalex.org/I52099693"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5078183455","display_name":"Eduardo Tovar","orcid":"https://orcid.org/0000-0001-8979-3876"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Eduardo Tovar","raw_affiliation_strings":["CISTER/ISEP, Portugal","CISTER, ISEP, Portugal"],"affiliations":[{"raw_affiliation_string":"CISTER/ISEP, Portugal","institution_ids":[]},{"raw_affiliation_string":"CISTER, ISEP, Portugal","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5050079948"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.6597,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.69216111,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"55","last_page":"64"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9997000098228455,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9997000098228455,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9891999959945679,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9699000120162964,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/probabilistic-logic","display_name":"Probabilistic logic","score":0.8207200765609741},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6657713651657104},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.6607236862182617},{"id":"https://openalex.org/keywords/range","display_name":"Range (aeronautics)","score":0.6138493418693542},{"id":"https://openalex.org/keywords/statistical-model","display_name":"Statistical model","score":0.5458146333694458},{"id":"https://openalex.org/keywords/probabilistic-analysis-of-algorithms","display_name":"Probabilistic analysis of algorithms","score":0.4802539646625519},{"id":"https://openalex.org/keywords/statistical-analysis","display_name":"Statistical analysis","score":0.4735799729824066},{"id":"https://openalex.org/keywords/probability-distribution","display_name":"Probability distribution","score":0.46718624234199524},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.36563408374786377},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.35881608724594116},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.3568173348903656},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.23782461881637573},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2175600230693817},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.21060803532600403},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.10130837559700012}],"concepts":[{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.8207200765609741},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6657713651657104},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.6607236862182617},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.6138493418693542},{"id":"https://openalex.org/C114289077","wikidata":"https://www.wikidata.org/wiki/Q3284399","display_name":"Statistical model","level":2,"score":0.5458146333694458},{"id":"https://openalex.org/C24404364","wikidata":"https://www.wikidata.org/wiki/Q7246846","display_name":"Probabilistic analysis of algorithms","level":3,"score":0.4802539646625519},{"id":"https://openalex.org/C2986587452","wikidata":"https://www.wikidata.org/wiki/Q938438","display_name":"Statistical analysis","level":2,"score":0.4735799729824066},{"id":"https://openalex.org/C149441793","wikidata":"https://www.wikidata.org/wiki/Q200726","display_name":"Probability distribution","level":2,"score":0.46718624234199524},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.36563408374786377},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.35881608724594116},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.3568173348903656},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.23782461881637573},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2175600230693817},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.21060803532600403},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.10130837559700012},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"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":3,"locations":[{"id":"doi:10.1145/2834848.2834878","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2834848.2834878","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 23rd International Conference on Real Time and Networks Systems","raw_type":"proceedings-article"},{"id":"pmh:oai:kclpure.kcl.ac.uk:openaire/4bcba416-d311-465d-b5c6-840ef54fec22","is_oa":true,"landing_page_url":"https://kclpure.kcl.ac.uk/portal/en/publications/4bcba416-d311-465d-b5c6-840ef54fec22","pdf_url":null,"source":{"id":"https://openalex.org/S4306400216","display_name":"Research Portal (King's College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I183935753","host_organization_name":"King's College London","host_organization_lineage":["https://openalex.org/I183935753"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Maxim, D, Soboczenski, F, Bate, I & Tovar, E 2015, Study of the Reliability of Statistical Timing Analysis for Real-Time Systems. in Proceedings of the 23rd International Conference on Real Time and Networks Systems - RTNS \u201915. pp. 55-64. https://doi.org/10.1145/2834848.2834878","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:recipp.ipp.pt:10400.22/7062","is_oa":true,"landing_page_url":"http://hdl.handle.net/10400.22/7062","pdf_url":null,"source":{"id":"https://openalex.org/S4306402433","display_name":"Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"conference object"}],"best_oa_location":{"id":"pmh:oai:kclpure.kcl.ac.uk:openaire/4bcba416-d311-465d-b5c6-840ef54fec22","is_oa":true,"landing_page_url":"https://kclpure.kcl.ac.uk/portal/en/publications/4bcba416-d311-465d-b5c6-840ef54fec22","pdf_url":null,"source":{"id":"https://openalex.org/S4306400216","display_name":"Research Portal (King's College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I183935753","host_organization_name":"King's College London","host_organization_lineage":["https://openalex.org/I183935753"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Maxim, D, Soboczenski, F, Bate, I & Tovar, E 2015, Study of the Reliability of Statistical Timing Analysis for Real-Time Systems. in Proceedings of the 23rd International Conference on Real Time and Networks Systems - RTNS \u201915. pp. 55-64. https://doi.org/10.1145/2834848.2834878","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.6499999761581421}],"awards":[],"funders":[{"id":"https://openalex.org/F4320334779","display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","ror":"https://ror.org/00snfqn58"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":43,"referenced_works":["https://openalex.org/W951576192","https://openalex.org/W1481188791","https://openalex.org/W1485093219","https://openalex.org/W1490174819","https://openalex.org/W1968809311","https://openalex.org/W1971076731","https://openalex.org/W1974723965","https://openalex.org/W1975489240","https://openalex.org/W2000331189","https://openalex.org/W2003192087","https://openalex.org/W2003309571","https://openalex.org/W2012392630","https://openalex.org/W2038526543","https://openalex.org/W2049122653","https://openalex.org/W2050828922","https://openalex.org/W2076285066","https://openalex.org/W2079083486","https://openalex.org/W2083361840","https://openalex.org/W2098864301","https://openalex.org/W2102166244","https://openalex.org/W2103074974","https://openalex.org/W2106897032","https://openalex.org/W2108748002","https://openalex.org/W2121738258","https://openalex.org/W2125942774","https://openalex.org/W2136627445","https://openalex.org/W2141440050","https://openalex.org/W2142238397","https://openalex.org/W2143846384","https://openalex.org/W2144520025","https://openalex.org/W2144979769","https://openalex.org/W2145856894","https://openalex.org/W2148600077","https://openalex.org/W2154390351","https://openalex.org/W2155075297","https://openalex.org/W2160227133","https://openalex.org/W2165201363","https://openalex.org/W2167313200","https://openalex.org/W2168320540","https://openalex.org/W2655767496","https://openalex.org/W3084228089","https://openalex.org/W4206562634","https://openalex.org/W4255538638"],"related_works":["https://openalex.org/W830096938","https://openalex.org/W2109606716","https://openalex.org/W2030292806","https://openalex.org/W2189202191","https://openalex.org/W2177346860","https://openalex.org/W1603360336","https://openalex.org/W2145856894","https://openalex.org/W2943623134","https://openalex.org/W2903940728","https://openalex.org/W2494523064"],"abstract_inverted_index":{"Probabilistic":[0],"and":[1,16,102,125,143,169],"statistical":[2,124,147],"temporal":[3],"analyses":[4],"have":[5,29],"been":[6,30],"developed":[7],"as":[8,98,133],"a":[9,51,55,71,77,93,165],"means":[10],"of":[11,19,26,35,54,80,85,95,121,145,167],"determining":[12],"the":[13,33,37,83,86,99,103,111,122,130,134,141,146,155,158,179,183],"worst-case":[14,45],"execution":[15],"response":[17],"times":[18],"real-time":[20],"software":[21],"for":[22,106,154],"decades.":[23],"A":[24],"number":[25,94],"such":[27,61,97],"methods":[28],"proposed":[31],"in":[32,137],"literature,":[34],"which":[36],"majority":[38],"claim":[39],"to":[40,43,50,139],"be":[41,174],"able":[42],"provide":[44],"timing":[46],"scenarios":[47],"with":[48,70,76],"respect":[49],"given":[52],"likelihood":[53],"certain":[56,78],"value":[57],"being":[58],"exceeded.":[59],"Further,":[60],"claims":[62,87],"are":[63,88],"based":[64,177],"on":[65,92,178],"either":[66],"some":[67],"estimates":[68],"associated":[69],"probability,":[72],"or":[73],"probability":[74],"distributions":[75,105],"level":[79],"confidence.":[81],"However,":[82],"validity":[84],"very":[89],"much":[90],"dependent":[91],"factors,":[96],"achieved":[100],"samples":[101],"adopted":[104],"analysis.":[107],"This":[108],"paper":[109],"is":[110],"first":[112],"one":[113],"that":[114,153,170],"puts":[115],"side":[116,118],"by":[117],"existing":[119],"state":[120],"art":[123],"probabilistic":[126,131],"analysis":[127,132],"techniques,":[128],"using":[129],"ground":[135],"truth":[136],"order":[138],"asses":[140],"applicability":[142],"performance":[144],"technique.":[148],"The":[149],"evaluation":[150],"clearly":[151],"shows":[152],"experiments":[156],"performed":[157],"approach":[159],"can":[160,173],"identify":[161],"clear":[162],"differences":[163,172],"between":[164],"range":[166],"techniques":[168],"these":[171],"considered":[175],"valid":[176],"trends":[180],"expected":[181],"from":[182],"academic":[184],"theory.":[185]},"counts_by_year":[{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2016,"cited_by_count":2}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}