University of Cambridge > > Wednesday Seminars - Department of Computer Science and Technology  > Modelling Quality Properties of Systems

Modelling Quality Properties of Systems

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Mateja Jamnik.

Much of system design is concerned with non-functional quality properties such as performance, availability, reliability and security. Formal modelling is usually concerned with functional properties or deep models of individual quality properties. Presented is a particular approach to explicit modelling of quality properties of systems. Previous work has dealt with modelling of quality properties in distributed systems, and currently the modelling of quality properties in pervasive computing applications is being addressed. Pervasive computing applications with multiple, disparate sources of dynamic data of varying quality present a particular challenge. The goal is to build accurate and effective models for end-to-end quality of data, and to make use of the models for analysis and evaluation of trade-offs. Some of the motivating applications are medical ones based on wireless patient sensors.

This talk is part of the Wednesday Seminars - Department of Computer Science and Technology series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.


© 2006-2024, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity