Statistical Runtime Checking of Probabilistic Properties

Simple item page
dc.contributor.authorSammapun, Usa
dc.contributor.authorLee, Insup
dc.contributor.authorSokolsky, Oleg
dc.contributor.authorRegehr, John
dc.contributor.authorSammapun, Usa
dc.contributor.authorLee, Insup
dc.contributor.authorSokolsky, Oleg
dc.contributor.authorRegehr, John
dc.date2023-05-17T01:53:32.000
dc.date.accessioned2023-05-22T12:47:49Z
dc.date.available2023-05-22T12:47:49Z
dc.date.issued2007-03-13
dc.date.submitted2008-01-24T10:11:04-08:00
dc.description.abstractProbabilistic correctness is an important aspect of reliable systems. A soft real-time system, for instance, may be designed to tolerate some degree of deadline misses under a threshold. Since probabilistic systems may behave differently from their probabilistic models depending on their current environments, checking the systems at runtime can provide another level of assurance for their probabilistic correctness. This paper presents a statistical runtime verification for probabilistic properties using statistical analysis. However, while this statistical analysis collects a number of execution paths as samples to check probabilistic properties within some certain error bounds, runtime verification can only produce one single sample. This paper provides a technique to produce such a number of samples and applies this methodology to check probabilistic properties in wireless sensor network applications.
dc.description.commentsPostprint version. Published in <em>Lecture Notes in Computer Science</em>, Run-time Verification, 4839, March 2007, pages 164-175.<br> Publisher URL: http://dx.doi.org/10.1007/978-3-540-77395-5_14
dc.identifier.urihttps://repository.upenn.edu/handle/20.500.14332/6398
dc.legacy.articleid1381
dc.legacy.fulltexturlhttps://repository.upenn.edu/cgi/viewcontent.cgi?article=1381&amp;context=cis_papers&amp;unstamped=1
dc.source.issue356
dc.source.journalDepartmental Papers (CIS)
dc.source.peerreviewedtrue
dc.source.statuspublished
dc.subject.otherruntime verification
dc.subject.otherstatistical monitoring
dc.subject.otherprobabilistic properties
dc.titleStatistical Runtime Checking of Probabilistic Properties
dc.typePresentation
digcom.contributor.authorisAuthorOfPublication|email:usa@cis.upenn.edu|institution:University of Pennsylvania|Sammapun, Usa
digcom.contributor.authorisAuthorOfPublication|email:lee@cis.upenn.edu|institution:University of Pennsylvania|Lee, Insup
digcom.contributor.authorisAuthorOfPublication|email:sokolsky@cis.upenn.edu|institution:University of Pennsylvania|Sokolsky, Oleg
digcom.contributor.authorisAuthorOfPublication|email:regehr@cs.utah.edu|institution:University of Utah|Regehr, John
digcom.identifiercis_papers/356
digcom.identifier.contextkey417379
digcom.identifier.submissionpathcis_papers/356
digcom.typeconference
dspace.entity.typePublication
relation.isAuthorOfPublication9939aca2-902f-4ca8-8f97-1aca688b9af3
relation.isAuthorOfPublication45a9eed5-3211-4c36-b40d-6394302dfdce
relation.isAuthorOfPublication35e1b18e-15fe-4438-be3b-84593f70a40a
relation.isAuthorOfPublicationb55f2b25-04d5-4a99-9596-fb331fc53115
relation.isAuthorOfPublication.latestForDiscovery9939aca2-902f-4ca8-8f97-1aca688b9af3
upenn.schoolDepartmentCenterDepartmental Papers (CIS)
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
07rv.pdf
Size:
222.25 KB
Format:
Adobe Portable Document Format
Download
Collection
Presentations