{"id":"https://openalex.org/W2079037685","doi":"https://doi.org/10.1109/sies.2012.6356582","title":"Modeling uncertainties in safety-critical real-time systems: A probabilistic component-based analysis","display_name":"Modeling uncertainties in safety-critical real-time systems: A probabilistic component-based analysis","publication_year":2012,"publication_date":"2012-06-01","ids":{"openalex":"https://openalex.org/W2079037685","doi":"https://doi.org/10.1109/sies.2012.6356582","mag":"2079037685"},"language":"en","primary_location":{"id":"doi:10.1109/sies.2012.6356582","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sies.2012.6356582","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"7th IEEE International Symposium on Industrial Embedded Systems (SIES'12)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5004909830","display_name":"Dawood Ashraf Khan","orcid":"https://orcid.org/0000-0002-0797-7856"},"institutions":[{"id":"https://openalex.org/I118019719","display_name":"Roche (Switzerland)","ror":"https://ror.org/00by1q217","country_code":"CH","type":"company","lineage":["https://openalex.org/I118019719"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I190497903","display_name":"Laboratoire d'Analyse et d'Architecture des Syst\u00e8mes","ror":"https://ror.org/03vcm6439","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I190497903","https://openalex.org/I193033237","https://openalex.org/I196454796","https://openalex.org/I205747304","https://openalex.org/I4210095849","https://openalex.org/I4210152422","https://openalex.org/I4210159245","https://openalex.org/I4405258862","https://openalex.org/I4405259414"]}],"countries":["CH","FR"],"is_corresponding":false,"raw_author_name":"Dawood A. Khan","raw_affiliation_strings":["LAAS, CNRS, Toulouse, France","LAAS-CNRS, 7 ave Colonel Roche, 31400 Toulouse France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LAAS, CNRS, Toulouse, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I190497903"]},{"raw_affiliation_string":"LAAS-CNRS, 7 ave Colonel Roche, 31400 Toulouse France","institution_ids":["https://openalex.org/I118019719","https://openalex.org/I1294671590","https://openalex.org/I190497903"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054286051","display_name":"Luca Santinelli","orcid":null},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I190497903","display_name":"Laboratoire d'Analyse et d'Architecture des Syst\u00e8mes","ror":"https://ror.org/03vcm6439","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I190497903","https://openalex.org/I193033237","https://openalex.org/I196454796","https://openalex.org/I205747304","https://openalex.org/I4210095849","https://openalex.org/I4210152422","https://openalex.org/I4210159245","https://openalex.org/I4405258862","https://openalex.org/I4405259414"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Luca Santinelli","raw_affiliation_strings":["LAAS, CNRS, Toulouse, France","INRIA, 615 rue du Jardin Botanique, 54500 Villers-les-Nancy France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LAAS, CNRS, Toulouse, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I190497903"]},{"raw_affiliation_string":"INRIA, 615 rue du Jardin Botanique, 54500 Villers-les-Nancy France","institution_ids":["https://openalex.org/I1326498283"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5083800155","display_name":"Liliana Cucu\u2010Grosjean","orcid":"https://orcid.org/0000-0001-5363-4187"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I190497903","display_name":"Laboratoire d'Analyse et d'Architecture des Syst\u00e8mes","ror":"https://ror.org/03vcm6439","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I190497903","https://openalex.org/I193033237","https://openalex.org/I196454796","https://openalex.org/I205747304","https://openalex.org/I4210095849","https://openalex.org/I4210152422","https://openalex.org/I4210159245","https://openalex.org/I4405258862","https://openalex.org/I4405259414"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Liliana Cucu-Grosjean","raw_affiliation_strings":["LAAS, CNRS, Toulouse, France","INRIA, 615 rue du Jardin Botanique, 54500 Villers-les-Nancy France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LAAS, CNRS, Toulouse, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I190497903"]},{"raw_affiliation_string":"INRIA, 615 rue du Jardin Botanique, 54500 Villers-les-Nancy France","institution_ids":["https://openalex.org/I1326498283"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"2211","issue":null,"first_page":"166","last_page":"175"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","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/T10933","display_name":"Real-Time Systems Scheduling","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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9977999925613403,"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.9976999759674072,"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/probabilistic-logic","display_name":"Probabilistic logic","score":0.8390671014785767},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.7886555194854736},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7566123008728027},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.7228710651397705},{"id":"https://openalex.org/keywords/flexibility","display_name":"Flexibility (engineering)","score":0.5538241267204285},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4864058792591095},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.4796503186225891},{"id":"https://openalex.org/keywords/probabilistic-ctl","display_name":"Probabilistic CTL","score":0.46126821637153625},{"id":"https://openalex.org/keywords/life-critical-system","display_name":"Life-critical system","score":0.4532155394554138},{"id":"https://openalex.org/keywords/system-safety","display_name":"System safety","score":0.44081854820251465},{"id":"https://openalex.org/keywords/statistical-model","display_name":"Statistical model","score":0.43439781665802},{"id":"https://openalex.org/keywords/probabilistic-analysis-of-algorithms","display_name":"Probabilistic analysis of algorithms","score":0.42351555824279785},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.4177218973636627},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.40136629343032837},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.13275590538978577},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.12489849328994751},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.12386265397071838},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.12261754274368286},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.12060347199440002},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.08006352186203003}],"concepts":[{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.8390671014785767},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.7886555194854736},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7566123008728027},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.7228710651397705},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.5538241267204285},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4864058792591095},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.4796503186225891},{"id":"https://openalex.org/C52063229","wikidata":"https://www.wikidata.org/wiki/Q7246845","display_name":"Probabilistic CTL","level":4,"score":0.46126821637153625},{"id":"https://openalex.org/C163707989","wikidata":"https://www.wikidata.org/wiki/Q1996307","display_name":"Life-critical system","level":3,"score":0.4532155394554138},{"id":"https://openalex.org/C132835097","wikidata":"https://www.wikidata.org/wiki/Q7663745","display_name":"System safety","level":2,"score":0.44081854820251465},{"id":"https://openalex.org/C114289077","wikidata":"https://www.wikidata.org/wiki/Q3284399","display_name":"Statistical model","level":2,"score":0.43439781665802},{"id":"https://openalex.org/C24404364","wikidata":"https://www.wikidata.org/wiki/Q7246846","display_name":"Probabilistic analysis of algorithms","level":3,"score":0.42351555824279785},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.4177218973636627},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.40136629343032837},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.13275590538978577},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.12489849328994751},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.12386265397071838},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.12261754274368286},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.12060347199440002},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.08006352186203003},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","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":1,"locations":[{"id":"doi:10.1109/sies.2012.6356582","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sies.2012.6356582","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"7th IEEE International Symposium on Industrial Embedded Systems (SIES'12)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":40,"referenced_works":["https://openalex.org/W1496516658","https://openalex.org/W1553516948","https://openalex.org/W1593051417","https://openalex.org/W1756169151","https://openalex.org/W1871610027","https://openalex.org/W2012392630","https://openalex.org/W2030988309","https://openalex.org/W2037119287","https://openalex.org/W2050828922","https://openalex.org/W2108605225","https://openalex.org/W2109039029","https://openalex.org/W2121738258","https://openalex.org/W2121784623","https://openalex.org/W2123497051","https://openalex.org/W2124262702","https://openalex.org/W2126878009","https://openalex.org/W2132548797","https://openalex.org/W2136608864","https://openalex.org/W2136711971","https://openalex.org/W2138044207","https://openalex.org/W2138364057","https://openalex.org/W2140314025","https://openalex.org/W2142310885","https://openalex.org/W2142375808","https://openalex.org/W2147206873","https://openalex.org/W2147960195","https://openalex.org/W2156009911","https://openalex.org/W2156280459","https://openalex.org/W2160743745","https://openalex.org/W2166440675","https://openalex.org/W2167564612","https://openalex.org/W2167972204","https://openalex.org/W2170600460","https://openalex.org/W2216480386","https://openalex.org/W3149994079","https://openalex.org/W4247871352","https://openalex.org/W6629607814","https://openalex.org/W6633008457","https://openalex.org/W6635272438","https://openalex.org/W6684529905"],"related_works":["https://openalex.org/W610870253","https://openalex.org/W2147420447","https://openalex.org/W2536173650","https://openalex.org/W125552836","https://openalex.org/W1981169586","https://openalex.org/W650512627","https://openalex.org/W2184478364","https://openalex.org/W3104705157","https://openalex.org/W2389909316","https://openalex.org/W2995934072"],"abstract_inverted_index":{"In":[0],"this":[1],"paper":[2],"we":[3,97],"present":[4],"a":[5,95],"novel":[6],"analysis":[7,20,62],"for":[8,26],"complex":[9],"safety-critical":[10,117],"real-time":[11,118],"systems":[12],"involving":[13],"component-based":[14],"design":[15],"and":[16,23,59,81,91,107],"abstraction":[17,104],"models.":[18],"The":[19],"combines":[21],"deterministic":[22],"probabilistic":[24,79,103],"models":[25],"component":[27],"interfaces;":[28],"based":[29],"on":[30,77],"the":[31,40,55,57,65,70,78,83,86,89,102,116],"bounded":[32],"curves":[33],"(deterministically":[34],"or":[35,52],"probabilistically).":[36],"These":[37],"results,":[38],"through":[39],"usage":[41],"of":[42,48,73,88,112],"probabilities,":[43],"can":[44,105],"offer":[45],"different":[46,71,110],"degrees":[47,111],"realtime":[49],"guarantees":[50],"(hard":[51],"soft),":[53],"given":[54],"system":[56,92],"safety-requirement,":[58],"specification.":[60],"This":[61],"framework":[63],"has":[64],"flexibility":[66],"to":[67,99],"cope":[68],"with":[69],"levels":[72],"safety-requirement;":[74],"by":[75],"acting":[76],"bounds":[80],"exploring":[82],"trade-off":[84],"between":[85],"accuracy":[87],"model":[90],"over-provisioning.":[93],"Through":[94],"case-study":[96],"intend":[98],"show":[100],"how":[101],"efficiently":[106],"effectively":[108],"address":[109],"safety":[113],"requirements":[114],"in":[115],"systems.":[119]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2025-10-10T00:00:00"}