Show simple item record

dc.contributor.author
Woehrle, Matthias
dc.contributor.author
Plessl, Christian
dc.contributor.author
Thiele, Lothar
dc.date.accessioned
2022-11-16T07:18:10Z
dc.date.available
2022-08-10T11:09:08Z
dc.date.available
2022-11-16T07:18:10Z
dc.date.issued
2009-02
dc.identifier.uri
http://hdl.handle.net/20.500.11850/562941
dc.description.abstract
Wireless Sensor Networks (WSNs) are unique embedded computation systems for distributed sensing of a dispersed phenomenon. While being a strongly concurrent distributed system, its embedded aspects with severe resource limitations and the wireless communication requires a fusion of technologies and methodologies from very different fields. As WSNs are deployed in remote locations for long-term unattended operation, assurance of correct functioning of the system is of prime concern. Thus, the design and development of WSNs requires specialized tools to allow for testing and debugging the system. To this end, we present a framework for analyzing and checking WSNs based on collected events during system operation. It allows for abstracting from the event trace by means of behavioral queries and uses assertions for checking the accordance fo an execution to its specification. The framework is independent from WSN test platforms, applications and logging semantics and thus generally applicable for analyzing event logs of WSN test executions.
en_US
dc.language.iso
en
en_US
dc.publisher
ETH Zurich, Computer Engineering and Networks Laboratory
en_US
dc.title
Rupeas: Ruby Powered Event Analysis DSL
en_US
dc.type
Report
ethz.journal.title
TIK Report
ethz.journal.volume
290
en_US
ethz.size
16 p.
en_US
ethz.publication.place
Zurich
en_US
ethz.publication.status
published
en_US
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02140 - Dep. Inf.technologie und Elektrotechnik / Dep. of Inform.Technol. Electrical Eng.::02640 - Inst. f. Technische Informatik und Komm. / Computer Eng. and Networks Lab.::03429 - Thiele, Lothar (emeritus) / Thiele, Lothar (emeritus)
en_US
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02140 - Dep. Inf.technologie und Elektrotechnik / Dep. of Inform.Technol. Electrical Eng.::02640 - Inst. f. Technische Informatik und Komm. / Computer Eng. and Networks Lab.::03429 - Thiele, Lothar (emeritus) / Thiele, Lothar (emeritus)
ethz.date.deposited
2017-06-08T20:46:00Z
ethz.source
ECIT
ethz.identifier.importid
imp59364c1ddae6676378
ethz.identifier.importid
imp59364ccd8b93156618
ethz.ecitpid
pub:24142
ethz.ecitpid
pub:34236
ethz.eth
yes
en_US
ethz.availability
Metadata only
en_US
ethz.rosetta.installDate
2022-08-10T11:09:16Z
ethz.rosetta.lastUpdated
2022-08-10T11:09:16Z
ethz.rosetta.exportRequired
true
ethz.rosetta.versionExported
true
dc.identifier.olduri
http://hdl.handle.net/20.500.11850/12796
dc.identifier.olduri
http://hdl.handle.net/20.500.11850/21570
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Rupeas:%20Ruby%20Powered%20Event%20Analysis%20DSL&rft.jtitle=TIK%20Report&rft.date=2009-02&rft.volume=290&rft.au=Woehrle,%20Matthias&Plessl,%20Christian&Thiele,%20Lothar&rft.genre=report&
 Search print copy at ETH Library

Files in this item

FilesSizeFormatOpen in viewer

There are no files associated with this item.

Publication type

Show simple item record