University of Cambridge > Talks.cam > Computer Laboratory Wednesday Seminars > 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 Computer Laboratory Wednesday Seminars series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

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