Modeling Classes of Body Sensor Networks
| dc.contributor.author | Carwehl, Marc | |
| dc.contributor.author | Reisig, Wolfgang | |
| dc.contributor.editor | Michael, Judith | |
| dc.contributor.editor | Weske, Mathias | |
| dc.date.accessioned | 2024-02-19T11:27:58Z | |
| dc.date.available | 2024-02-19T11:27:58Z | |
| dc.date.issued | 2024 | |
| dc.description.abstract | Computer-embedded systems frequently manifest in diverse variants, featuring slight differences in interfaces and functionalities, yet fundamentally grounded in a shared functional kernel. To address this variability, we propose to employ a schematic model of the functional kernel, from which concrete system instances are derived. This modeling methodology leverages well-established principles from predicate logic and Petri nets, augmented with the dynamic extensions provided by the \textsc{Heraklit} infrastructure. As a practical case study, we explore the realm of Body Sensor Networks (BSNs), a domain increasingly pivotal in the realm of medical diagnosis. Our work showcases the versatility and adaptability of our modeling framework in the context of BSNs, offering insights into its potential applications in the broader landscape of embedded systems and beyond. | en |
| dc.identifier.doi | 10.18420/modellierung2024_008 | |
| dc.identifier.isbn | 978-3-88579-742-5 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/43632 | |
| dc.language.iso | en | |
| dc.publisher | Gesellschaft für Informatik e.V. | |
| dc.relation.ispartof | Modellierung 2024 | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-348 | |
| dc.subject | Petri nets | |
| dc.subject | Heraklit | |
| dc.subject | Body Sensor Network | |
| dc.title | Modeling Classes of Body Sensor Networks | en |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 82 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 65 | |
| gi.conference.date | 12.-15. March 2024 | |
| gi.conference.location | Potsdam, Germany | |
| gi.conference.sessiontitle | Systems Design |
Dateien
Originalbündel
1 - 1 von 1
Lade...
- Name:
- Modellierung_24_S2_1_Modeling_Classes_of_BSNs.pdf
- Größe:
- 1.52 MB
- Format:
- Adobe Portable Document Format