{"id":"https://openalex.org/W2513144086","doi":"https://doi.org/10.1109/acsd.2016.18","title":"Model Checking and Evaluating QoS of Batteries in MPSoC Dataflow Applications via Hybrid Automata","display_name":"Model Checking and Evaluating QoS of Batteries in MPSoC Dataflow Applications via Hybrid Automata","publication_year":2016,"publication_date":"2016-06-01","ids":{"openalex":"https://openalex.org/W2513144086","doi":"https://doi.org/10.1109/acsd.2016.18","mag":"2513144086"},"language":"en","primary_location":{"id":"doi:10.1109/acsd.2016.18","is_oa":false,"landing_page_url":"https://doi.org/10.1109/acsd.2016.18","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 16th International Conference on Application of Concurrency to System Design (ACSD)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://ris.utwente.nl/ws/files/5332123/11.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101670019","display_name":"Waheed Ahmad","orcid":"https://orcid.org/0000-0001-6749-9799"},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Waheed Ahmad","raw_affiliation_strings":["University of Twente, The Netherlands"],"affiliations":[{"raw_affiliation_string":"University of Twente, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041939114","display_name":"Marijn Jongerden","orcid":"https://orcid.org/0000-0002-6848-9688"},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Marijn Jongerden","raw_affiliation_strings":["University of Twente, The Netherlands"],"affiliations":[{"raw_affiliation_string":"University of Twente, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053065289","display_name":"Mari\u00eblle Stoelinga","orcid":"https://orcid.org/0000-0001-6793-8165"},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Marielle Stoelinga","raw_affiliation_strings":["University of Twente, The Netherlands"],"affiliations":[{"raw_affiliation_string":"University of Twente, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5012697499","display_name":"Jaco van de Pol","orcid":"https://orcid.org/0000-0003-4305-0625"},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Jaco van de Pol","raw_affiliation_strings":["Universiteit Twente, Enschede, Overijssel, NL"],"affiliations":[{"raw_affiliation_string":"Universiteit Twente, Enschede, Overijssel, NL","institution_ids":["https://openalex.org/I94624287"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5101670019"],"corresponding_institution_ids":["https://openalex.org/I94624287"],"apc_list":null,"apc_paid":null,"fwci":2.2529,"has_fulltext":true,"cited_by_count":8,"citation_normalized_percentile":{"value":0.8747588,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"114","last_page":"123"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","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/T10904","display_name":"Embedded Systems Design Techniques","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.9991000294685364,"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/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.7958225607872009},{"id":"https://openalex.org/keywords/dataflow","display_name":"Dataflow","score":0.7792744636535645},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.6228205561637878},{"id":"https://openalex.org/keywords/battery","display_name":"Battery (electricity)","score":0.5948008894920349},{"id":"https://openalex.org/keywords/quality-of-service","display_name":"Quality of service","score":0.5428545475006104},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5291619300842285},{"id":"https://openalex.org/keywords/mpsoc","display_name":"MPSoC","score":0.519846498966217},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.4620833098888397},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4502439498901367},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.37099018692970276},{"id":"https://openalex.org/keywords/system-on-a-chip","display_name":"System on a chip","score":0.3468475937843323},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.19001391530036926},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.09380921721458435},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.08911740779876709}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7958225607872009},{"id":"https://openalex.org/C96324660","wikidata":"https://www.wikidata.org/wiki/Q205446","display_name":"Dataflow","level":2,"score":0.7792744636535645},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6228205561637878},{"id":"https://openalex.org/C555008776","wikidata":"https://www.wikidata.org/wiki/Q267298","display_name":"Battery (electricity)","level":3,"score":0.5948008894920349},{"id":"https://openalex.org/C5119721","wikidata":"https://www.wikidata.org/wiki/Q220501","display_name":"Quality of service","level":2,"score":0.5428545475006104},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5291619300842285},{"id":"https://openalex.org/C2777187653","wikidata":"https://www.wikidata.org/wiki/Q975106","display_name":"MPSoC","level":3,"score":0.519846498966217},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4620833098888397},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4502439498901367},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.37099018692970276},{"id":"https://openalex.org/C118021083","wikidata":"https://www.wikidata.org/wiki/Q610398","display_name":"System on a chip","level":2,"score":0.3468475937843323},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.19001391530036926},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.09380921721458435},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.08911740779876709},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/acsd.2016.18","is_oa":false,"landing_page_url":"https://doi.org/10.1109/acsd.2016.18","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 16th International Conference on Application of Concurrency to System Design (ACSD)","raw_type":"proceedings-article"},{"id":"pmh:oai:ris.utwente.nl:openaire/21f28d7b-efd9-486e-9e40-ba7da415a17e","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/21f28d7b-efd9-486e-9e40-ba7da415a17e","pdf_url":"https://ris.utwente.nl/ws/files/5332123/11.pdf","source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":"Ahmad, W, Jongerden, M, Stoelinga, M & van de Pol, J 2016, Model checking and evaluating QoS of batteries in MPSoC dataflow applications via hybrid automata. in 2016 16th International Conference on Application of Concurrency to System Design (ACSD). Proceedings International Conference on Application of Concurrency to System Design (ACSD), no. 16, vol. 2016, IEEE, Piscataway, NJ, pp. 114-123, 16th International Conference on Application of Concurrency to System Design, ACSD 2016, Toru\u0144, Poland, 19/06/16. https://doi.org/10.1109/ACSD.2016.18","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:ris.utwente.nl:publications/21f28d7b-efd9-486e-9e40-ba7da415a17e","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""}],"best_oa_location":{"id":"pmh:oai:ris.utwente.nl:openaire/21f28d7b-efd9-486e-9e40-ba7da415a17e","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/21f28d7b-efd9-486e-9e40-ba7da415a17e","pdf_url":"https://ris.utwente.nl/ws/files/5332123/11.pdf","source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":"Ahmad, W, Jongerden, M, Stoelinga, M & van de Pol, J 2016, Model checking and evaluating QoS of batteries in MPSoC dataflow applications via hybrid automata. in 2016 16th International Conference on Application of Concurrency to System Design (ACSD). Proceedings International Conference on Application of Concurrency to System Design (ACSD), no. 16, vol. 2016, IEEE, Piscataway, NJ, pp. 114-123, 16th International Conference on Application of Concurrency to System Design, ACSD 2016, Toru\u0144, Poland, 19/06/16. https://doi.org/10.1109/ACSD.2016.18","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/7","score":0.800000011920929,"display_name":"Affordable and clean energy"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2513144086.pdf","grobid_xml":"https://content.openalex.org/works/W2513144086.grobid-xml"},"referenced_works_count":25,"referenced_works":["https://openalex.org/W36183573","https://openalex.org/W116030894","https://openalex.org/W1521572549","https://openalex.org/W1541469688","https://openalex.org/W1602707050","https://openalex.org/W1841726052","https://openalex.org/W1905242396","https://openalex.org/W1962072139","https://openalex.org/W1987734880","https://openalex.org/W2081379617","https://openalex.org/W2091158003","https://openalex.org/W2097883778","https://openalex.org/W2101508170","https://openalex.org/W2116250234","https://openalex.org/W2118857421","https://openalex.org/W2126013065","https://openalex.org/W2136244995","https://openalex.org/W2147340401","https://openalex.org/W2152571083","https://openalex.org/W2154596969","https://openalex.org/W2338369357","https://openalex.org/W6604753982","https://openalex.org/W6677529437","https://openalex.org/W6682488519","https://openalex.org/W6703614679"],"related_works":["https://openalex.org/W4292018701","https://openalex.org/W2053766034","https://openalex.org/W4311951637","https://openalex.org/W2502691491","https://openalex.org/W1976012348","https://openalex.org/W2746280673","https://openalex.org/W1594593035","https://openalex.org/W2002682434","https://openalex.org/W2137671689","https://openalex.org/W4387782849"],"abstract_inverted_index":{"System":[0],"lifetime":[1],"is":[2,26],"a":[3,62,134,144],"major":[4],"design":[5,158],"constraint":[6],"for":[7,52,65],"battery-powered":[8],"mobile":[9,31,53],"embedded":[10,54],"systems.":[11],"The":[12],"increasing":[13],"gap":[14],"between":[15],"the":[16,34,101,124],"energy":[17],"demand":[18],"of":[19,30,38,41,49,68,139,157],"portable":[20],"devices":[21,43],"and":[22,57,89,107,115],"their":[23],"battery":[24,46,96,120],"capacities":[25,47,121],"further":[27],"limiting":[28],"durability":[29],"devices.":[32],"Thus,":[33],"guarantees":[35],"over":[36],"Quality":[37],"Service":[39],"(QoS)":[40],"battery-constrained":[42],"under":[44],"strict":[45],"are":[48,85],"primary":[50],"interest":[51],"systems'":[55],"manufacturers":[56],"stakeholders.":[58],"This":[59,151],"paper":[60],"presents":[61],"novel":[63],"approach":[64,132,152],"deriving":[66],"QoS":[67],"applications":[69,79],"modelled":[70],"as":[71,104,141],"synchronous":[72],"dataflow":[73],"(SDF)":[74],"graphs.":[75],"We":[76,128],"map":[77],"these":[78],"on":[80],"heterogeneous":[81],"multiprocessor":[82],"platforms":[83],"that":[84,130],"partitioned":[86],"into":[87],"Voltage":[88],"Frequency":[90],"Islands,":[91],"together":[92],"with":[93],"multiple":[94],"kinetic":[95],"models":[97],"(KiBaMs).":[98],"By":[99],"modelling":[100],"whole":[102],"system":[103,113],"hybrid":[105],"automata,":[106],"applying":[108],"model-checking,":[109],"we":[110],"evaluate,":[111],"(1)":[112],"lifetime,":[114],"(2)":[116],"minimum":[117],"required":[118],"initial":[119],"to":[122,143],"achieve":[123],"desired":[125],"application":[126],"performance.":[127],"demonstrate":[129],"our":[131],"shows":[133],"significant":[135],"improvement":[136],"in":[137],"terms":[138],"scalability,":[140],"compared":[142],"priced":[145],"timed":[146],"automata":[147],"based":[148],"KiBaM":[149],"model.":[150],"also":[153],"allows":[154],"early":[155],"detection":[156],"errors":[159],"via":[160],"model":[161],"checking.":[162]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":4}],"updated_date":"2026-03-17T17:19:04.345684","created_date":"2025-10-10T00:00:00"}