Seminar Modellierung zuverlässiger Systeme.

How to give a good research talk
 

Performance Monitoring

Papers:

1. David Kotz, and Kobby Essien.  Analysis of a Campus-wide Wireless Network. Proc.  MOBICOM 2002
2. D.Tang, and M.Baker. Analysis of a local-area wireless network. Proc MOBICOM 2000.

Jörg Lange

Papers:

1. G. Paixão, W. Meira Jr., V. Almeida, D. Menascé, A. Pereira, ``Design and Implementation of a Tool for Measuring the Performance of Complex E-commerce Sites'', In Proceedings of the 11th International Conference on Modelling Tools and Techniques for Computer and Communication System Performance Evaluation (Performance Tools 2000), Schaumburg, IL, USA, March, 2000
2. Scaling for E-Business: Technologies, Models, Performance, and Capacity Planning - Daniel Menascé and Virgílio Almeida, Prentice Hall Inc., USA, May 2000

Performability

1. On Evaluating the Performability of Degradable Computing Systems. J. F.  Meyer. IEEE Trans. on Computers, vol. C-29, no. 8, pp. 720--731,  August 1980.
2. A Unified Approach for Specifying Measures of Performance, Dependability, and Performability. In: Dependable Computing for Critical Applications, Eds: A. Avizienis and J. Laprie,  Series 'Dependable Computing and Fault-Tolerant Systems', vol. 4,  pp. 215--237, Springer, 1991.

Related Links:

Dependability References Database

Fault injection?

Reliability and Dependability
 

Modelling formalisms

Papers/Books:

1. Chapters 30-32 from 'Art of computer performance analysis' Raj Jain, Wiley & sons.
2. Queueing systems vol. 1. Leonard  Kleinrock. Wiley & sons.

Papers: 

 Petri Nets in Performance Analysis: An Introduction.    Ajmone Marsan, M.; Bobbio, A.; Donatelli  

In: Reisig, W.; Rozenberg, G.: Lecture Notes in Computer Science, Vol. 1491: Lectures on Petri Nets I:  Basic Models,   pages 211-256. Springer-Verlag, 1998. 

K. Jensen: An Introduction to the Practical Use of Coloured Petri Nets. In: W. Reisig and G. Rozenberg (eds.): Lectures on Petri Nets II: Applications, Lecture Notes in Computer Science vol. 1492, Springer-Verlag 1998, 237-292. PDF-file 

1. Short description, fault-tree
2. Dependability Modelling for Fault-Tolerant Software and Systems. J.B. Dugan and M.R. Lyu. Chapter from 'Software fault Tolerance' Michael Lyu, Editor

1. J. Hillston and M. Ribaudo. Stochastic process algebras: a new approach to performance modeling. In K. Bagchi, J. Walrand and G. Zobrist, editors, Modeling and Simulation of Advanced Computer Systems. Gordon Breach, 1998.
2. J. Hillston and N. Thomas. Product Form Solution for a Class of PEPA Models. In Performance Evaluation (35), 171-192,  1999.  (Gzipped PostScript, 22 pages, 128517 bytes) 

Solution methods

The Randomization Technique as a Modeling Tool and Solution Procedure for Transient Markov Processes. Donald R. Gross and Douglas R. Miller. Operations Research, 32, pp. 345-361, 1984.

Rare event simulation

1. Rare event simulation 
2. Philip Heidelberger. Fast Simulation of Rare Events in Queueing and Reliability Models. ACM TOMACS  (Transactions on Modeling and Computer Simulation).  pp. 43-85, Vol. 5, No.1, Jan. 1995.. (evtl. aus der Bibliothek zu besorgen)

Thinning

Lewis, P.A.W., and G.S. Shedler. 1979. Simulation of nonhomogeneous Poisson processes by thinning. Naval Research Logistics Quarterly 26, 403-413.

QoS and Service Level Agreements (SLAs)

Papers:

1. P. Chalasani and S. Jha and O. Shehory and K. Sycara. Query Restart Strategies for Web Agents. Proceedings of the 2nd International Conference on Autonomous Agents (Agents'98), pp. 124--131, New York, 1998.
2. S. M. Maurer and B. A. Huberman. Restart strategies and Internet congestion.  Journal of Economic Dynamics and Control, vol. 25, pp.  641--654, 2001.
3. M. Schroeder and L. Boro.  Does the restart method work? Preliminary Results on Efficiency Improvements for Interactions of Web-agents. Workshop on Infrastructure for Agents, MAS, and scalable MAS, Montreal, 2001.

Papers:

1. Morris Sloman. Policy driven management for distributed systems. Journal of Network and Systems Management, Plenum Press, Vol. 2, No. 4, 1994.
2. D. Daly, G. Kar, W.H. Sanders. Modeling of Service-Level Agreements for Composed Services, In: Proc. 13th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2002, Montreal, Canada, October 21-23, 2002.

Ein hilfreicher Link: UltraSAN

Fabian Müller

Papers:

1. A survey of Programmable Networks
2. Policy specifications for Programmable Networks

SLA Management    (*)
 

Gallifrey: A Component-Based Framework for Building Policy-Based Management Applications

Sven Vogel (?)

A Coding Approach to Event Correlation