{"id":"https://openalex.org/W2585763408","doi":"https://doi.org/10.1007/s10270-017-0579-8","title":"Supporting timing analysis of vehicular embedded systems through the refinement of timing constraints","display_name":"Supporting timing analysis of vehicular embedded systems through the refinement of timing constraints","publication_year":2017,"publication_date":"2017-01-31","ids":{"openalex":"https://openalex.org/W2585763408","doi":"https://doi.org/10.1007/s10270-017-0579-8","mag":"2585763408"},"language":"en","primary_location":{"id":"doi:10.1007/s10270-017-0579-8","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10270-017-0579-8","pdf_url":"https://link.springer.com/content/pdf/10.1007%2Fs10270-017-0579-8.pdf","source":{"id":"https://openalex.org/S64245694","display_name":"Software & Systems Modeling","issn_l":"1619-1366","issn":["1619-1366","1619-1374"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software & Systems Modeling","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007%2Fs10270-017-0579-8.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5026480732","display_name":"Saad Mubeen","orcid":"https://orcid.org/0000-0003-3242-6113"},"institutions":[{"id":"https://openalex.org/I82509713","display_name":"M\u00e4lardalen University","ror":"https://ror.org/033vfbz75","country_code":"SE","type":"education","lineage":["https://openalex.org/I82509713"]}],"countries":["SE"],"is_corresponding":true,"raw_author_name":"Saad Mubeen","raw_affiliation_strings":["M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden"],"affiliations":[{"raw_affiliation_string":"M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden","institution_ids":["https://openalex.org/I82509713"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047385412","display_name":"Thomas Nolte","orcid":"https://orcid.org/0000-0001-6132-7945"},"institutions":[{"id":"https://openalex.org/I82509713","display_name":"M\u00e4lardalen University","ror":"https://ror.org/033vfbz75","country_code":"SE","type":"education","lineage":["https://openalex.org/I82509713"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Thomas Nolte","raw_affiliation_strings":["M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden"],"affiliations":[{"raw_affiliation_string":"M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden","institution_ids":["https://openalex.org/I82509713"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052013615","display_name":"Mikael Sj\u00f6din","orcid":"https://orcid.org/0000-0001-7586-0409"},"institutions":[{"id":"https://openalex.org/I82509713","display_name":"M\u00e4lardalen University","ror":"https://ror.org/033vfbz75","country_code":"SE","type":"education","lineage":["https://openalex.org/I82509713"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Mikael Sj\u00f6din","raw_affiliation_strings":["M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden"],"affiliations":[{"raw_affiliation_string":"M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden","institution_ids":["https://openalex.org/I82509713"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065957282","display_name":"John Lundb\u00e4ck","orcid":null},"institutions":[{"id":"https://openalex.org/I4210160989","display_name":"Arcticus Systems (Sweden)","ror":"https://ror.org/051g4aa15","country_code":"SE","type":"company","lineage":["https://openalex.org/I4210160989"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"John Lundb\u00e4ck","raw_affiliation_strings":["Arcticus Systems AB, J\u00e4rf\u00e4lla, Sweden"],"affiliations":[{"raw_affiliation_string":"Arcticus Systems AB, J\u00e4rf\u00e4lla, Sweden","institution_ids":["https://openalex.org/I4210160989"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5008273750","display_name":"Kurt-Lennart Lundb\u00e4ck","orcid":null},"institutions":[{"id":"https://openalex.org/I4210160989","display_name":"Arcticus Systems (Sweden)","ror":"https://ror.org/051g4aa15","country_code":"SE","type":"company","lineage":["https://openalex.org/I4210160989"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Kurt-Lennart Lundb\u00e4ck","raw_affiliation_strings":["Arcticus Systems AB, J\u00e4rf\u00e4lla, Sweden"],"affiliations":[{"raw_affiliation_string":"Arcticus Systems AB, J\u00e4rf\u00e4lla, Sweden","institution_ids":["https://openalex.org/I4210160989"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5026480732"],"corresponding_institution_ids":["https://openalex.org/I82509713"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":{"value":2290,"currency":"EUR","value_usd":2890},"fwci":4.0557,"has_fulltext":true,"cited_by_count":43,"citation_normalized_percentile":{"value":0.95177997,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":99},"biblio":{"volume":"18","issue":"1","first_page":"39","last_page":"69"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9962999820709229,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9944999814033508,"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.8880908489227295},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.7862464189529419},{"id":"https://openalex.org/keywords/static-timing-analysis","display_name":"Static timing analysis","score":0.6881729364395142},{"id":"https://openalex.org/keywords/predictability","display_name":"Predictability","score":0.6857484579086304},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.6216155886650085},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.6009947657585144},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.5921399593353271},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.544264018535614},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.5429948568344116},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.18112313747406006},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.10763570666313171}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8880908489227295},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.7862464189529419},{"id":"https://openalex.org/C93682380","wikidata":"https://www.wikidata.org/wiki/Q2025226","display_name":"Static timing analysis","level":2,"score":0.6881729364395142},{"id":"https://openalex.org/C197640229","wikidata":"https://www.wikidata.org/wiki/Q2534066","display_name":"Predictability","level":2,"score":0.6857484579086304},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.6216155886650085},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.6009947657585144},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.5921399593353271},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.544264018535614},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.5429948568344116},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.18112313747406006},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.10763570666313171},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"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},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"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/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"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/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s10270-017-0579-8","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10270-017-0579-8","pdf_url":"https://link.springer.com/content/pdf/10.1007%2Fs10270-017-0579-8.pdf","source":{"id":"https://openalex.org/S64245694","display_name":"Software & Systems Modeling","issn_l":"1619-1366","issn":["1619-1366","1619-1374"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software & Systems Modeling","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1007/s10270-017-0579-8","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10270-017-0579-8","pdf_url":"https://link.springer.com/content/pdf/10.1007%2Fs10270-017-0579-8.pdf","source":{"id":"https://openalex.org/S64245694","display_name":"Software & Systems Modeling","issn_l":"1619-1366","issn":["1619-1366","1619-1374"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software & Systems Modeling","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320320940","display_name":"Stiftelsen f\u00f6r\u00a0Strategisk Forskning","ror":"https://ror.org/044wr7g58"},{"id":"https://openalex.org/F4320327360","display_name":"M\u00e4lardalens h\u00f6gskola","ror":"https://ror.org/033vfbz75"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2585763408.pdf","grobid_xml":"https://content.openalex.org/works/W2585763408.grobid-xml"},"referenced_works_count":25,"referenced_works":["https://openalex.org/W78674370","https://openalex.org/W589818241","https://openalex.org/W591434186","https://openalex.org/W1024612211","https://openalex.org/W1481131326","https://openalex.org/W1532739430","https://openalex.org/W1565279216","https://openalex.org/W1700595761","https://openalex.org/W1891373149","https://openalex.org/W1941671734","https://openalex.org/W1976936585","https://openalex.org/W1978717115","https://openalex.org/W1987347361","https://openalex.org/W2023264475","https://openalex.org/W2032742044","https://openalex.org/W2099864377","https://openalex.org/W2133712521","https://openalex.org/W2154691516","https://openalex.org/W2162549950","https://openalex.org/W2165172064","https://openalex.org/W2165645726","https://openalex.org/W2242984418","https://openalex.org/W2258753442","https://openalex.org/W2422261572","https://openalex.org/W2494793832"],"related_works":["https://openalex.org/W2726467123","https://openalex.org/W2064726690","https://openalex.org/W4252678288","https://openalex.org/W1607297154","https://openalex.org/W4210820789","https://openalex.org/W4237782192","https://openalex.org/W4235131201","https://openalex.org/W1541571860","https://openalex.org/W2913177154","https://openalex.org/W2794793914"],"abstract_inverted_index":{"The":[0,72,118,130],"collective":[1],"use":[2],"of":[3,17,40,69,90,97,172],"several":[4],"models":[5,107],"and":[6,12,44,79,113],"tools":[7],"at":[8,101,137,151],"various":[9,49,84],"abstraction":[10,50,85,128],"levels":[11,104],"phases":[13],"during":[14],"the":[15,31,37,57,67,92,98,102,106,122,126,133,138,143,152,170,173],"development":[16],"vehicular":[18],"distributed":[19,160],"embedded":[20],"systems":[21],"poses":[22],"many":[23],"challenges.":[24],"Within":[25],"this":[26,28],"context,":[27],"paper":[29,73],"targets":[30],"challenges":[32],"that":[33,108,146],"are":[34,109],"concerned":[35],"with":[36,111],"unambiguous":[38],"refinement":[39],"timing":[41,46,59,99,123,144],"requirements,":[42],"constraints":[43],"other":[45],"information":[47,53,82,100,124,145],"among":[48,83],"levels.":[51,86,129],"Such":[52],"is":[54,166],"required":[55],"by":[56],"end-to-end":[58],"analysis":[60],"engines":[61],"to":[62,77,141,168],"provide":[63],"pre-run-time":[64],"verification":[65],"about":[66],"predictability":[68],"these":[70],"systems.":[71],"proposes":[74],"an":[75],"approach":[76,93,119,131],"represent":[78,142],"refine":[80],"such":[81,155],"As":[87],"a":[88,95],"proof":[89],"concept,":[91],"provides":[94],"representation":[96],"higher":[103,153],"using":[105],"developed":[110],"EAST-ADL":[112],"Timing":[114],"Augmented":[115],"Description":[116],"Language.":[117],"then":[120],"refines":[121],"for":[125],"lower":[127,139],"exploits":[132],"Rubus":[134],"Component":[135],"Model":[136],"level":[140],"cannot":[147],"be":[148],"clearly":[149],"specified":[150],"levels,":[154],"as":[156],"trigger":[157],"paths":[158],"in":[159],"chains.":[161],"A":[162],"vehicular-application":[163],"case":[164],"study":[165],"conducted":[167],"show":[169],"applicability":[171],"proposed":[174],"approach.":[175]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":6},{"year":2021,"cited_by_count":10},{"year":2020,"cited_by_count":9},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}