{"id":"https://openalex.org/W2122939435","doi":"https://doi.org/10.1145/2737166.2737173","title":"Stochastic Contracts for Runtime Checking of Component-based Real-time Systems","display_name":"Stochastic Contracts for Runtime Checking of Component-based Real-time Systems","publication_year":2015,"publication_date":"2015-04-28","ids":{"openalex":"https://openalex.org/W2122939435","doi":"https://doi.org/10.1145/2737166.2737173","mag":"2122939435"},"language":"en","primary_location":{"id":"doi:10.1145/2737166.2737173","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2737166.2737173","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering","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/A5066993902","display_name":"Chandrakana Nandi","orcid":"https://orcid.org/0000-0001-8633-8413"},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Chandrakana Nandi","raw_affiliation_strings":["ETH Zurich, Zurich, Switzerland","Department of Computer, Science, ETH Zurich"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ETH Zurich, Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]},{"raw_affiliation_string":"Department of Computer, Science, ETH Zurich","institution_ids":["https://openalex.org/I35440088"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075525823","display_name":"Aur\u00e9lien Monot","orcid":null},"institutions":[{"id":"https://openalex.org/I885143765","display_name":"ABB (Switzerland)","ror":"https://ror.org/00ks5vt51","country_code":"CH","type":"company","lineage":["https://openalex.org/I885143765"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Aur\u00e9lien Monot","raw_affiliation_strings":["ABB Corporate Research, Baden, Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ABB Corporate Research, Baden, Switzerland","institution_ids":["https://openalex.org/I885143765"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101704762","display_name":"Manuel Oriol","orcid":"https://orcid.org/0000-0001-7827-8457"},"institutions":[{"id":"https://openalex.org/I885143765","display_name":"ABB (Switzerland)","ror":"https://ror.org/00ks5vt51","country_code":"CH","type":"company","lineage":["https://openalex.org/I885143765"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Manuel Oriol","raw_affiliation_strings":["ABB Corporate Research, Baden, Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ABB Corporate Research, Baden, Switzerland","institution_ids":["https://openalex.org/I885143765"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.3634,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.66172684,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"111","last_page":"116"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/computer-science","display_name":"Computer science","score":0.8479777574539185},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.8008281588554382},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.7847533226013184},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7414334416389465},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.5474373698234558},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.4605090022087097},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.45776039361953735},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3726363182067871},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.37230396270751953},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.32180333137512207}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8479777574539185},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.8008281588554382},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.7847533226013184},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7414334416389465},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.5474373698234558},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.4605090022087097},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.45776039361953735},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3726363182067871},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.37230396270751953},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.32180333137512207},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"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/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","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/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2737166.2737173","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2737166.2737173","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.5699999928474426}],"awards":[{"id":"https://openalex.org/G843967839","display_name":null,"funder_award_id":"291389","funder_id":"https://openalex.org/F4320334678","funder_display_name":"European Research Council"}],"funders":[{"id":"https://openalex.org/F4320321397","display_name":"ABB","ror":"https://ror.org/00ks5vt51"},{"id":"https://openalex.org/F4320334678","display_name":"European Research Council","ror":"https://ror.org/0472cxd90"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W38701583","https://openalex.org/W117556101","https://openalex.org/W1517081964","https://openalex.org/W1574508535","https://openalex.org/W1593874741","https://openalex.org/W1776738182","https://openalex.org/W1801021781","https://openalex.org/W1951090007","https://openalex.org/W1951905706","https://openalex.org/W1970488655","https://openalex.org/W1978940763","https://openalex.org/W1994901326","https://openalex.org/W2018383753","https://openalex.org/W2026629052","https://openalex.org/W2065027229","https://openalex.org/W2071865969","https://openalex.org/W2101213617","https://openalex.org/W2113335827","https://openalex.org/W2115490288","https://openalex.org/W2130715764","https://openalex.org/W2134399923","https://openalex.org/W2142206559","https://openalex.org/W2144242878","https://openalex.org/W2159773709","https://openalex.org/W2172239001","https://openalex.org/W2185766003","https://openalex.org/W3183224878","https://openalex.org/W4292149826","https://openalex.org/W4312237600","https://openalex.org/W6640976249"],"related_works":["https://openalex.org/W1667647204","https://openalex.org/W2404647514","https://openalex.org/W4247536566","https://openalex.org/W4241418540","https://openalex.org/W2018477250","https://openalex.org/W3119814709","https://openalex.org/W1508895727","https://openalex.org/W3011785936","https://openalex.org/W2602597272","https://openalex.org/W1491520229"],"abstract_inverted_index":{"This":[0],"paper":[1],"introduces":[2],"a":[3,32,87],"new":[4],"technique":[5],"for":[6,35,52,96],"dynamic":[7],"verification":[8],"of":[9,24,113],"component-based":[10],"real-time":[11,54],"systems":[12,19],"based":[13,127],"on":[14,128],"statistical":[15,94],"inference.":[16],"Verifying":[17],"such":[18],"requires":[20],"checking":[21],"two":[22],"types":[23],"properties:":[25],"functional":[26,30],"and":[27,47,65,81],"real-time.":[28],"For":[29],"properties,":[31],"standard":[33,119],"approach":[34],"ensuring":[36],"correctness":[37],"is":[38],"Design":[39],"by":[40,92],"Contract:":[41],"annotating":[42],"programs":[43],"with":[44],"executable":[45],"pre-":[46],"postconditions.":[48],"We":[49,85],"extend":[50],"contracts":[51,108],"specifying":[53],"properties.":[55,84,99],"In":[56],"the":[57,98,122],"industry,":[58],"components":[59],"are":[60],"often":[61],"bought":[62],"from":[63,121],"vendors":[64],"meant":[66],"to":[67,76,89,106],"be":[68,137],"used":[69],"off-the-shelf":[70],"which":[71],"makes":[72],"it":[73],"very":[74],"difficult":[75],"determine":[77],"their":[78,146],"execution":[79,111,124,152],"times":[80],"express":[82,107],"related":[83],"present":[86],"solution":[88],"this":[90,134],"problem":[91],"using":[93],"inference":[95],"estimating":[97],"The":[100],"contract":[101],"framework":[102,135],"allows":[103],"application":[104],"developers":[105],"like":[109],"\"the":[110],"time":[112,153],"component":[114],"X":[115],"lies":[116],"within":[117],"$\\gamma$":[118],"deviations":[120],"mean":[123],"time\".":[125],"Experiments":[126],"industrial":[129],"case":[130],"studies":[131],"show":[132],"that":[133],"can":[136],"smoothly":[138],"integrated":[139],"into":[140],"existing":[141],"control":[142],"applications,":[143],"thereby":[144],"increasing":[145],"reliability":[147],"while":[148],"having":[149],"an":[150],"acceptable":[151],"overhead":[154],"(less":[155],"than":[156],"10%).":[157]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}