Maximizing system lifetime by battery scheduling
The use of mobile devices is limited by the battery lifetime. Some devices have the option to connect an extra battery, or to use smart battery packs with multiple cells to extend the lifetime. In these cases, scheduling the batteries over the load to exploit recovery properties usually extends the...
Gespeichert in:
| Hauptverfasser: | , , , |
|---|---|
| Format: | Tagungsbericht |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 72 |
|---|---|
| container_issue | |
| container_start_page | 63 |
| container_title | |
| container_volume | |
| creator | Jongerden, M. Haverkort, B. Bohnenkamp, H. Katoen, J.-P. |
| description | The use of mobile devices is limited by the battery lifetime. Some devices have the option to connect an extra battery, or to use smart battery packs with multiple cells to extend the lifetime. In these cases, scheduling the batteries over the load to exploit recovery properties usually extends the system lifetime. Straightforward scheduling schemes, like round robin or choosing the best battery available, already provide a big improvement compared to a sequential discharge of the batteries. In this paper we compare these scheduling schemes with the optimal scheduling scheme produced with a priced timed automaton battery model (implemented and evaluated in Uppaal Cora). We see that in some cases the results of the simple scheduling schemes are close to optimal. However, the optimal schedules also clearly show that there is still room for improving the battery lifetimes. |
| doi_str_mv | 10.1109/DSN.2009.5270351 |
| format | Conference Proceeding |
| fullrecord | <record><control><sourceid>ieee_6IE</sourceid><recordid>TN_cdi_ieee_primary_5270351</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>5270351</ieee_id><sourcerecordid>5270351</sourcerecordid><originalsourceid>FETCH-LOGICAL-g258t-159e83982ceab8f7a52350d6cea77d6396e233b0226da916060d6126c245083b3</originalsourceid><addsrcrecordid>eNpFkEtLw0AcxNdHwbT2LnjJF0j8P7Kvo9T6gKoH9Vw2yaauJCLZCMZPb8SCcxmG3zCHEeIMIUcEe3H19JATgM0laWCJB2KOBRWTCPWhSAilydiSPvoHJI9FgpIhA2PsTMx_ByyQsfpELGN8g0mFJMOYCLh3X6EL3-F9l8YxDr5L29D4IXQ-Lce0dMPg-zGN1auvP9updSpmjWujX-59IV6u18-r22zzeHO3utxkO5JmyFBab9gaqrwrTaOdJJZQqylqXSu2yhNzCUSqdhYVqAkiqYoKCYZLXojzv93gvd9-9KFz_bjd38A_52FIug</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Maximizing system lifetime by battery scheduling</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Jongerden, M. ; Haverkort, B. ; Bohnenkamp, H. ; Katoen, J.-P.</creator><creatorcontrib>Jongerden, M. ; Haverkort, B. ; Bohnenkamp, H. ; Katoen, J.-P.</creatorcontrib><description>The use of mobile devices is limited by the battery lifetime. Some devices have the option to connect an extra battery, or to use smart battery packs with multiple cells to extend the lifetime. In these cases, scheduling the batteries over the load to exploit recovery properties usually extends the system lifetime. Straightforward scheduling schemes, like round robin or choosing the best battery available, already provide a big improvement compared to a sequential discharge of the batteries. In this paper we compare these scheduling schemes with the optimal scheduling scheme produced with a priced timed automaton battery model (implemented and evaluated in Uppaal Cora). We see that in some cases the results of the simple scheduling schemes are close to optimal. However, the optimal schedules also clearly show that there is still room for improving the battery lifetimes.</description><identifier>ISSN: 1530-0889</identifier><identifier>ISBN: 1424444225</identifier><identifier>ISBN: 9781424444229</identifier><identifier>EISSN: 2158-3927</identifier><identifier>EISBN: 1424444217</identifier><identifier>EISBN: 9781424444212</identifier><identifier>DOI: 10.1109/DSN.2009.5270351</identifier><identifier>LCCN: 2009902897</identifier><language>eng</language><publisher>IEEE</publisher><subject>Automata ; Batteries ; Embedded software ; Embedded system ; Embedded Systems ; Hydrogen ; Information technology ; Kinetic Battery Model ; Kinetic theory ; Lifetime Optimization ; Optimal scheduling ; Priced-Timed Automata ; Round robin ; Scheduling ; Telematics</subject><ispartof>2009 IEEE/IFIP International Conference on Dependable Systems & Networks, 2009, p.63-72</ispartof><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/5270351$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,776,780,785,786,2052,27902,54895</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/5270351$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Jongerden, M.</creatorcontrib><creatorcontrib>Haverkort, B.</creatorcontrib><creatorcontrib>Bohnenkamp, H.</creatorcontrib><creatorcontrib>Katoen, J.-P.</creatorcontrib><title>Maximizing system lifetime by battery scheduling</title><title>2009 IEEE/IFIP International Conference on Dependable Systems & Networks</title><addtitle>DSN</addtitle><description>The use of mobile devices is limited by the battery lifetime. Some devices have the option to connect an extra battery, or to use smart battery packs with multiple cells to extend the lifetime. In these cases, scheduling the batteries over the load to exploit recovery properties usually extends the system lifetime. Straightforward scheduling schemes, like round robin or choosing the best battery available, already provide a big improvement compared to a sequential discharge of the batteries. In this paper we compare these scheduling schemes with the optimal scheduling scheme produced with a priced timed automaton battery model (implemented and evaluated in Uppaal Cora). We see that in some cases the results of the simple scheduling schemes are close to optimal. However, the optimal schedules also clearly show that there is still room for improving the battery lifetimes.</description><subject>Automata</subject><subject>Batteries</subject><subject>Embedded software</subject><subject>Embedded system</subject><subject>Embedded Systems</subject><subject>Hydrogen</subject><subject>Information technology</subject><subject>Kinetic Battery Model</subject><subject>Kinetic theory</subject><subject>Lifetime Optimization</subject><subject>Optimal scheduling</subject><subject>Priced-Timed Automata</subject><subject>Round robin</subject><subject>Scheduling</subject><subject>Telematics</subject><issn>1530-0889</issn><issn>2158-3927</issn><isbn>1424444225</isbn><isbn>9781424444229</isbn><isbn>1424444217</isbn><isbn>9781424444212</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2009</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><sourceid>RIE</sourceid><recordid>eNpFkEtLw0AcxNdHwbT2LnjJF0j8P7Kvo9T6gKoH9Vw2yaauJCLZCMZPb8SCcxmG3zCHEeIMIUcEe3H19JATgM0laWCJB2KOBRWTCPWhSAilydiSPvoHJI9FgpIhA2PsTMx_ByyQsfpELGN8g0mFJMOYCLh3X6EL3-F9l8YxDr5L29D4IXQ-Lce0dMPg-zGN1auvP9updSpmjWujX-59IV6u18-r22zzeHO3utxkO5JmyFBab9gaqrwrTaOdJJZQqylqXSu2yhNzCUSqdhYVqAkiqYoKCYZLXojzv93gvd9-9KFz_bjd38A_52FIug</recordid><startdate>20090101</startdate><enddate>20090101</enddate><creator>Jongerden, M.</creator><creator>Haverkort, B.</creator><creator>Bohnenkamp, H.</creator><creator>Katoen, J.-P.</creator><general>IEEE</general><scope>6IE</scope><scope>6IH</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIO</scope></search><sort><creationdate>20090101</creationdate><title>Maximizing system lifetime by battery scheduling</title><author>Jongerden, M. ; Haverkort, B. ; Bohnenkamp, H. ; Katoen, J.-P.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-g258t-159e83982ceab8f7a52350d6cea77d6396e233b0226da916060d6126c245083b3</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2009</creationdate><topic>Automata</topic><topic>Batteries</topic><topic>Embedded software</topic><topic>Embedded system</topic><topic>Embedded Systems</topic><topic>Hydrogen</topic><topic>Information technology</topic><topic>Kinetic Battery Model</topic><topic>Kinetic theory</topic><topic>Lifetime Optimization</topic><topic>Optimal scheduling</topic><topic>Priced-Timed Automata</topic><topic>Round robin</topic><topic>Scheduling</topic><topic>Telematics</topic><toplevel>online_resources</toplevel><creatorcontrib>Jongerden, M.</creatorcontrib><creatorcontrib>Haverkort, B.</creatorcontrib><creatorcontrib>Bohnenkamp, H.</creatorcontrib><creatorcontrib>Katoen, J.-P.</creatorcontrib><collection>IEEE Electronic Library (IEL) Conference Proceedings</collection><collection>IEEE Proceedings Order Plan (POP) 1998-present by volume</collection><collection>IEEE Xplore All Conference Proceedings</collection><collection>IEEE Electronic Library (IEL)</collection><collection>IEEE Proceedings Order Plans (POP) 1998-present</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Jongerden, M.</au><au>Haverkort, B.</au><au>Bohnenkamp, H.</au><au>Katoen, J.-P.</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Maximizing system lifetime by battery scheduling</atitle><btitle>2009 IEEE/IFIP International Conference on Dependable Systems & Networks</btitle><stitle>DSN</stitle><date>2009-01-01</date><risdate>2009</risdate><spage>63</spage><epage>72</epage><pages>63-72</pages><issn>1530-0889</issn><eissn>2158-3927</eissn><isbn>1424444225</isbn><isbn>9781424444229</isbn><eisbn>1424444217</eisbn><eisbn>9781424444212</eisbn><abstract>The use of mobile devices is limited by the battery lifetime. Some devices have the option to connect an extra battery, or to use smart battery packs with multiple cells to extend the lifetime. In these cases, scheduling the batteries over the load to exploit recovery properties usually extends the system lifetime. Straightforward scheduling schemes, like round robin or choosing the best battery available, already provide a big improvement compared to a sequential discharge of the batteries. In this paper we compare these scheduling schemes with the optimal scheduling scheme produced with a priced timed automaton battery model (implemented and evaluated in Uppaal Cora). We see that in some cases the results of the simple scheduling schemes are close to optimal. However, the optimal schedules also clearly show that there is still room for improving the battery lifetimes.</abstract><pub>IEEE</pub><doi>10.1109/DSN.2009.5270351</doi><tpages>10</tpages><oa>free_for_read</oa></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | ISSN: 1530-0889 |
| ispartof | 2009 IEEE/IFIP International Conference on Dependable Systems & Networks, 2009, p.63-72 |
| issn | 1530-0889 2158-3927 |
| language | eng |
| recordid | cdi_ieee_primary_5270351 |
| source | IEEE Electronic Library (IEL) Conference Proceedings |
| subjects | Automata Batteries Embedded software Embedded system Embedded Systems Hydrogen Information technology Kinetic Battery Model Kinetic theory Lifetime Optimization Optimal scheduling Priced-Timed Automata Round robin Scheduling Telematics |
| title | Maximizing system lifetime by battery scheduling |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-28T16%3A35%3A57IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-ieee_6IE&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Maximizing%20system%20lifetime%20by%20battery%20scheduling&rft.btitle=2009%20IEEE/IFIP%20International%20Conference%20on%20Dependable%20Systems%20&%20Networks&rft.au=Jongerden,%20M.&rft.date=2009-01-01&rft.spage=63&rft.epage=72&rft.pages=63-72&rft.issn=1530-0889&rft.eissn=2158-3927&rft.isbn=1424444225&rft.isbn_list=9781424444229&rft_id=info:doi/10.1109/DSN.2009.5270351&rft_dat=%3Cieee_6IE%3E5270351%3C/ieee_6IE%3E%3Curl%3E%3C/url%3E&rft.eisbn=1424444217&rft.eisbn_list=9781424444212&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=5270351&rfr_iscdi=true |