Runtime monitoring of requirements in software development can increase the reliability of the resulting systems. On the one hand, if used to detect errors in programs, runtime monitoring can not only enhance testing and debugging but also provide the capability of predicting concurrency errors. On the other hand, if used as an integral part of a system to detect and recover from requirements violations at runtime, monitoring can increase the dependability and safety of the deployed system by guiding the running system to avoid catastrophic failures. In this talk, I will discuss two novel runtime monitoring approaches, namely predictive runtime analysis and monitoring oriented programming (MOP). The former is a technique that effectively and correctly predicts concurrency bugs during testing by improving the coverage of runtime monitoring using static analysis information, while the latter is a generic and efficient framework for developing morning based applications.
Wednesday, April 02, 2008
Free and open to the public