UWSpace will be migrating to a new version of its software from July 29th to August 1st. UWSpace will be offline for all UW community members during this time.

Show simple item record

dc.contributor.authorRaghav, Prashant
dc.date.accessioned2015-07-15 20:27:16 (GMT)
dc.date.available2015-07-15 20:27:16 (GMT)
dc.description.abstractDesign of next generation network systems with predictable behavior in all situations poses a significant challenge. Monitoring of events happening at different points in a distributed environment can detect the occurrence of events that indicates significant error conditions. We use Modular Timing Diagrams (MTD) as a specification language to describe these error conditions. MTD's are a component-oriented and compositional notation. We take advantage of these features of MTD and point out that, in many cases, global MTD specifications describing behaviors of several system component can be efficiently decomposed into a set of sub-specifications. Each of the sub-specifications describes a local monitor that is specific to the component on which the monitor is intended to run. We illustrate the compositional nature of MTD in describing several network monitoring conditions related to network security.en
dc.publisherUniversity of Waterlooen
dc.subjectFormal Methodsen
dc.subjectApache Sparken
dc.subjectDistributed Systemsen
dc.titleA modular notation for monitoring network systemsen
dc.typeMaster Thesisen
dc.subject.programComputer Scienceen
uws-etd.degree.departmentSchool of Computer Scienceen
uws-etd.degreeMaster of Mathematicsen

Files in this item


This item appears in the following Collection(s)

Show simple item record


University of Waterloo Library
200 University Avenue West
Waterloo, Ontario, Canada N2L 3G1
519 888 4883

All items in UWSpace are protected by copyright, with all rights reserved.

DSpace software

Service outages