Invited Speaker

Aloysius K. Mok

Professor

Department of Computer Sciences
The University of Texas at Austin
Austin, TX 78712

Web page


Event-Based Real-Time Monitoring

Abstract
Real-time monitoring is required because of the uncertainty in the operating environment such as (1) faulty hardware, (2) the untrustworthiness of legacy and/or imported systems and (3) the violation of operational assumptions by the external environment, e.g., operator mistakes. Different types of uncertainty may constrain the type of monitoring that can be performed. In this talk, we shall discuss the monitoring of non-functional properties such as timeliness and resource usage bounds, under the constraints imposed by the operating environment such as the uncertainty in the time of occurrence of events or the untrustworthiness of imported code.