{"id":"https://openalex.org/W2080111071","doi":"https://doi.org/10.1109/cacsd.2013.6663476","title":"Scalable model-checking for precise end-to-end latency computation","display_name":"Scalable model-checking for precise end-to-end latency computation","publication_year":2013,"publication_date":"2013-08-01","ids":{"openalex":"https://openalex.org/W2080111071","doi":"https://doi.org/10.1109/cacsd.2013.6663476","mag":"2080111071"},"language":"en","primary_location":{"id":"doi:10.1109/cacsd.2013.6663476","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cacsd.2013.6663476","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 IEEE Conference on Computer Aided Control System Design (CACSD)","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/A5085837241","display_name":"Swarup Kumar Mohalik","orcid":"https://orcid.org/0000-0002-6167-9892"},"institutions":[{"id":"https://openalex.org/I2801120862","display_name":"General Motors (India)","ror":"https://ror.org/05g5nrw43","country_code":"IN","type":"company","lineage":["https://openalex.org/I118136607","https://openalex.org/I2801120862"]}],"countries":["IN"],"is_corresponding":true,"raw_author_name":"Swarup Mohalik","raw_affiliation_strings":["General Motors R&D, India Science Lab"],"affiliations":[{"raw_affiliation_string":"General Motors R&D, India Science Lab","institution_ids":["https://openalex.org/I2801120862"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020334155","display_name":"Devesh B. Chokshi","orcid":null},"institutions":[{"id":"https://openalex.org/I2801120862","display_name":"General Motors (India)","ror":"https://ror.org/05g5nrw43","country_code":"IN","type":"company","lineage":["https://openalex.org/I118136607","https://openalex.org/I2801120862"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Devesh B. Chokshi","raw_affiliation_strings":["General Motors R&D, India Science Lab"],"affiliations":[{"raw_affiliation_string":"General Motors R&D, India Science Lab","institution_ids":["https://openalex.org/I2801120862"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007406493","display_name":"Manoj G. Dixit","orcid":null},"institutions":[{"id":"https://openalex.org/I2801120862","display_name":"General Motors (India)","ror":"https://ror.org/05g5nrw43","country_code":"IN","type":"company","lineage":["https://openalex.org/I118136607","https://openalex.org/I2801120862"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Manoj G. Dixit","raw_affiliation_strings":["General Motors R&D, India Science Lab"],"affiliations":[{"raw_affiliation_string":"General Motors R&D, India Science Lab","institution_ids":["https://openalex.org/I2801120862"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111921482","display_name":"A. C. Rajeev","orcid":null},"institutions":[{"id":"https://openalex.org/I2801120862","display_name":"General Motors (India)","ror":"https://ror.org/05g5nrw43","country_code":"IN","type":"company","lineage":["https://openalex.org/I118136607","https://openalex.org/I2801120862"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"A. C. Rajeev","raw_affiliation_strings":["General Motors R&D, India Science Lab"],"affiliations":[{"raw_affiliation_string":"General Motors R&D, India Science Lab","institution_ids":["https://openalex.org/I2801120862"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5081333705","display_name":"S. Ramesh","orcid":"https://orcid.org/0000-0003-1361-8224"},"institutions":[{"id":"https://openalex.org/I2801120862","display_name":"General Motors (India)","ror":"https://ror.org/05g5nrw43","country_code":"IN","type":"company","lineage":["https://openalex.org/I118136607","https://openalex.org/I2801120862"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"S. Ramesh","raw_affiliation_strings":["General Motors R&D, India Science Lab"],"affiliations":[{"raw_affiliation_string":"General Motors R&D, India Science Lab","institution_ids":["https://openalex.org/I2801120862"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5085837241"],"corresponding_institution_ids":["https://openalex.org/I2801120862"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.13829122,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"19","last_page":"24"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9998000264167786,"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.9998000264167786,"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.9994999766349792,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9987000226974487,"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.819298267364502},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.7399896383285522},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.680497407913208},{"id":"https://openalex.org/keywords/latency","display_name":"Latency (audio)","score":0.6370373964309692},{"id":"https://openalex.org/keywords/end-to-end-principle","display_name":"End-to-end principle","score":0.598508358001709},{"id":"https://openalex.org/keywords/automotive-industry","display_name":"Automotive industry","score":0.573469877243042},{"id":"https://openalex.org/keywords/design-space-exploration","display_name":"Design space exploration","score":0.43939894437789917},{"id":"https://openalex.org/keywords/traverse","display_name":"Traverse","score":0.43521153926849365},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4121326804161072},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.40902578830718994},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3246469795703888},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.19944041967391968},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.13843399286270142},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.08212804794311523},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.08014687895774841}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.819298267364502},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.7399896383285522},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.680497407913208},{"id":"https://openalex.org/C82876162","wikidata":"https://www.wikidata.org/wiki/Q17096504","display_name":"Latency (audio)","level":2,"score":0.6370373964309692},{"id":"https://openalex.org/C74296488","wikidata":"https://www.wikidata.org/wiki/Q2527392","display_name":"End-to-end principle","level":2,"score":0.598508358001709},{"id":"https://openalex.org/C526921623","wikidata":"https://www.wikidata.org/wiki/Q190117","display_name":"Automotive industry","level":2,"score":0.573469877243042},{"id":"https://openalex.org/C2776221188","wikidata":"https://www.wikidata.org/wiki/Q21072556","display_name":"Design space exploration","level":2,"score":0.43939894437789917},{"id":"https://openalex.org/C176809094","wikidata":"https://www.wikidata.org/wiki/Q15401496","display_name":"Traverse","level":2,"score":0.43521153926849365},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4121326804161072},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.40902578830718994},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3246469795703888},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.19944041967391968},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.13843399286270142},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.08212804794311523},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.08014687895774841},{"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/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cacsd.2013.6663476","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cacsd.2013.6663476","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 IEEE Conference on Computer Aided Control System Design (CACSD)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W1024612211","https://openalex.org/W1517793941","https://openalex.org/W1590192790","https://openalex.org/W1646865713","https://openalex.org/W2037725895","https://openalex.org/W2047994221","https://openalex.org/W2086061827","https://openalex.org/W2086473074","https://openalex.org/W2109488193","https://openalex.org/W2114606347","https://openalex.org/W2116142540","https://openalex.org/W2124262702","https://openalex.org/W2137435720","https://openalex.org/W2142310885","https://openalex.org/W2163212148","https://openalex.org/W2165030324","https://openalex.org/W3142969547","https://openalex.org/W4240344210","https://openalex.org/W6626598149","https://openalex.org/W6630825684","https://openalex.org/W6635084441","https://openalex.org/W6684244264"],"related_works":["https://openalex.org/W2377402383","https://openalex.org/W2380835401","https://openalex.org/W2381912691","https://openalex.org/W2350381577","https://openalex.org/W2353618196","https://openalex.org/W2348074676","https://openalex.org/W2385033175","https://openalex.org/W2374043190","https://openalex.org/W2363298784","https://openalex.org/W2619340758"],"abstract_inverted_index":{"Correct":[0],"functionality":[1],"of":[2,13,32,43,53,109,120],"automotive":[3],"embedded":[4],"control":[5],"systems":[6],"often":[7],"requires":[8],"that":[9,87],"the":[10,33,41,121],"end-to-end":[11,35,55],"latencies":[12],"data":[14],"items":[15],"traversing":[16],"through":[17],"specified":[18,27],"task/message":[19],"chains":[20],"from":[21],"sensors":[22],"to":[23,72,97],"actuators":[24],"are":[25,59],"within":[26],"bounds.":[28],"Hence,":[29],"accurate":[30,51],"estimation":[31],"worst-case":[34,54],"latency":[36,94],"has":[37],"significant":[38],"impact":[39],"on":[40,61,116],"design":[42],"system":[44,85],"architectures.":[45],"Model-checking":[46],"based":[47,60,93,115],"techniques":[48],"can":[49,88],"provide":[50],"estimates":[52],"latency,":[56],"as":[57],"they":[58],"exhaustive":[62],"state-space":[63,66],"exploration.":[64],"However,":[65],"explosion":[67],"may":[68],"limit":[69],"their":[70],"applicability":[71],"small":[73],"and":[74],"medium":[75],"sized":[76],"systems.":[77],"In":[78],"this":[79],"paper,":[80],"we":[81],"present":[82],"an":[83],"abstract":[84,110],"model":[86],"be":[89],"used":[90],"for":[91,112],"model-checking":[92],"computation,":[95],"leading":[96],"a":[98,117],"major":[99],"increase":[100],"in":[101],"scalability.":[102],"This":[103],"is":[104],"achieved":[105],"by":[106],"on-the-fly":[107],"generation":[108],"models":[111],"task":[113],"activations,":[114],"proposed":[118],"variant":[119],"Joseph-Pandya":[122],"equation.":[123]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2017,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}