{"id":"https://openalex.org/W4310145819","doi":"https://doi.org/10.1109/memocode57689.2022.9954599","title":"A novel approach to Real-time contract based reasoning for Hybrid Systems","display_name":"A novel approach to Real-time contract based reasoning for Hybrid Systems","publication_year":2022,"publication_date":"2022-10-13","ids":{"openalex":"https://openalex.org/W4310145819","doi":"https://doi.org/10.1109/memocode57689.2022.9954599"},"language":"en","primary_location":{"id":"doi:10.1109/memocode57689.2022.9954599","is_oa":false,"landing_page_url":"https://doi.org/10.1109/memocode57689.2022.9954599","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)","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/A5066260144","display_name":"Surinder Sood","orcid":"https://orcid.org/0000-0003-1809-4255"},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Surinder Sood","raw_affiliation_strings":["University of Auckland,Dept. of Electrical and Computer eng.,Auckland,NewZealand","Dept. of Electrical and Computer eng., University of Auckland, Auckland, NewZealand"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Auckland,Dept. of Electrical and Computer eng.,Auckland,NewZealand","institution_ids":["https://openalex.org/I154130895"]},{"raw_affiliation_string":"Dept. of Electrical and Computer eng., University of Auckland, Auckland, NewZealand","institution_ids":["https://openalex.org/I154130895"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007782699","display_name":"Avinash Malik","orcid":"https://orcid.org/0000-0002-7524-8292"},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Avinash Malik","raw_affiliation_strings":["University of Auckland,Dept. of Electrical and Computer eng.,Auckland,NewZealand","Dept. of Electrical and Computer eng., University of Auckland, Auckland, NewZealand"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Auckland,Dept. of Electrical and Computer eng.,Auckland,NewZealand","institution_ids":["https://openalex.org/I154130895"]},{"raw_affiliation_string":"Dept. of Electrical and Computer eng., University of Auckland, Auckland, NewZealand","institution_ids":["https://openalex.org/I154130895"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5076621370","display_name":"Partha S. Roop","orcid":"https://orcid.org/0000-0001-9654-5678"},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Partha Roop","raw_affiliation_strings":["University of Auckland,Dept. of Electrical and Computer eng.,Auckland,NewZealand","Dept. of Electrical and Computer eng., University of Auckland, Auckland, NewZealand"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Auckland,Dept. of Electrical and Computer eng.,Auckland,NewZealand","institution_ids":["https://openalex.org/I154130895"]},{"raw_affiliation_string":"Dept. of Electrical and Computer eng., University of Auckland, Auckland, NewZealand","institution_ids":["https://openalex.org/I154130895"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I154130895"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"20","issue":null,"first_page":"1","last_page":"11"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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.9998999834060669,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9994999766349792,"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"}},{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9990000128746033,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8323311805725098},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.6594511866569519},{"id":"https://openalex.org/keywords/hoare-logic","display_name":"Hoare logic","score":0.5808627009391785},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5439226627349854},{"id":"https://openalex.org/keywords/usability","display_name":"Usability","score":0.5297744274139404},{"id":"https://openalex.org/keywords/separation-logic","display_name":"Separation logic","score":0.518159031867981},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.49673062562942505},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.46132415533065796},{"id":"https://openalex.org/keywords/real-time-operating-system","display_name":"Real-time operating system","score":0.4506889581680298},{"id":"https://openalex.org/keywords/hybrid-system","display_name":"Hybrid system","score":0.4213976562023163},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.23975202441215515},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.11786797642707825},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.09726470708847046}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8323311805725098},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.6594511866569519},{"id":"https://openalex.org/C104949639","wikidata":"https://www.wikidata.org/wiki/Q1375924","display_name":"Hoare logic","level":3,"score":0.5808627009391785},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5439226627349854},{"id":"https://openalex.org/C170130773","wikidata":"https://www.wikidata.org/wiki/Q216378","display_name":"Usability","level":2,"score":0.5297744274139404},{"id":"https://openalex.org/C173856430","wikidata":"https://www.wikidata.org/wiki/Q3257964","display_name":"Separation logic","level":2,"score":0.518159031867981},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.49673062562942505},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.46132415533065796},{"id":"https://openalex.org/C28472234","wikidata":"https://www.wikidata.org/wiki/Q213666","display_name":"Real-time operating system","level":2,"score":0.4506889581680298},{"id":"https://openalex.org/C50897621","wikidata":"https://www.wikidata.org/wiki/Q2665508","display_name":"Hybrid system","level":2,"score":0.4213976562023163},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.23975202441215515},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.11786797642707825},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.09726470708847046},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/memocode57689.2022.9954599","is_oa":false,"landing_page_url":"https://doi.org/10.1109/memocode57689.2022.9954599","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5199999809265137,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":40,"referenced_works":["https://openalex.org/W1535987901","https://openalex.org/W1615273352","https://openalex.org/W1951090007","https://openalex.org/W1994901326","https://openalex.org/W2008207529","https://openalex.org/W2018642465","https://openalex.org/W2050779443","https://openalex.org/W2052363833","https://openalex.org/W2058033966","https://openalex.org/W2080249831","https://openalex.org/W2128952742","https://openalex.org/W2132808802","https://openalex.org/W2134399923","https://openalex.org/W2140252453","https://openalex.org/W2187708965","https://openalex.org/W2345814603","https://openalex.org/W2604347212","https://openalex.org/W2798708919","https://openalex.org/W2898475786","https://openalex.org/W2911095790","https://openalex.org/W2979369075","https://openalex.org/W2987907651","https://openalex.org/W2989217866","https://openalex.org/W3006229002","https://openalex.org/W3016155638","https://openalex.org/W3083826291","https://openalex.org/W3127758734","https://openalex.org/W3134726919","https://openalex.org/W4238274607","https://openalex.org/W4240424600","https://openalex.org/W4253563042","https://openalex.org/W4301755221","https://openalex.org/W6632028156","https://openalex.org/W6636503025","https://openalex.org/W6640976249","https://openalex.org/W6650784859","https://openalex.org/W6686371869","https://openalex.org/W6693280475","https://openalex.org/W6758423140","https://openalex.org/W6791545959"],"related_works":["https://openalex.org/W2096553703","https://openalex.org/W183428347","https://openalex.org/W4318145497","https://openalex.org/W1536810838","https://openalex.org/W2165970356","https://openalex.org/W3148010226","https://openalex.org/W2120897738","https://openalex.org/W3142658169","https://openalex.org/W2479659155","https://openalex.org/W2085253283"],"abstract_inverted_index":{"Worst":[0],"Case":[1],"Execution":[2],"Time":[3],"(WCET)":[4],"analysis":[5],"of":[6,23,30,35,68,107,118,136,160],"large":[7],"and":[8,46,66,91,110,133,176,196],"complex":[9,24],"hybrid":[10],"systems":[11],"can":[12],"be":[13,40,51],"time":[14],"consuming.":[15],"Contract":[16],"based":[17,103,165,181],"design":[18,90,195],"allows":[19],"for":[20,87],"compositional":[21,63],"reasoning":[22,177],"systems.":[25],"Contracts":[26,56],"justify":[27,129,167],"the":[28,43,54,69,105,108,115,119,130,134,157,188],"behavior":[29,117,132,135],"a":[31,59,77,168],"system":[32,44,70,89,109,120,131,169,194],"by":[33,42,53,121],"way":[34],"assumptions":[36],"(which":[37],"are":[38,49,102,151],"to":[39,50,80],"satisfied":[41],"environment)":[45],"guarantees,":[47],"which":[48,101,179],"met":[52],"system.":[55],"also":[57,145],"play":[58],"major":[60],"role":[61],"in":[62,192],"reasoning,":[64],"refinement":[65],"re-usability":[67],"components.":[71,112],"In":[72,93],"this":[73],"paper,":[74],"we":[75,96,154],"present":[76],"formal":[78],"framework":[79],"enforce":[81],"real-time":[82,98,116,173,183],"contracts":[83,166],"using":[84],"Hoare":[85,99,149,163,184],"triples,":[86],"synchronous":[88,158,193],"verification.":[92,197],"that":[94,147,156],"regard,":[95],"propose":[97],"rules":[100,126,150,164,186],"on":[104,182],"WCET":[106],"its":[111,137],"We":[113,144],"verify":[114],"applying":[122],"these":[123,148],"rules.":[124],"These":[125],"not":[127],"only":[128],"components":[138],"but":[139],"their":[140],"timing":[141],"as":[142],"well.":[143],"show":[146,155],"sound.":[152],"Then":[153],"composition":[159,175],"component":[161],"level":[162,170],"contract.":[171],"This":[172],"contract":[174],"technique":[178],"is":[180,187],"logic":[185],"first":[189],"ever":[190],"attempt":[191]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}