Paper Info
Title
Runtime verification of timing and probabilistic properties using WMI and .NET
Abstract
Reliability and availability are key issues to distributed service-oriented systems. We present a methodology for run-time verification of reliability and availability properties for distributed architectures. Our approach generalizes the concept of design-by-contract to contracts involving time and probabilities. We define a language for contracts based on probabilistic real time computational tree logic (PCTL). We provide a formal semantics for this language based on possible execution traces of a system. Then we describe a .NET-based system for monitoring contracts, built upon the Windows Management Instrumentation (WMI) framework.
Year
DOI
Venue
2004
10.1109/EURMIC.2004.1333361
EUROMICRO
Keywords
Field
DocType
computational tree logic,net-based system,wmi framework,application program interfaces,network operating systems,design-by-contract,software reliability,run-time verification,key issue,trees (mathematics),windows management instrumentation,probabilistic properties,.net-based system,distributed architectures,formal semantics,probabilistic real time computational tree logic,software architecture,formal logic,execution traces,service-oriented system,distributed service-oriented systems,possibile execution trace,runtime verification,probabilistic real time,availability property,formal specification,formal verification,probability,real time computing,design by contract,distributed architecture
Computation tree logic,Programming language,Computer science,Formal specification,Real-time computing,Runtime verification,Software architecture,Probabilistic logic,Software quality,Windows management instrumentation,Formal verification
Conference
ISSN
ISBN
Citations 
1089-6503
0-7695-2199-1
7
PageRank 
References 
Authors
0.77
4
3
Name
Order
Citations
PageRank
Jane Jayaputera1332.80
Iman Poernomo242827.61
Heinz Schmidt312111.99