On-Line Monitoring:

On-line monitoring can complement formal techniques to increase application dependabi I i ty. This tutorial outlines the concepts and identifies the activities that comprise event-based monitoring, describing several representative monitoring systems. Computer lthough monitoring has been around since the early 1960s with the advent of debuggers, the field has recently made some excit- A ing advances. Monitoring systems today monitor distributed applications and are often themselves distributed. In addition, they are increasingly seen as a viable solution to areas of growing concern: lac