Anwendbarkeit formaler Methoden für die Risikoanalyse drahtloser Sensornetzwerke im Krankenhaus

Andreas Becker, Martin Sedlmayr, Fritz Meier, Hans-Ulrich Prokosch & Thomas Ganslandt
Einleitung und Fragestellung: RFID (Radio Frequency Identification) ist eine etablierte Technologie zur Identifizierung und Lokalisierung von Objekten, die in vielerlei Hinsicht zur Optimierung von Logistikprozessen beigetragen hat. Einen Schritt weiter gehen mobile Sensornetze, bei denen intelligente[for full text, please go to the a.m. URL]