{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,29]],"date-time":"2026-07-29T14:13:00Z","timestamp":1785334380338,"version":"3.55.0"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031975363","type":"print"},{"value":"9783031975370","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T00:00:00Z","timestamp":1759276800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T00:00:00Z","timestamp":1759276800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-031-97537-0_5","type":"book-chapter","created":{"date-parts":[[2025,9,30]],"date-time":"2025-09-30T22:54:18Z","timestamp":1759272858000},"page":"76-95","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Bluetooth Low Energy for Safety-Critical Real-Time Applications"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2766-9615","authenticated-orcid":false,"given":"Holger","family":"Hermanns","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6353-227X","authenticated-orcid":false,"given":"Michaela","family":"Klauck","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-7341-4558","authenticated-orcid":false,"given":"Govinda","family":"Sicheneder","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,10,1]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Baier, C., de\u00a0Alfaro, L., Forejt, V., Kwiatkowska, M.: Model checking probabilistic systems. In: Handbook of Model Checking, pp. 963\u2013999. Springer (2018)","DOI":"10.1007\/978-3-319-10575-8_28"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Bar\u00f3\u00a0Graf, H., Hermanns, H., Kulshrestha, J., Peter, J., Vahldiek, A., Vasudevan, A.: A verified wireless safety critical hard real-time design. In: 2011 IEEE WOWMOM Symposium. pp.\u00a01\u20139. IEEE (2011)","DOI":"10.1109\/WoWMoM.2011.5986386"},{"key":"5_CR3","unstructured":"Bluetooth SIG: Bluetooth Core Specification (6 2010), revision: v4.0"},{"key":"5_CR4","unstructured":"Bluetooth SIG: Bluetooth Core Specification (12 2019), revision: v5.2"},{"key":"5_CR5","unstructured":"Bluetooth SIG: Bluetooth Core Specification (7 2021), revision: v5.3"},{"key":"5_CR6","doi-asserted-by":"publisher","unstructured":"Butkova, Y., Hartmanns, A., Hermanns, H.: A Modest approach to Markov automata. ACM Trans. Model. Comput. Simul. 31(3), 14:1\u201314:34 (2021). https:\/\/doi.org\/10.1145\/3449355","DOI":"10.1145\/3449355"},{"key":"5_CR7","unstructured":"DroidDrive GmbH: Ducktrain. Website, https:\/\/ducktrain.io\/, accessed on 2 July 2023"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Dwijaksara, M.H., Jeon, W.S., Jeong, D.G.: A channel access scheme for bluetooth low energy to support delay-sensitive applications. In: 2016 IEEE PIMRC Symposium. pp.\u00a01\u20136. IEEE (2016)","DOI":"10.1109\/PIMRC.2016.7794822"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Gomez, C., Oller, J., Paradells, J.: Overview and evaluation of bluetooth low energy: An emerging low-power wireless technology. Sensors 12(9), 11734\u201311753 (2012)","DOI":"10.3390\/s120911734"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Hahn, E.M., Hartmanns, A., Hermanns, H., Katoen, J.: A compositional modelling and analysis framework for stochastic hybrid systems. Formal Methods Syst. Des. 43(2), 191\u2013232 (2013)","DOI":"10.1007\/s10703-012-0167-z"},{"key":"5_CR11","unstructured":"Hartmanns, A.: The Modest Toolset. Website, https:\/\/www.modestchecker.net, accessed on 2 July 2023"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Hartmanns, A., Hermanns, H.: A modest approach to checking probabilistic timed automata. In: 2009 QEST Conference. pp. 187\u2013196. IEEE Computer Society (2009)","DOI":"10.1109\/QEST.2009.41"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Hartmanns, A., Hermanns, H.: The Modest toolset: An integrated environment for quantitative modelling and verification. In: 2014 TACAS Conference. Lecture Notes in Computer Science, vol.\u00a08413, pp. 593\u2013598. Springer (2014)","DOI":"10.1007\/978-3-642-54862-8_51"},{"key":"5_CR14","unstructured":"Holzmann, G.J.: The SPIN Model Checker - primer and reference manual. Addison-Wesley (2004)"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Kindt, P., Yunge, D., Gopp, M., Chakraborty, S.: Adaptive online power-management for Bluetooth low energy. In: 2015 IEEE INFOCOM Conference. pp. 2695\u20132703. IEEE (2015)","DOI":"10.1109\/INFOCOM.2015.7218661"},{"key":"5_CR16","unstructured":"L\u00fcdersen, B.: Design and Implementation of Adaptive Frequency Hopping for Bluetooth Low Energy - Evaluation for Low Latency Applications. Bachelor\u2019s thesis, Christian-Albrechts-Universit\u00e4t zu Kiel (2020)"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Natarajan, R., Zand, P., Nabi, M.: Analysis of coexistence between ieee 802.15. 4, ble and ieee 802.11 in the 2.4 ghz ism band. In: 2016 IEEE IECON Conference. pp. 6025\u20136032. IEEE (2016)","DOI":"10.1109\/IECON.2016.7793984"},{"key":"5_CR18","unstructured":"Nordic Semiconductors: Online power profiler for BLE. Website, https:\/\/devzone.nordicsemi.com\/nordic\/power\/w\/opp\/2\/online-power-profiler-for-ble, accessed on 2 July 2023"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"Norman, G., Parker, D., Sproston, J.: Model checking for probabilistic timed automata. Formal Methods Syst. Des. 43(2), 164\u2013190 (2013)","DOI":"10.1007\/s10703-012-0177-x"},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"Rond\u00f3n, R., Gidlund, M., Landern\u00e4s, K.: Evaluating bluetooth low energy suitability for time-critical industrial iot applications. International Journal of Wireless Information Networks 24(3), 278\u2013290 (2017)","DOI":"10.1007\/s10776-017-0357-0"},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"Rond\u00f3n, R., Landern\u00e4s, K., Gidlund, M.: An analytical model of the effective delay performance for bluetooth low energy. In: 2016 IEEE PIMRC Symposium. pp.\u00a01\u20136. IEEE (2016)","DOI":"10.1109\/PIMRC.2016.7794553"},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"Silva, S., Soares, S., Fernandes, T., Valente, A., Moreira, A.: Coexistence and interference tests on a bluetooth low energy front-end. In: 2014 Science and Information Conference. pp. 1014\u20131018. IEEE (2014)","DOI":"10.1109\/SAI.2014.6918312"},{"key":"5_CR23","unstructured":"Sp\u00f6rk, M., Boano, C.A., R\u00f6mer, K.: Improving the timeliness of bluetooth low energy in noisy rf environments. In: EWSN 2019. pp. 23\u201334 (2019)"},{"key":"5_CR24","unstructured":"Sp\u00f6rk, M., Classen, J., Boano, C.A., Hollick, M., R\u00f6mer, K.: Improving the reliability of bluetooth low energy connections. In: EWSN 2020. pp. 144\u2013155 (2020)"},{"key":"5_CR25","unstructured":"The Linux Foundation: Zephyr Project. Website, https:\/\/zephyrproject.org\/, accessed on 2 July 2023"},{"key":"5_CR26","doi-asserted-by":"crossref","unstructured":"Treurniet, J.J., Sarkar, C., Prasad, R.V., De\u00a0Boer, W.: Energy consumption and latency in ble devices under mutual interference: An experimental study. In: 2015 IEEE FICLOUD Conference. pp. 333\u2013340. IEEE (2015)","DOI":"10.1109\/FiCloud.2015.108"},{"key":"5_CR27","unstructured":"T\u00f6psch, L.: Design and Implementation of Adaptive Frequency Hopping for Bluetooth Low Energy - Evaluation for High Throughput Applications. Bachelor\u2019s thesis, Christian-Albrechts-Universit\u00e4t zu Kiel (2020)"}],"container-title":["Lecture Notes in Computer Science","Engineering Safe and Trustworthy Cyber Physical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-97537-0_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,29]],"date-time":"2026-07-29T13:48:03Z","timestamp":1785332883000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-97537-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,1]]},"ISBN":["9783031975363","9783031975370"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-97537-0_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,10,1]]},"assertion":[{"value":"1 October 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}