{"id":"https://openalex.org/W1967230617","doi":"https://doi.org/10.1109/indin.2014.6945501","title":"Evaluation of a state-based real-time scheduling analysis technique","display_name":"Evaluation of a state-based real-time scheduling analysis technique","publication_year":2014,"publication_date":"2014-07-01","ids":{"openalex":"https://openalex.org/W1967230617","doi":"https://doi.org/10.1109/indin.2014.6945501","mag":"1967230617"},"language":"en","primary_location":{"id":"doi:10.1109/indin.2014.6945501","is_oa":false,"landing_page_url":"https://doi.org/10.1109/indin.2014.6945501","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2014 12th IEEE International Conference on Industrial Informatics (INDIN)","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/A5017123003","display_name":"Tayfun Gezgin","orcid":null},"institutions":[{"id":"https://openalex.org/I202367325","display_name":"Oldenburger Institut f\u00fcr Informatik","ror":"https://ror.org/003sav189","country_code":"DE","type":"facility","lineage":["https://openalex.org/I202367325"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Tayfun Gezgin","raw_affiliation_strings":["Institute for Information Technology (OFFIS) Oldenburg, Germany","Inst. for Inf. Technol. (OFFIS), Oldenburg, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Information Technology (OFFIS) Oldenburg, Germany","institution_ids":["https://openalex.org/I202367325"]},{"raw_affiliation_string":"Inst. for Inf. Technol. (OFFIS), Oldenburg, Germany","institution_ids":["https://openalex.org/I202367325"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031057579","display_name":"Stefan Henkler","orcid":null},"institutions":[{"id":"https://openalex.org/I202367325","display_name":"Oldenburger Institut f\u00fcr Informatik","ror":"https://ror.org/003sav189","country_code":"DE","type":"facility","lineage":["https://openalex.org/I202367325"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Stefan Henkler","raw_affiliation_strings":["Institute for Information Technology (OFFIS) Oldenburg, Germany","Inst. for Inf. Technol. (OFFIS), Oldenburg, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Information Technology (OFFIS) Oldenburg, Germany","institution_ids":["https://openalex.org/I202367325"]},{"raw_affiliation_string":"Inst. for Inf. Technol. (OFFIS), Oldenburg, Germany","institution_ids":["https://openalex.org/I202367325"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085824519","display_name":"Ingo Stierand","orcid":"https://orcid.org/0009-0000-7936-6969"},"institutions":[{"id":"https://openalex.org/I129877168","display_name":"Carl von Ossietzky Universit\u00e4t Oldenburg","ror":"https://ror.org/033n9gh91","country_code":"DE","type":"education","lineage":["https://openalex.org/I129877168"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Ingo Stierand","raw_affiliation_strings":["Carl von Ossietzky University Oldenburg Oldenburg, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Carl von Ossietzky University Oldenburg Oldenburg, Germany","institution_ids":["https://openalex.org/I129877168"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5110191210","display_name":"Achim Rettberg","orcid":null},"institutions":[{"id":"https://openalex.org/I129877168","display_name":"Carl von Ossietzky Universit\u00e4t Oldenburg","ror":"https://ror.org/033n9gh91","country_code":"DE","type":"education","lineage":["https://openalex.org/I129877168"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Achim Rettberg","raw_affiliation_strings":["Carl von Ossietzky University Oldenburg Oldenburg, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Carl von Ossietzky University Oldenburg Oldenburg, Germany","institution_ids":["https://openalex.org/I129877168"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.9453,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.74068707,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"1","issue":null,"first_page":"158","last_page":"163"},"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9987000226974487,"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.9977999925613403,"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.877931535243988},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.7745729088783264},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.7246831059455872},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.6774625778198242},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.600410521030426},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.4934140741825104},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4745156168937683},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.41763049364089966},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.41184136271476746},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.14411401748657227},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.11199089884757996},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.08162662386894226}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.877931535243988},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.7745729088783264},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.7246831059455872},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.6774625778198242},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.600410521030426},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.4934140741825104},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4745156168937683},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.41763049364089966},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.41184136271476746},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.14411401748657227},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.11199089884757996},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.08162662386894226},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/indin.2014.6945501","is_oa":false,"landing_page_url":"https://doi.org/10.1109/indin.2014.6945501","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2014 12th IEEE International Conference on Industrial Informatics (INDIN)","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":20,"referenced_works":["https://openalex.org/W186423455","https://openalex.org/W1482233117","https://openalex.org/W1482831602","https://openalex.org/W1517793941","https://openalex.org/W1544936738","https://openalex.org/W1597107417","https://openalex.org/W1997998060","https://openalex.org/W2000947342","https://openalex.org/W2023264475","https://openalex.org/W2037725895","https://openalex.org/W2101508170","https://openalex.org/W2102815588","https://openalex.org/W2124262702","https://openalex.org/W2145000217","https://openalex.org/W2150220388","https://openalex.org/W2165172064","https://openalex.org/W2735071815","https://openalex.org/W4252976664","https://openalex.org/W6628675407","https://openalex.org/W6741098534"],"related_works":["https://openalex.org/W2045155990","https://openalex.org/W4313163053","https://openalex.org/W2389214306","https://openalex.org/W3045811229","https://openalex.org/W4300973204","https://openalex.org/W4235240664","https://openalex.org/W2965083567","https://openalex.org/W2151320244","https://openalex.org/W1483408780","https://openalex.org/W4284884309"],"abstract_inverted_index":{"The":[0,23],"analysis":[1,24,81],"of":[2,25,89,109,112,122,161],"real-time":[3],"properties":[4,27],"is":[5,28,133],"crucial":[6],"in":[7,15,93],"safety":[8],"critical":[9,44],"areas.":[10],"Systems":[11],"have":[12,115],"to":[13,19,55,67,105],"work":[14],"a":[16,64,94,129,159],"timely":[17],"manner":[18],"offer":[20],"correct":[21],"services.":[22],"timing":[26],"particularly":[29],"difficult":[30],"for":[31,72,135,146],"distributed":[32,73],"systems":[33,147],"when":[34],"complex":[35],"interferences":[36],"between":[37],"individual":[38,91],"tasks":[39],"can":[40],"occur.":[41,140],"Considering":[42],"only":[43],"instances,":[45],"as":[46],"analytic":[47],"approaches":[48],"do,":[49],"may":[50],"deliver":[51],"pessimistic":[52],"results":[53,167],"leading":[54],"higher":[56],"production":[57],"costs.":[58],"In":[59,126],"previous":[60],"works":[61],"we":[62,142],"introduced":[63,134],"state-based":[65],"approach":[66,84,145,157],"validate":[68],"task-and":[69],"end-to-end":[70],"deadlines":[71],"systems.":[74],"To":[75],"improve":[76],"scalability":[77],"and":[78,100,164],"reduce":[79],"the":[80,83,86,90,110,119,123,152,166,169],"time,":[82],"computes":[85],"state":[87],"spaces":[88],"resources":[92,113],"compositional":[95],"fashion.":[96],"For":[97],"this,":[98],"abstraction":[99,131],"composition":[101],"operations":[102],"were":[103],"defined":[104],"remove":[106],"those":[107],"parts":[108],"inputs":[111],"which":[114],"no":[116],"influence":[117],"on":[118,158],"response":[120],"times":[121],"allocated":[124],"tasks.":[125],"this":[127],"work,":[128],"new":[130],"technique":[132],"scenarios":[136,163],"where":[137],"event":[138],"bursts":[139],"Further,":[141],"extend":[143],"our":[144,156],"with":[148,168],"cyclic":[149],"dependencies":[150],"among":[151],"resources.":[153],"We":[154],"evaluate":[155],"set":[160],"example":[162],"compare":[165],"state-of-the-art":[170],"tool":[171],"Uppaal.":[172]},"counts_by_year":[{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}