{"id":"https://openalex.org/W76852699","doi":null,"title":"Real-time Workload Models: Expressiveness Vs. Analysis Efficiency","display_name":"Real-time Workload Models: Expressiveness Vs. Analysis Efficiency","publication_year":2014,"publication_date":"2014-09-08","ids":{"openalex":"https://openalex.org/W76852699","mag":"76852699"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.726.4602","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.726.4602","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.it.uu.se/katalog/marst984/publications/phdthesis_mstigge.pdf","raw_type":"text"},"volume":null,"type":"article","indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-219307","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5008404127","display_name":"Martin Stigge","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Martin Stigge","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5008404127"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":8.4955,"has_fulltext":false,"cited_by_count":24,"citation_normalized_percentile":{"value":0.97547627,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":88,"max":99},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":1.0,"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":1.0,"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.0,"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.0,"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/real-time-systems","display_name":"real-time systems","score":0.8579999804496765},{"id":"https://openalex.org/keywords/schedulability-analysis","display_name":"schedulability analysis","score":0.9490000009536743},{"id":"https://openalex.org/keywords/workload-modeling","display_name":"workload modeling","score":0.8569999933242798},{"id":"https://openalex.org/keywords/graph-traversal-algorithms","display_name":"graph traversal algorithms","score":0.7229999899864197},{"id":"https://openalex.org/keywords/fixed-priority-scheduling","display_name":"fixed-priority scheduling","score":0.7639999985694885},{"id":"https://openalex.org/keywords/earliest-deadline-first","display_name":"earliest deadline first","score":0.9020000100135803},{"id":"https://openalex.org/keywords/computational-hardness","display_name":"computational hardness","score":0.6499999761581421},{"id":"https://openalex.org/keywords/combinatorial-explosion","display_name":"combinatorial explosion","score":0.8949999809265137},{"id":"https://openalex.org/keywords/abstraction-refinement","display_name":"abstraction refinement","score":0.968999981880188},{"id":"https://openalex.org/keywords/response-time-analysis","display_name":"response time analysis","score":0.9879999756813049},{"id":"https://openalex.org/keywords/over-approximation","display_name":"over-approximation","score":0.7059999704360962},{"id":"https://openalex.org/keywords/safety-critical-systems","display_name":"safety-critical systems","score":0.7710000276565552}],"concepts":[{"id":"https://openalex.org/C2778476105","wikidata":"https://www.wikidata.org/wiki/Q628539","display_name":"Workload","level":2,"score":0.7755739688873291},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6456402540206909},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3646513819694519},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.2552323639392853}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.726.4602","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.726.4602","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.it.uu.se/katalog/marst984/publications/phdthesis_mstigge.pdf","raw_type":"text"},{"id":"pmh:oai:DiVA.org:uu-219307","doi":null,"is_oa":true,"landing_page_url":"http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-219307","pdf_url":null,"source":{"id":"https://openalex.org/S4306402042","display_name":"Uppsala University Publications (Uppsala University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I123387679","host_organization_name":"Uppsala University","host_organization_lineage":["https://openalex.org/I123387679"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/doctoralThesis"},{"id":"mag:76852699","doi":null,"is_oa":false,"landing_page_url":"http://uu.diva-portal.org/smash/get/diva2:699155/FULLTEXT01.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:oai:DiVA.org:uu-219307","doi":null,"is_oa":true,"landing_page_url":"http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-219307","pdf_url":null,"source":{"id":"https://openalex.org/S4306402042","display_name":"Uppsala University Publications (Uppsala University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I123387679","host_organization_name":"Uppsala University","host_organization_lineage":["https://openalex.org/I123387679"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/doctoralThesis"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2107233055","https://openalex.org/W2156021445","https://openalex.org/W2909187095","https://openalex.org/W12740189","https://openalex.org/W3118315823","https://openalex.org/W2110634048","https://openalex.org/W2895960568","https://openalex.org/W2899143346","https://openalex.org/W4362564374","https://openalex.org/W3201631855"],"abstract_inverted_index":{"The":[0,13,95],"requirements":[1],"for":[2,52,141,218],"real-time":[3],"systems":[4],"in":[5,175,282],"safety-critical":[6],"applications":[7],"typically":[8],"contain":[9],"strict":[10],"timing":[11,29],"constraints.":[12],"design":[14],"of":[15,56,71,92,118,128,191,205,221,243,252],"such":[16],"a":[17,49,98,108,260],"system":[18,37,109,119],"must":[19],"be":[20,33,173],"subject":[21],"to":[22,25,43,47,64,78,187,265,273],"extensive":[23],"validation":[24],"guarantee":[26],"that":[27,171],"critical":[28],"constraints":[30],"will":[31],"never":[32],"violated":[34],"while":[35],"the":[36,57,87,102,137,151,192,203,240,253],"operates.":[38],"A":[39,158,199],"mathematically":[40],"rigorous":[41],"technique":[42],"do":[44],"so":[45],"is":[46,163,202],"perform":[48],"schedulability":[50,255,274],"analysis":[51,90,130,145,156,246,277],"formally":[53],"verifying":[54],"models":[55,62,77,170],"computational":[58,126],"workload.":[59],"Different":[60],"workload":[61],"allow":[63],"describe":[65,107],"task":[66,93,99,161],"activations":[67],"at":[68],"different":[69,219],"levels":[70],"expressiveness,":[72],"ranging":[73],"from":[74],"traditional":[75],"periodic":[76],"sophisticated":[79],"graph-based":[80],"ones.":[81],"An":[82],"inherent":[83,241],"conflict":[84],"arises":[85],"between":[86,153],"expressiveness":[88,123,140,154],"and":[89,113,155,226,248,270,275],"efficiency":[91],"models.":[94],"more":[96,103,122],"expressive":[97],"model":[100,135,162,193],"is,":[101],"accurately":[104],"it":[105,272],"can":[106,172],"design,":[110],"reducing":[111],"over-approximations":[112],"thus":[114],"minimizing":[115],"wasteful":[116],"over-provisioning":[117],"resources.":[120],"However,":[121],"implies":[124],"higher":[125],"complexity":[127,242],"corresponding":[129],"methods.":[131],"Consequently,":[132],"an":[133],"ideal":[134],"provides":[136],"highest":[138],"possible":[139],"which":[142,165,208],"efficient":[143,210,245],"exact":[144],"methods":[146,185,247,280],"exist.":[147],"This":[148],"thesis":[149,284],"investigates":[150],"trade-off":[152],"efficiency.":[157],"new":[159],"digraph-based":[160],"introduced,":[164],"generalizes":[166],"all":[167],"previously":[168],"proposed":[169],"analyzed":[174],"pseudo-polynomial":[176],"time":[177],"without":[178],"using":[179],"any":[180],"analysis-specific":[181],"over-approximations.":[182],"We":[183,214],"develop":[184,259],"allowing":[186],"efficiently":[188],"analyze":[189],"variants":[190],"despite":[194],"their":[195],"strictly":[196],"increased":[197],"expressiveness.":[198],"key":[200],"contribution":[201],"notion":[204],"path":[206],"abstraction":[207,262],"enables":[209],"graph":[211],"traversal":[212],"algorithms.":[213],"demonstrate":[215],"tractability":[216],"borderlines":[217],"classes":[220],"schedulers,":[222,229],"namely":[223],"static":[224],"priority":[225],"earliest-deadline":[227],"first":[228],"by":[230],"establishing":[231],"hardness":[232,235],"results.":[233],"These":[234],"proofs":[236],"provide":[237],"insights":[238],"about":[239],"developing":[244],"indicate":[249],"fundamental":[250],"difficulties":[251],"considered":[254],"problems.":[256,278],"Finally,":[257],"we":[258],"novel":[261],"refinement":[263],"scheme":[264],"cope":[266],"with":[267],"combinatorial":[268],"explosion":[269],"apply":[271],"response-time":[276],"All":[279],"presented":[281],"this":[283],"are":[285],"extensively":[286],"evaluated,":[287],"demonstrating":[288],"practical":[289],"applicability.":[290]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":4},{"year":2015,"cited_by_count":7},{"year":2014,"cited_by_count":2}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}