Applied Formal Methods in Wireless Sensor Networks
Abstract:
This work covers the application of formal methods to the world of wireless sensor networks. Mainly two different perspectives are analyzed through mathematical models which can be distinct for example into qualitative statements like "Is the system error free?" From the perspective of quantitative propositions we investigate protocol optimal parameter settings for an energy efficient operation.
| Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) |
| Publikationstyp | Hochschulschrift |
| Publikationsjahr | 2009 |
| Sprache | Englisch |
| Identifikator | urn:nbn:de:swb:90-123556 KITopen-ID: 1000012355 |
| Verlag | Universität Karlsruhe (TH) |
| Art der Arbeit | Dissertation |
| Fakultät | Fakultät für Informatik (INFORMATIK) |
| Institut | Institut für Theoretische Informatik (ITI) |
| Prüfungsdaten | 22.07.2009 |
| Schlagwörter | Formal Methods, Sensor Networks, Wireless, Verification, Model Checking, Correctness, Safety, Liveness, Energy |
| Referent/Betreuer | Schmitt, P. |