Runtime verification of timing and probabilistic properties using WMI and .NET

Conference Proceedings of the EUROMICRO

Volumn 30, Issue , 2004, Pages 100-106

  Jayaputera, Jane ^a   Poernomo, Iman ^a   Schmidt, Heinz ^a  

^a MONASH UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER ARCHITECTURE; FORMAL LANGUAGES; PROBABILITY; SEMANTICS; TELECOMMUNICATION SERVICES; TREES (MATHEMATICS); DISTRIBUTED COMPUTER SYSTEMS;

DISTRIBUTED ARCHITECTURES; PROBABILISTIC FINITE STATE MACHINES (PFSM); PROBABILISTIC REAL TIME COMPUTATIONAL TREE LOGIC (PCTL); WINDOWS MANAGEMENT INSTRUMENTATION (WMI) FRAMEWORK; DESIGN BY CONTRACTS; DISTRIBUTED ARCHITECTURE; PROBABILISTIC PROPERTIES; PROBABILISTIC REAL TIME COMPUTATIONAL TREE LOGIC; RELIABILITY AND AVAILABILITY; RUN-TIME VERIFICATION; SERVICE ORIENTED SYSTEMS; WINDOWS MANAGEMENT INSTRUMENTATION FRAMEWORKS;

DISTRIBUTED COMPUTER SYSTEMS; VERIFICATION;

EID: 11844290695     PISSN: 10896503     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/eurmic.2004.1333361     Document Type: Conference Paper

References (7)

1. Feng Chen and Grigore Rosu. Towards monitoring-oriented programming: A paradigm combining specification and implementation. In Proc. of 3rd International Workshop on Runtime Verification (RV'03), volume 89(2). Electronic Notes on Theoretical Computer Science, Elsevier Science B.V., 2003.
2. H. Hansson and B. Jonsson. A logic for reasoning about time and reliability. Formal Aspects of Computing, 6(5):512-535, 1994.
3. J. Jayaputera, I. Poernomo, and H.Schmidt. Timed probabilistic reasoning on uml specialization for fault tolerant component based architectures. In Proc. of SAVCBS Workshop at European Software Engineering Conference, Helsinki, Finland, 2003.
4. W. DePrince Jr. and C. Hofmeister. Enforcing a lips usage policy for corba components. In Proc. of 29th EUROMICRO Conference, New Waves in System Architecture, pages 53-60. Belek-Antalya, Turkey, 2003.
5. M. Kwiatkowska, G. Norman, and D. Parker. Prism: Probabilistic symbolic model checker. In PAPM/PROBMIV'01 Tools Session, 2001.
6. B. Meyer. Object Oriented Software Construction. Prentice Hall, Englewood Cliffs, 2nd edition, 1997.
7. R. Reussner, H. Schmidt, and I. Poernomo. Reliability prediction for component-based software architectures. Journal of Systems and Software - Special Issue of Software Architecture - Engineering Quality Attributes, 66(3):241-252, 2003.